#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.

Migrated to luj@chaos.social