A. Jesse Jiryu Davis emptysqua.re

From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD

emptysqua.re·45w·Lobsters, Hacker News

Taming Google Scholar Alerts

emptysqua.re·46w

Gunks, June 2025

emptysqua.re·46w

Genuine Climbing retreat for women with cancer

emptysqua.re·48w

Opus 40

emptysqua.re·48w

Can We Rely On Timers For Distributed Algorithms?

emptysqua.re·49w

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

emptysqua.re·49w

MongoDB and CS Education for All, Part 2

emptysqua.re·50w

MongoDB and CS Education for All, Part 1

emptysqua.re·50w

Liza Mills

emptysqua.re·51w

Jesse's Notes from the Antithesis BugBash Conference

emptysqua.re·51w·Hacker News

Are We Serious About Using TLA+ For Statistical Properties?

emptysqua.re·53w·Lobsters, Hacker News

2025 TLA+ Community Event Notes

emptysqua.re·53w·Lobsters

Holy Week at Christ Episcopal Church

emptysqua.re·55w

Mohonk Preserve Rangers, part 2

emptysqua.re·57w

How Long Must I Test?

emptysqua.re·57w

Zen priest Kenzen in New York City

emptysqua.re·58w

Arjuna's Dilemma

emptysqua.re·58w

Mohonk Preserve Rangers

emptysqua.re·59w

Gravity Vault Climbing Team

emptysqua.re·60w

Log in to enable infinite scrolling