A. Jesse Jiryu Davis

All Articles

Optimizing a Meditation Retreat with a SAT Solver I used Google's OR-Tools to schedule a Zen retreat.
Aerial Silks in the Gunks Kelsey Roman performing with aerial silks suspended from the Nectar Vector climb on Millbrook, a cliff in the Gunks.
RIP Sojourner In memory of Sojourner Truth Armstrong Davis, a singular and solitary hamster.
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.
Gunks, June 2025 Climbing in the Gunks on June 21 and 22, 2025.
Genuine Climbing retreat for women with cancer June 2025, in the Gunks.
Opus 40 A sculpture park in Saugerties, New York, hand-built by Harvey Fite over 37 years from local bluestone.
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.