A. Jesse Jiryu Davis
All Articles
Feed
About
Photography
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.
←
Older
Page 1