Mathematics, Philosophy and Libre Software.

Lives inside GNU Emacs. GNU Guix package maintainer.

Lisps, Haskell, Rust, and occasionally C.

Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.