erk
Posts
176Following
79Followers
20Interests: Reversible programming, HTTP Live Streaming and derivatives, FreeBSD
Homepage: https://erk.dev
GitHub: https://github.com/Erk-
@qyliss I had a look through every registrar allowed to sell the Danish .dk domain, and there is a single coop on the list. The issue with this one being is that it is not a public registrar, but one that only does it for its own customers.
The other issue is that it is probably not a coop in the way you are thinking about. This coop is owned by its customers which are exclusively banks.
And that is the only one on list of registrars that are allowed to sell Danish domains.
0
0
1
@q66 @snek @ryzokuken I did a word there, I meant "to back" as it "give backing to", IRC is so very niche within the "proper" community. But it is not fully gone, sites such as Twitch uses a very similar protocol. But pretty much every modern alternative have magnitudes more users
0
0
0
1
0
0
erk
erk
@charlotte Fun fact UFS is still deployed since in some cases it can do some things more efficiently than ZFS, and it has lower memory requirements
0
0
0
re: TERF wizard game
Show content
@cadey I am not quite sure how to process it myself, I cannot support anything related to that series anymore. It was massive when I grew up and I even went to the midnight release of the last book, but all those memories have been tainted by what she has done since then.
In some manner I want to support trans people and I rather do that then speak about that game, in my own mind that makes more sense to me, but I am really not sure if that is the best way. I have some stuff I fight with myself that makes some ways of supporting harder for me, but I still try in the ways I can.
And yeah I agree, I am not sure how to reconcile with people I know playing that game
In some manner I want to support trans people and I rather do that then speak about that game, in my own mind that makes more sense to me, but I am really not sure if that is the best way. I have some stuff I fight with myself that makes some ways of supporting harder for me, but I still try in the ways I can.
And yeah I agree, I am not sure how to reconcile with people I know playing that game
0
0
0
@noracodes I have been in various associations all my life and I think something like that would probably be a good way to run fediverse instances.
I am not really a fan of large instances with either a single person or a small group running it.
Writing out bylaws that many people will agree on is hard enough as it is and something like hosting fediverse instances would likely just make it more complicated without a great deal of insight into it, but I think that would be the best way.
(Then there is also the thing about if larger fediverse instances should have a legal entity, but that is a discussion for another time)
I am not really a fan of large instances with either a single person or a small group running it.
Writing out bylaws that many people will agree on is hard enough as it is and something like hosting fediverse instances would likely just make it more complicated without a great deal of insight into it, but I think that would be the best way.
(Then there is also the thing about if larger fediverse instances should have a legal entity, but that is a discussion for another time)
0
0
2
@pyromuffin The probabilities for d3d12 is actually quite interesting in its own right (calculated using the dice dsl troll)
probabilities for (d3)d12 roll
probabilities for (d3)d12 roll
0
0
1
@fasterthanlime @dysfun That is a bit of an odd take tbh, it is true that eglot has been introduced into the emacs base recently. But emacs don't only allow a single implementation into the tree, see for example irc clients (rcirc and ERC).
As to the differences, there were some historical ones, but I think most of them are no longer relevant (https://github.com/joaotavora/eglot#historical-differences-to-lsp-modeel) and then there is the question of what they support, e.g. eglot does not yet support inlay hints or semantic highlighting which is one of the reasons many use lsp-mode as the go-to implementation
As to the differences, there were some historical ones, but I think most of them are no longer relevant (https://github.com/joaotavora/eglot#historical-differences-to-lsp-modeel) and then there is the question of what they support, e.g. eglot does not yet support inlay hints or semantic highlighting which is one of the reasons many use lsp-mode as the go-to implementation
0
0
0
erk
erk
@charlotte Fun fact: Hellman have worked on world peace and nuclear nonproliferation more recently
0
0
1
@yosh Yes I agree, we should limit the speed and access of all cars. Optimizing for flow of traffic is not only for the cars, it is also to make the traffic predictable, if it is not it will be more unsafe for everyone. You don't want cars to make blind passings or similar because they are stuck behind a slow car or similar that is already enough of an issue outside of cities.
0
0
0
@yosh Then I think it is much better to regulate for the specific segment of vehicles and their access than to look into momentum based limits. That they are driven by professionals does not make them immune to accidents. I agree that they should not be in the city, but I am not sure that it is a good way to do it. I am not even sure it would be safer because the different speed limits would cause issues with the flow of traffic.
And yeah you are probably right about that the idea I presented above will not really be that efficient.
And yeah you are probably right about that the idea I presented above will not really be that efficient.
0
0
0
@yosh But on the other hand rules for these would destroy most forms for public (and communal) transport, unless you make special rules for it depending number of passengers. I think it is probably much better to do as places such as Germany and make emission limits for inner cities (though probably more aggressively)
0
0
0
@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