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 -- am now lucky enough to be paid to work on open source software, graciously by Postman. I also got a degree in Mathematics more than 10 years ago, but never learned any math, 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.