In my free time, I occasionally play (both as player and game master) Dungeons and Dragons, Adventures in Middle-earth or other role playing games. I also enjoy the Pokémon franchise, the Zelda series, most things made by Introversion Software, Smash Up, Minecraft, and some other games.

After babbling BASIC on my CASIO graph 65, I learned OCaml. It is my go-to programming language for personal projects. I am rusty in Python, Javascript, and Scala. I have also been in contact with Scheme, Haskell and C. I am slowly learning rust. Most of my public software contributions are on Gitlab and on Github.

I speak French, English and some Spanish. I started learning Chinese and Toki Pona although I am not proficient in either.


Occupation

Present

I am a co-maintainer of the Lwt library. I am a co-maintainer of the opam-repository. Checkout my CV for more information.

I irregularly publish homebrew content on the Dungeon Masters Guild.

Past

I worked as a software developer, technical writer, and educator.

I was a Ph.D. student at the Computer Laboratory of the University of Cambridge under supervision of Alan Mycroft. My thesis explored the use of compile-time memory management in the context of system programming: replacing garbage collectors by a compilation pass in order to be friendly to system programmers.


Misc

I use Archlinux, neovim, acme, git, zsh, wezterm, and other things.

I have a Gitlab account, a Github account, and a mastodon account. I have homonyms – but no accounts – on Twitter, Facebook, Linkedin, and probably more such websites.