Hello, I am Xavier. I Like OCaml

Type theorist, programmer

Coding like people still cared

Planetary Computing Fellow at the University of Cambridge, a computer scientist working alongside ecologists to tackle biodiversity and climate analysis

Mostly on sr.ht, but sometimes also here.

tangled guy

Programmer and father of two. Currently dabbling in dependent type theory.