A. Jesse Jiryu Davis
- How My Blog Handles Math and Images in HTML, Atom, and Email in 2025
A stack of kludges that seems to work.
- Optimizing a Meditation Retreat with a SAT Solver
I used Google's OR-Tools to schedule a Zen retreat.
- From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD
How I wound up on MongoDB's research team.
- Taming Google Scholar Alerts
Instead of a daily deluge, get a weekly summary.
- Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs
Five years ago we tried to test conformance, and only half-succeeded. Here's what happened, and the view from 2025.
- Jesse's Notes from the Antithesis BugBash Conference
A 2025 conference on autonomous testing and software correctness.
- Are We Serious About Using TLA+ For Statistical Properties?
Should the temporal logic of actions also do performance modeling?
- Jesse's 2025 TLA+ Community Event Notes
A one-day conference about temporal logic.
- How Long Must I Test?
How to calculate the efficiency of nondeterministic tests, and how to decide when to stop.
- Join Me At NYC Systems October 17 I'm speaking about MongoDB's experimental predictive auto-scaling.