A. Jesse Jiryu Davis

All Articles

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.
New Paltz Zen Center's precepts retreat My Zen sangha held its first sesshin, and two members took jukai and received dharma names.
The Dharma of Alex Honnold He climbed a skyscraper and risked dying on live TV. Here's what I learned from Honnold about climbing, living, and practicing the precepts.
Will the Training of Junior Engineers Be a Tragedy of the Commons? We still need senior engineers, but there's less economic incentive to create them.
What Does Privacy Mean Now? Do you care if an LLM sees you naked?
Deduplicate Your Zotero Library: A Plugin For The Forgetful Scholar Find all the papers you added multiple times.
Snow Grooming Grooming trails for cross-country skiing.