French PhD student in software verification, happily coding in OCaml.
Also piano, otaku culture, memes, ... ?
eye contact Show more
Ah yes the famous traditional ramen recipe
Just assembled a nice paper theater with the help of @merricat
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!