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

Raito Bezarius

@raito@nixos.paris

Joined: 10/29/2022



About Raito Bezarius

developer, developer, 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.

Lists

raito has no public lists

Timeline

raito has no activity yet