A. Jesse Jiryu Davis
- 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.
- How Long Must I Test?
How to calculate the efficiency of nondeterministic tests, and how to decide when to stop.
- Zen priest Kenzen in New York City
April 1, 2025. Zen priest Kenzen, formerly named Gessho, who was recently ordained at the Village Zendo in New York.
- Mohonk Preserve Rangers
March 25, 2025. Mohonk Preserve rangers training for rescue operations.
- Gravity Vault Climbing Team
February 18, 2025. The local youth climbing team training at the gym.
- Red Rocks
A medium-disappointing week climbing in Nevada.
- Review: SwiftPaxos: Fast Geo-Replicated State Machines
A complex consensus protocol for deployments with uneven network latencies.