RE: https://chaosfem.tw/@Athena/116579221010443932

it feels like we as an industry need to have a think about why we even bother to make anything. stuff like memory safety and correctness only matter because of the effects that software has *on people*. if we decide we don't care about those effects when it suits us then what are we doing here

in 2017 a popular twitter game was to type a partial phrase then see what your phone auto-completes it with.

this proved so popular that it is now the only business model in the US.

Yesterday at #FOSDEM @raboof and I presented Lila, our tool allowing to distribute the workload of verifying reproducibility of Nix packages among several verifiers (see https://reproducibility.nixos.social).

If you want to see a recording of our talk, it is available here: https://fosdem.org/2026/schedule/event/HGC788-lila_decentralized_reproducible-builds_verification_for_the_nixos_ecosystem/

We have also written an academic paper about it!
-> https://arxiv.org/abs/2601.20662

WOW! Full #security devroom at #FOSDEM, for the presentation of "ROSA: finding #backdoors with #fuzzing" by my fellow co-authors @plumtrie and M. Marcozzi.

More about this work in the full paper at https://arxiv.org/abs/2505.08544 (#openaccess, of course)