erk
Posts
133Following
72Followers
13Interests: Reversible programming, HTTP Live Streaming and derivatives, FreeBSD
GitHub: https://github.com/Erk-
@lrlna I don’t think I have seen :: outside of the context of x ::= y where it means x can be y.
In general I think the consensus of meanings of different things in this field is not that great, but I think many follow the syntax set up in “The Formal Semantics of Programming Languages” by Glynn Winskel, and then adds what they think they need to it.
1
0
1
erk
erk
re: german email i have just sent to my prof
Show content
@charlotte Good luck seems like a bit of a mess if they fail you because of that
0
0
1
@pnkfelix I wrote a DSL for Rust where the selling point was not really the type system but the use of lifetimes to ensure correctness. Mostly because the "traits" it implemented could not really be described in Rust in a good way, so I could not use the type system as much in the way you describe. That is not to say that they type system is not a great help for writing the macros and finding issues.
0
1
2
Two mixups of Ferris and Gopher
Show content
@LunaFoxgirlVT Well they are both beneath the Lisp alien, but which Gorris is best?
A red gopher with Ferris eyes
A blue-grey ferris with gopher …
A red gopher with Ferris eyes
A blue-grey ferris with gopher …
0
0
0
erk
erk
@charlotte Probably a pretty negligible amount compared to what the same companies earn on adware (e.g. some kind of malware that injects ads)
0
0
0
@yosh But what kind of pickles is your favorite? On my parents farm we have made pickled plums a couple of times which are pretty nice.
We also one had some pickled "asier"* which took long while to go through, but they go well with a lot of Danish dishes.
*That is the Danish name, no idea what they are called in English, but I am pretty sure that Google Translates "pickled asians" is incorrect. It is a sort of large cucumber that is not great to eat so you pickle it.
We also one had some pickled "asier"* which took long while to go through, but they go well with a lot of Danish dishes.
*That is the Danish name, no idea what they are called in English, but I am pretty sure that Google Translates "pickled asians" is incorrect. It is a sort of large cucumber that is not great to eat so you pickle it.
0
0
0
erk
erk
@charlotte Only if you help someone else design something else it would just be Raccoon Design
0
0
1
@foone I have selectric-mode for my Emacs to make it sound like a Selectric typewriter
https://github.com/rbanffy/selectric-mode
https://github.com/rbanffy/selectric-mode
1
0
0
erk
erk
@charlotte Which even more implies it to be UX, if you want people to change how they do things you will need to tell them in some way. It is neither scalable or nice to be told by other users that your post is wrong because it uses non-canonical links. Which is why I think it should be done sooner.
1
0
0
erk
erk
@charlotte That implies that it is a UX issue more than anything else. I don't think it is a good idea to blame users who may not be used to using the app for issues like these. Since doing so will probably not lead to any improvements for the UX.
How to solve this is a good way is probably another issue, what could you do? Warn users if they try to post a non-canonical link or something?
How to solve this is a good way is probably another issue, what could you do? Warn users if they try to post a non-canonical link or something?
1
0
0
erk
erk
0
1
1
@LunaFoxgirlVT What do you dislike about it if I may ask?
0
0
0
@luna I remember that I once saw that the media format from it got supported in FFMPEG which I found pretty interesting.
https://ffmpeg.org/doxygen/trunk/alp_8c_source.html
https://ffmpeg.org/doxygen/trunk/alp_8c_source.html
0
0
0
@fasterthanlime You don't have IRC? For the greybeards of course
1
0
0