#Lix developer, #NixOS developer, #Lean theorem prover user. My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics. Alternatively, I enjoy Japanese animation and culture. My DMs are open for anything and everything.