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