Student at ENS Ulm in computer science, mathematics, geopolitics and public policies : formal verification maximalist.
President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.
Contributor to the NixOS project and Lean theorem prover.
Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!
Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.
Hello, world, you. #NixOS #PostDisasterRecoveryIn24Hrs With bcachefs on / ! I won't wait for the kernel. 🙂
#NixOS 23.11 will finally have the newest hostapd change: https://github.com/NixOS/nixpkgs/blob/master/nixos/doc/manual/release-notes/rl-2311.section.md
Will 23.11 be the release when I can run my routers on stable? 🙂
Pixelfed was merged in #NixOS https://github.com/NixOS/nixpkgs/pull/207194 !
It will be part of 23.05 :)
#Pixelfed