A. Jesse Jiryu Davis

Category: Programming

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.
Paper Review: Programming as Theory Building Peter Naur (of Backus-Naur form) wrote that programmers' main job is not coding, but building a theory of the problem and solution.