Lover of things. Climber of molehills. Seeking friends for the end of the world.
About me
The hardest problem in software engineering isn't naming things, cache invalidation or off by one errors, it's knowing how much sarcasm is too much sarcasm.
My work
I've spent the last few years first running engineering and machine learning teams for delivering to large clients, and then -- when I'd spent enough time trying to squeeze water from stones -- was lucky enough to be paid to work full-time on open source software for the JSON Schema project. I also got a degree in Mathematics more than 10 years ago while never learning any, which doesn't stop me from trying to learn some now, so I've picked up a hobby playing with interactive theorem provers, specifically Lean. You can find more of my software on my Github.
