A. Jesse Jiryu Davis
- How Zen Monasteries Tell Time
We've been using drums and bells for centuries, though the meaning has changed.
- Antithesis BugBash Conference 2026
Notes from the 2026 conference on autonomous testing and software correctness.
- Preparing the Eucharist
Reverend Emily Carter preparing the wine and wafers at Christ Episcopal Church.
- Holy Week at Christ Episcopal Church
The services leading up to Easter Sunday, led by my friend Reverend Emily Carter.
- Review: Automated Design of Agentic Systems
A meta-agent develops agents to solve puzzles. But are the benchmarks and conclusions realistic?
- Climbing Retribution in the Gunks
Photos of Tyler leading a slightly stressful 5.10b trad climb.
- LeaseGuard: The Movie
A half-hour talk about our enhancement to the Raft consensus protocol that strengthens Raft's consistency guarantees and time-to-recovery.
- The Dead Majority
For how much of history have the dead outnumbered the living, and by how much? And when does that change?
- Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Some TLA+ experts try to teach LLMs to write TLA+. The LLMs fail.
- Review: Measuring AI Ability to Complete Long Software Tasks
What we talk about when we talk about time horizon.