A. Jesse Jiryu Davis
All Articles
Feed
About
Photography
All Articles
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.
←
Older
Page 2
Newer
→