A. Jesse Jiryu Davis
- 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.
- What's Next for Women in Tech?
Ideas for increasing women's share of the industry have come and gone, but mentorship is always helpful.
- How To Use MongoDB Causal Consistency
The missing manual for a useful MongoDB feature.
- Pseudocode Is Not Durable
Use Python: it's less ambiguous, well-known, and concise enough.
- Multi-Paxos in Python, tested with Jepsen
A 2-week toy project to learn a famous algorithm and try out a distributed systems test framework.
- Current and Future Tools for Interactive TLA+
A talk I gave at the 2021 TLA+ conference with Samy Lanka.