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
nprofile1qqs9h58620ge53q4uupu85fstgts9lr5hm2trr3eghpn2tj9gt3z5ngprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntqyv8wumn8ghj7ur4vfkxjcewwfjkccted9hxwtnfduafynxnPublishing to
relay.momostr.pink relay.momostr.pink
public.relaying.io public.relaying.io
relay.nostr.band relay.nostr.band
Author Public Key
npub1t0g05573nfzptecrc0gnqkshqt78f0k5kx8rj3wrx5hy2shz9fxsjjr0cv