A. Jesse Jiryu Davis
- Can We Rely On Timers For Distributed Algorithms?
I think the answer is yes, and I calculate the worst-case drift.
- 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.
- MongoDB and CS Education for All, Part 2
After their first year teaching computer science to NYC public school students, how did two teachers fare?
- MongoDB and CS Education for All, Part 1
In 2016 and 2017, MongoDB invested in NYC public school computer science. I photographed and reported two articles about the teachers we mentored.
- Liza Mills
Gunks climber Liza Mills on the routes Lisa and The Sting with her husband Jordan and their cat Dwayne.
- 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.
- Holy Week at Christ Episcopal Church
Photos of Maundy Thursday and Good Friday services.
- Mohonk Preserve Rangers, part 2
April 9, 2025. Mohonk Preserve rangers training for rescue operations.