Posts
133
Following
72
Followers
13
Mostly a Rust hacker, Dane in the Netherlands

Interests: Reversible programming, HTTP Live Streaming and derivatives, FreeBSD

GitHub: https://github.com/Erk-
@fasterthanlime FreeBSD, unless by containerized you mean some specific kind on containerization which Jails does not fit into.
0
0
0
@charlotte What is Alpine then? I guess it must be a BSD
0
0
1
@charlotte But would a Linux with a FreeBSD userland be Linux (I guess you could also put alpine here, but that is boring)
1
0
0
@charlotte Is Debian GNU/kFreeBSD Linux?
1
0
0
re: linux question
Show content
@charlotte @schratze yay has `--sudoloop` which runs sudo in the background to keep it from timing out. And if you really want there are these flags you can set up to give a predefined answer. https://github.com/Jguer/yay/blob/next/cmd.go#L84-L87
0
0
1
@LunaFoxgirlVT Ja jeg gik lige igennem indsamlingsnævnets hjemmeside og de har følgende: "Husk, at indsamlinger på internettet og sociale medier, fx en hjemmeside eller Facebook, som udgangspunkt ikke er private. En indsamling kan ikke gøres privat ved at lave en lukket gruppe på Facebook." Så ja det ser ud til at det ikke ville blive set som en privat indsamling.
0
0
1
@LunaFoxgirlVT Nu er jeg ikke advokat, men jeg ville mene at sådan en indsamling ville kunne blive lagt ind under:

"Private indsamlinger, hvorved forstås indsamlinger, hvor opfordringen rettes til indsamlerens bekendte eller til personer, som har særlig tilknytning til indsamlingsformålet."

https://www.retsinformation.dk/eli/lta/2014/511

Loven er mest til stede for indsamlinger der er rettet mod den bredere befolkning.

Så længe du ikke begynder at gå fra dør til dør eller ringe til folk så ville jeg ikke mene at du skal ansøge.
1
0
0
@charlotte I also speak en_GB to the Raspberry Pi
0
0
0
repeated
Edited 1 year ago
Missing media descriptions
Show content

so, @settinger designed and printed a comic sans typewriter ball so we're testing it on my IBM selectric this afternoon and it totally does work!

7
20
1
@koos Yep, 111.0.1 It only happens on the blogposts and does not happen on the overview. Looks like this for me
Autoscroll icon only showing ho…
1
0
1
@koos For me it happens on Windows 10 in Firefox, I also tried with a fresh profile and it still happens there. Maybe it is just a spurious oddity for all I know.
1
0
0

@koos Hi I recently read a post from your blog and ran into a bit odd issue. For some reason the use of overflow: auto causes auto scrolling (middle mouse scrolling) to only be horizontally. This issue seems to only happen in Firefox as well as it works as intended in Chrome. Setting overflow to a specific value or splitting it up in overflow-x and y and then setting y to a specific value seems to resolve the issue.

I just thought I would let you know since it caused minor annoyances for me since I usually use that for scrolling.

1
0
0
@yosh Side note: SMK Open is a pretty cool place to look through the collection, you can get a complete snapshot of their database (excluding images) in a massive JSON file and just do whatever you want with it
0
0
1
@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.
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.
0
0
0
@yosh Do you think that linearity should be a property of functions instead of types? Or would a linear fn mean that it returns a linear type?
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/
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
0
0
2
Show older