David R. MacIver's Blog: About
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 Antithesis1, and were I initiated and lead the Hegel project.2
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 Antithesis1, and were I initiated and lead the Hegel project.2 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…
saved by
related reading
- Essays · Gwern.netgwern.net
- thesephist.comthesephist.com
- About me | devonzuegel.comdevonzuegel.com
- Paco Courseypaco.me
- blogs.hnblogs.hn
- Software & Adventurezach.dev
- Repo of Obvious Life Tacticscroissanthology.com
- How I side project | thesephist.comthesephist.com
- Serokell: our teamserokell.io
- Beat Hagenlocherbeathagenlocher.com
- Steve Simkinsstevedylan.dev
- Home · theor.nethome.theor.net