Raito Bezarius

raito@nixos.paris

<p><a href="https://nixos.paris/tags/Lix" class="mention hashtag" rel="tag">#<span>Lix</span></a> developer, <a href="https://nixos.paris/tags/NixOS" class="mention hashtag" rel="tag">#<span>NixOS</span></a> developer, <a href="https://nixos.paris/tags/Lean" class="mention hashtag" rel="tag">#<span>Lean</span></a> theorem prover user.</p><p>My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics.</p><p>Alternatively, I enjoy Japanese animation and culture.</p><p>My DMs are open for anything and everything.</p>