David R. MacIver's Blog

About

Hi. I’m David.

I’m a software developer. I’m most well known as the primary author of Hypothesis, a property-based testing system for Python. These days I work at Antithesis, and were I initiated and lead the Hegel project.

I also have a moderately eclectic collection of other interests. I’m a mathematician by training, I like to cook, I got weirdly obsessed with voting for a while, I’ve picked up about a third of a therapist worth of therapy skills, and I read extensively about a variety of subjects. Most of this comes up at one point or another.

In recent years a lot of my writing has been on my substack, which is a collection of writing mostly about life, society, and how to be better at things. It’s somewhere between philosophy and self help, only not terrible like that makes it sound. I’m in the process of trying to migrate back my writing here, especially as I start to get back into writing more posts about software development and technical content that don’t feel like they fit on my substack.