erk
Posts
133Following
72Followers
13Interests: Reversible programming, HTTP Live Streaming and derivatives, FreeBSD
GitHub: https://github.com/Erk-
@yosh Is that not a bit beside, or at least not fully explaining the usual definition of a "linear type," e.g. a type that is used exactly once?
(proper linear types is something I would love to see in Rust in the future, though there has not really been too much interest in it)
(proper linear types is something I would love to see in Rust in the future, though there has not really been too much interest in it)
0
0
1
erk
repeated
repeated
Erik Jonkers
erikjee@fosstodon.org
Missing media descriptions
Show content
Delft meetup complete! Proud of a tremendous #rust embedded line-up, wrapped up with a great Q&A by @djc with @Mara!
Thanks @diondokter , Sjors (Jitter), @jonathan and to everyone that joined and helped out.
Slides and (fingers crossed) recordings to follow.
@rustembedded #rustlang #embedded
0
2
1
erk
erk
@charlotte @SuperDicq @adiz @thor Giving it another look it actually looks like they have a 100 mpeg sensor which they then move to get the 4 colours, but they can also move it in a different way to get super resolution.
https://www.hasselblad.com/h-system/h6d-400c-multi-shot/
https://www.hasselblad.com/h-system/h6d-400c-multi-shot/
1
0
0
erk
erk
@charlotte @adiz @SuperDicq @thor This is actually also what the digital cameras for Hasselblad does, though they do it mechanically, they physically move the sensor to take multiple samples and thus be able to make a picture with a higher resolution than the sensor.
1
0
0
@yosh The time system we use now is already odd and not really metric (in the original way). Though it was infamously done by the French after the revolution, when they switched all their units to a decimal system instead of base 12 and 60. Which was successful in great deal except for time units and degrees.
https://en.wikipedia.org/wiki/Decimal_time
https://en.wikipedia.org/wiki/Decimal_time
0
0
1
@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