Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
#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.
