Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.

Mastodon account: https://types.pl/@jmid