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
npub1t2c07cksmsemlfwr8qxej8n9pexz3w2f7m2jfch0wurgar4lxl2shw5ty4NIP-05 Address
raito_at_nixos.paris@mostr.pubProfile Code
nprofile1qqs94v8lvtgdcval5hpnsrverejsunpgh9yld4fyuthhwp5w36ln04gvpacghAuthor Public Key
npub1t2c07cksmsemlfwr8qxej8n9pexz3w2f7m2jfch0wurgar4lxl2shw5ty4