Software Engineer
Freelance developer. I build compilers, data migration workflows, and integration tools for your products — mostly in functional and systems languages. Currently learning the Rocq theorem prover and HoTT.
October 24, 2026 · 5 min read
From C on a Windows laptop to Erlang, OCaml and the Rocq theorem prover, and why I am excited about AI helping me close my knowledge gaps in programming and maths.
Read the essay →March 25, 2025
Motivation and design behind the fungi graph library — now on opam.
January 18, 2026
A poem by me.
A spreadsheet for shape rotators. Tensor-based cell operations targeting the browser — think Einstein summation in a grid.