Raito Bezarius
Student at ENS Ulm in computer science, mathematics, geopolitics and public policies : formal verification maximalist.
President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.
Contributor to the NixOS project and Lean theorem prover.
Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!
Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.
President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.
Contributor to the NixOS project and Lean theorem prover.
Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!
Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.
Public Key
npub1t0g05573nfzptecrc0gnqkshqt78f0k5kx8rj3wrx5hy2shz9fxsjjr0cvNIP-05 Address
raito_at_nixos.paris@momostr.pinkProfile Code
nprofile1qqs9h58620ge53q4uupu85fstgts9lr5hm2trr3eghpn2tj9gt3z5ngresfjkAuthor Public Key
npub1t0g05573nfzptecrc0gnqkshqt78f0k5kx8rj3wrx5hy2shz9fxsjjr0cv