Software engineer at Google, part of the Embedded Graphics Drivers team for Pixel devices.

I like self-hosting, NixOS, and other interesting things.

Migrated to luj@chaos.social

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