A. Jesse Jiryu Davis

All Articles

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory You can go far without writing TLA+ syntax now, but you still need to understand temporal logic.
The Kid Is Not My Son My father's dishonesty was frustrating and disappointing to many people, but I think he got the worst of it.
Climbing Tiers of Fear Zhihua Gan climbing Tiers of Fear (5.12a) in the Gunks.
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.