CS Student @ ENS ParisOSM contributor | Formal methods and systems enthusiast | April memberInterested in #sustainable and #inclusive #design, #lowtech | NixOS user I talk about various #computerscience related topics as well as #diy stuff. Occasionally, I share some #showerthoughts