tbh I don't think that really counts when it is a tool made by the sqlite developer.

tbh I think it is just a question about time before flask guy has something to sell: https://earendil.com/

I can't for the life of me tell what it's about.

A quick unscientific count on cve.org counts ~86 race condition CVEs in the Linux kernel last year, so you might be overstating how well bug antennas work.

If the kernel was completely written in Rust, we could have a lot of unsafe places, and many Rust CVEs. It is hard to tell, and the comparison in theory should be made after the kernel is developed only by people lacking the C experience that made the current developers so able to reason about race conditions (also when they write Rust).

That's quite the double standard. You extrapolate from one single Rust bug, but insist that "it's hard to tell" and you need completely unrealistic levels of empirical evidence to draw conclusions from the reported C bugs...

Reminds me of this classic: "Beware Isolated Demands For Rigor" (https://slatestarcodex.com/2014/08/14/beware-isolated-demand...)

It's 1 compared to 86, 86 is the baseline.

But you need to control for lines of code at the very least — otherwise you're comparing apples to oranges

Yeah I mean I could also say "there are no CVEs written in PERL in the kernel ergo PERL is safer to write than Rust". Given there's close to zero .pl files in the kernel, I think we can all agree my assertion holds

That claim relies on an absurd "in the kernel" qualifier, making it difficult to agree with. Furthermore, your hypothesis is that "we all" agree with claims that rely on absurd conditions as a matter of course.

That is no base line. That is a comparison with no statistical value.

Tbh I thought that was clear when I used the phrase "unscientific".

There was a music language made for the Danish GIER machine, made in 1971 (at least the 2nd edition of the handbook is from there)

The handbook for the language is sadly only in Danish so it might not be super interesting: https://datamuseum.dk/bits/30002486

Here is the code for movement 1 and 2 of Eine Kleine Nachtmusik: https://datamuseum.dk/aa/gier/30000644.html

Is the whole issue not that they are less of a band of activists than they used to be. Now it is suddenly no longer about free and open source software, but more of means to run the whole machine, which is why they probably have profit oriented CEO as bad as that is.

IMO they need to be more a crew of activists than they are now. Fight against stuff like intrusion of AI in every single part of our lives and such.

The std api can only create UdpSockets, the trick here is that you use Socket2 which allows more kinds of sockets and then you tell UdpSocket that some raw file descriptor is a upd socket through a unsafe api with no checks and I guess it works because they use the same api on posix.

Edit: It is possible in safe rust as well, see child comment.

The macro used by socket2: https://docs.rs/socket2/0.6.1/src/socket2/lib.rs.html#108

The FromRawFd trait: https://doc.rust-lang.org/stable/std/os/fd/trait.FromRawFd.h...

From/Into conversion via OwnedFd is the safe API, RawFd is the older and lower-level one.

Ahh I guess that means that its possible in safe rust to cast a file descriptor to a different type. I was just looking at how socket2 did it and forgot to have a proper look.

The Excel replacement they use is this one: https://www.collaboraonline.com/calc/

Interestingly phk's own site has only been referenced once http://freebsd.dk/sagas/bikeshed/

It seems like something called "nicescroll" hijacks the scrolling on the page, its compiled in the minified javascript so a bit hard to tell though.

Turning off javascript seems to fix it though.

I rewrote my website to use typst for all the content and I really like how it is to integrate as well, its just a rust crate that I use in my build script because Typst is just on crates.io

https://erk.dev/2025/04/19/bureaucracy