Contributor to Movim. I also self-host an instance of Movim for my community. I am a maintainer at GNU Guix, author of a few Emacs packages. I am ardent supporter of Free/Libre Software. I have an interest in various programming languages, most importantly the Lisps, the functional languages (Haskell, ML), Ada and Rust. For my day job, I work as a cryptographer.

Anything that lives at the intersection of philosophy, mathematics and computing is of immense interest to me.