firobe@functional.cafe firobe@functional.cafe

French PhD student in software verification, happily coding in OCaml.

Also piano, otaku culture, memes, ... ?