P(0) ∧ (P(n) ⇒ P(n+1)) ⇒ ∀n P(n)

Building systems that scale with Haskell and Nix.

Work

Vertex

vertexapp.io

Web archiving and annotations.

Scrive

scrive.com

Backend engineering (Haskell).

CentralApp

Work in detail

Successful Belgian startup where I served as co-founder and CTO for 11 years.