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