A. Jesse Jiryu Davis
- Liza Mills
Gunks climber Liza Mills on the routes Lisa and The Sting with her husband Jordan and their cat Dwayne.
- Jesse's Notes from the Antithesis BugBash Conference
A 2025 conference on autonomous testing and software correctness.
- 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.
- Arjuna's Dilemma
I look in the Bhagavad Gita for guidance on living in stressful times, and taking action when there are no good options.
- Mohonk Preserve Rangers
March 25, 2025. Mohonk Preserve rangers training for rescue operations.