erk
Posts
169Following
77Followers
19Interests: Reversible programming, HTTP Live Streaming and derivatives, FreeBSD
Homepage: https://erk.dev
GitHub: https://github.com/Erk-
@yosh A bit earlier than 1905 even https://open.smk.dk/en/artwork/image/KMS8834
And the person in the painting Georg Brandes, is a interesting figure in his own right.
And the person in the painting Georg Brandes, is a interesting figure in his own right.
1
0
1
re: meta
Show content
@noracodes It ends up being a bit of a balancing act though, it is only harmonic as long as no big instance misuses it size to enforce policies that may not be (more or less) universally agreed upon on other instances. So not only does there need to be a healthy relationship with the instance mod/admin, but also between instances. And then hope that it does not lead to cliques or similar.
0
0
1
@yosh Would it not make more sense to uphold the linearity at the type level (and then allow some (possible unsafe) escape hatch) than to have to as a property of functions. I think that would make more sense because then API developers could rely on the linearity of the types as a safety mechanism.
I am not even sure if the type async functions return has to be linear, a async function could contain linear types, but not need to be linear itself and thus could be dropped safely. Which I guess means that it could be used to model the cancellation safety of the async function.
I am not even sure if the type async functions return has to be linear, a async function could contain linear types, but not need to be linear itself and thus could be dropped safely. Which I guess means that it could be used to model the cancellation safety of the async function.
0
0
0
@yosh
@Gankra wrote a blog post about this some years back with some of the pains around it, and they come to more or less the same conclusion
https://faultlore.com/blah/linear-rust/
@Gankra wrote a blog post about this some years back with some of the pains around it, and they come to more or less the same conclusion
https://faultlore.com/blah/linear-rust/
0
0
1
@yosh I wrote some code for my masters where I need to guarantee that all values are consumed, so I ended up thinking quite a bit about this but ended up using macros to find cases where values are not consumed which is a bit fragile. [0,1]
And yeah it needs to be handled at any place where the function may end, I think that it would also work better for some things that are now finalized in the Drop, but may error which means that an error may be unhandled.
[0]: https://blog.erk.dev/posts/rrust/
[0]: https://github.com/erk-/rrust
And yeah it needs to be handled at any place where the function may end, I think that it would also work better for some things that are now finalized in the Drop, but may error which means that an error may be unhandled.
[0]: https://blog.erk.dev/posts/rrust/
[0]: https://github.com/erk-/rrust
0
0
2
@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