Raito Bezarius
#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.
Twitter: https://twitter.com/Ra1t0_Bezar1us
GitHub: https://github.com/RaitoBezarius
Website FR: https://ryan.lahfa.xyz/fr/about-me.html
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.
Twitter: https://twitter.com/Ra1t0_Bezar1us
GitHub: https://github.com/RaitoBezarius
Website FR: https://ryan.lahfa.xyz/fr/about-me.html
Public Key
npub1t0g05573nfzptecrc0gnqkshqt78f0k5kx8rj3wrx5hy2shz9fxsjjr0cvNIP-05 Address
raito_at_nixos.paris@momostr.pinkProfile Code
nprofile1qqs9h58620ge53q4uupu85fstgts9lr5hm2trr3eghpn2tj9gt3z5ngpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dseq23pdAuthor Public Key
npub1t0g05573nfzptecrc0gnqkshqt78f0k5kx8rj3wrx5hy2shz9fxsjjr0cv