What is Nostr?
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/.
Public Key
npub1t2c07cksmsemlfwr8qxej8n9pexz3w2f7m2jfch0wurgar4lxl2shw5ty4
NIP-05 Address
raito_at_nixos.paris@mostr.pub
Profile Code
nprofile1qqs94v8lvtgdcval5hpnsrverejsunpgh9yld4fyuthhwp5w36ln04gvpacgh
Author Public Key
npub1t2c07cksmsemlfwr8qxej8n9pexz3w2f7m2jfch0wurgar4lxl2shw5ty4