Raito Bezarius

This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.

@raito@nixos.paris

Joined: 10/29/2022

953

Followers

798

Following

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

raito has no public lists

raito has no activity yet