corpus.blog
41554 blogs · [ { "id": "01a0d82f-006e-739a-af67-2a241fe0fe5d", "title": "The Humanoid Lesson, or, Will AI Leave Anything for Database Researchers to Do?", "url": "https://emptysqua.re/blog/review-what-happens-when-the-model-eats-the-stack/", "published_at": "2026-09-23T19:53:43+00:00" }, { "id": "01a0b0c9-4289-7231-9e7f-a1390508e4c3", "title": "Crag Portraits", "url": "https://emptysqua.re/blog/crag-portraits/", "published_at": "2026-09-17T17:55:30+00:00" }, { "id": "01a08773-4e96-7144-b5d2-b661be0b186c", "title": "Huineng Didn't Win the Poetry Contest", "url": "https://emptysqua.re/blog/huineng-didnt-win-the-poetry-contest/", "published_at": "2026-09-02T14:50:59+00:00" }, { "id": "01a08773-4e97-732c-baa7-792979559296", "title": "The Polyglot's Dilemma: Conformance Testing a Dozen Specs in as Many Languages", "url": "https://emptysqua.re/blog/polyglots-dilemma/", "published_at": "2026-08-20T21:21:07+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929796e1dca", "title": "Let's Not Waste Time on Excessive Benchmarking", "url": "https://emptysqua.re/blog/lets-not-waste-time-on-excessive-benchmarking/", "published_at": "2026-08-17T13:01:08+00:00" }, { "id": "01a08773-4e97-732c-baa7-792979cba965", "title": "Night Climbing 2", "url": "https://emptysqua.re/blog/back-to-mac/", "published_at": "2026-07-20T14:09:33+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297a3411e9", "title": "Silks", "url": "https://emptysqua.re/blog/aerial-silks-nears/", "published_at": "2026-07-07T00:28:32+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297aa086ae", "title": "Night Climbing", "url": "https://emptysqua.re/blog/night-climbing/", "published_at": "2026-07-05T01:24:59+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297ad7f590", "title": "New Paltz Zen Center's First Shuso Hossen Ceremony", "url": "https://emptysqua.re/blog/new-paltz-zen-center-first-shuso-hossen/", "published_at": "2026-06-25T19:17:44+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297bcbbcbe", "title": "Keep the Dharma Wheel Rolling", "url": "https://emptysqua.re/blog/turning-the-dharma-wheel/", "published_at": "2026-06-21T11:34:12+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297c6fe5ab", "title": "SIGMOD 2026 Recap", "url": "https://emptysqua.re/blog/sigmod-2026/", "published_at": "2026-06-09T03:21:01+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297d08c79a", "title": "Bengaluru", "url": "https://emptysqua.re/blog/bengaluru/", "published_at": "2026-06-08T12:12:40+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297dc51539", "title": "Review: Scalable Leader Leases For Multi Consensus Groups in CockroachDB", "url": "https://emptysqua.re/blog/review-scalable-leader-leases-for-multi-consensus-groups-in-cockroachdb/", "published_at": "2026-06-06T17:00:43+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297e96d537", "title": "Nepal trek", "url": "https://emptysqua.re/blog/nepal-trek/", "published_at": "2026-05-28T12:07:10+00:00" }, { "id": "01a08773-4e97-732c-baa7-79297f75544e", "title": "Intro to TLA+ for the LLM Era: Prompt Your Way to Victory", "url": "https://emptysqua.re/blog/intro-to-tla-plus-for-the-llm-era/", "published_at": "2026-05-13T01:43:27+00:00" }, { "id": "01a08773-4e97-732c-baa7-792980749b1b", "title": "The Kid Is Not My Son", "url": "https://emptysqua.re/blog/the-kid-is-not-my-son/", "published_at": "2026-05-12T02:41:03+00:00" }, { "id": "01a08773-4e97-732c-baa7-792980aee52a", "title": "Climbing Tiers of Fear", "url": "https://emptysqua.re/blog/tiers-of-fear/", "published_at": "2026-05-04T15:50:02+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298125f4e0", "title": "How Zen Monasteries Tell Time", "url": "https://emptysqua.re/blog/zen-monastery-timekeeping/", "published_at": "2026-04-28T12:50:09+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298207ff03", "title": "Antithesis BugBash Conference 2026", "url": "https://emptysqua.re/blog/notes-from-antithesis-bugbash-2026/", "published_at": "2026-04-25T15:41:39+00:00" }, { "id": "01a08773-4e97-732c-baa7-792983038df8", "title": "Preparing the Eucharist", "url": "https://emptysqua.re/blog/eucharist/", "published_at": "2026-04-17T02:02:24+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298325406c", "title": "Holy Week at Christ Episcopal Church", "url": "https://emptysqua.re/blog/holy-week-2026/", "published_at": "2026-04-16T16:36:30+00:00" }, { "id": "01a08773-4e97-732c-baa7-792983c0a3f3", "title": "Review: Automated Design of Agentic Systems", "url": "https://emptysqua.re/blog/review-automated-design-of-agentic-systems/", "published_at": "2026-04-15T20:57:57+00:00" }, { "id": "01a08773-4e97-732c-baa7-792984b63548", "title": "Climbing Retribution in the Gunks", "url": "https://emptysqua.re/blog/retribution/", "published_at": "2026-04-14T02:08:19+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929856dd74d", "title": "LeaseGuard: The Movie", "url": "https://emptysqua.re/blog/leaseguard-presentation-video/", "published_at": "2026-04-08T20:46:14+00:00" }, { "id": "01a08773-4e97-732c-baa7-792985c8b346", "title": "The Dead Majority", "url": "https://emptysqua.re/blog/the-dead-majority/", "published_at": "2026-04-06T02:41:08+00:00" }, { "id": "01a08773-4e97-732c-baa7-792985f645be", "title": "Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems", "url": "https://emptysqua.re/blog/review-sysmobench/", "published_at": "2026-04-01T15:26:43+00:00" }, { "id": "01a08773-4e97-732c-baa7-792986616dff", "title": "Review: Measuring AI Ability to Complete Long Software Tasks", "url": "https://emptysqua.re/blog/review-measuring-ai-ability-to-complete-long-software-tasks/", "published_at": "2026-04-01T12:41:12+00:00" }, { "id": "01a08773-4e97-732c-baa7-792986fa6974", "title": "New Paltz Zen Center's precepts retreat", "url": "https://emptysqua.re/blog/new-paltz-zen-center-precepts-retreat/", "published_at": "2026-03-24T23:46:25+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298792bff8", "title": "The Dharma of Alex Honnold", "url": "https://emptysqua.re/blog/the-dharma-of-alex-honnold/", "published_at": "2026-03-23T14:26:51+00:00" }, { "id": "01a08773-4e97-732c-baa7-792988149e53", "title": "Will the Training of Junior Engineers Be a Tragedy of the Commons?", "url": "https://emptysqua.re/blog/junior-engineers-tragedy-of-the-commons/", "published_at": "2026-03-13T22:20:29+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298893c026", "title": "What Does Privacy Mean Now?", "url": "https://emptysqua.re/blog/what-does-privacy-mean-now/", "published_at": "2026-03-12T22:33:26+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298970fd6d", "title": "Deduplicate Your Zotero Library: A Plugin For The Forgetful Scholar", "url": "https://emptysqua.re/blog/zotero-duplicates-plugin/", "published_at": "2026-02-28T18:38:34+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298a270235", "title": "Snow Grooming", "url": "https://emptysqua.re/blog/snow-grooming/", "published_at": "2026-02-16T16:42:44+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298b0438f3", "title": "A Zen Talk: AI OMG!", "url": "https://emptysqua.re/blog/ai-omg/", "published_at": "2026-01-22T17:23:31+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298b5ab44f", "title": "Knowledge and Common Knowledge in a Distributed Environment, Part 3", "url": "https://emptysqua.re/blog/review-common-knowledge-part-3/", "published_at": "2026-01-14T18:57:52+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298c4ab130", "title": "Review: Rethink the Linearizability Constraints of Raft for Distributed Systems", "url": "https://emptysqua.re/blog/review-rethink-linearizability-constraints-raft/", "published_at": "2025-12-26T23:04:21+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298d371dd6", "title": "YCSB Is Obsolete, We Need New Benchmarks", "url": "https://emptysqua.re/blog/ycsb-is-obsolete/", "published_at": "2025-12-21T17:44:18+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298dbb6b3e", "title": "LeaseGuard: Raft Leases Done Right!", "url": "https://emptysqua.re/blog/leaseguard-raft-leader-leases-done-right/", "published_at": "2025-12-18T23:27:58+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298e96fa07", "title": "The Work of Art in the Age of Mechanical Creation", "url": "https://emptysqua.re/blog/work-of-art-mechanical-creativity/", "published_at": "2025-12-10T18:55:37+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298eab8caf", "title": "How I Write a Related Work Section with Zotero and Overleaf", "url": "https://emptysqua.re/blog/writing-related-work-section-zotero-overleaf/", "published_at": "2025-12-02T18:56:30+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298f2c85f4", "title": "This Senior Staff Engineer Vibe-Coded for the First Time, What Happened Next Will Shock You", "url": "https://emptysqua.re/blog/first-time-vibecoding/", "published_at": "2025-11-19T02:53:40+00:00" }, { "id": "01a08773-4e97-732c-baa7-79298f638504", "title": "Aerial Silks in the Gunks, part 2", "url": "https://emptysqua.re/blog/aerial-silks-2/", "published_at": "2025-10-07T17:13:59+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299003ebe5", "title": "Versions of The Eternaut", "url": "https://emptysqua.re/blog/the-eternaut/", "published_at": "2025-10-07T13:17:09+00:00" }, { "id": "01a08773-4e97-732c-baa7-792990a27aec", "title": "Ridicullissima", "url": "https://emptysqua.re/blog/chris-ridicullissima/", "published_at": "2025-09-29T15:56:22+00:00" }, { "id": "01a08773-4e97-732c-baa7-792990d0d01b", "title": "Eye Opening Ceremony at the New Paltz Zen Center", "url": "https://emptysqua.re/blog/npzc-eye-opening/", "published_at": "2025-09-28T22:03:24+00:00" }, { "id": "01a08773-4e97-732c-baa7-792991bd99ba", "title": "How To Belay With Prescription Glasses Or Sunglasses", "url": "https://emptysqua.re/blog/how-to-belay-with-glasses/", "published_at": "2025-09-22T12:35:40+00:00" }, { "id": "01a08773-4e97-732c-baa7-792991ebcfe7", "title": "How To Check All Your Feeds With One Tool", "url": "https://emptysqua.re/blog/how-to-check-all-your-feeds/", "published_at": "2025-09-08T01:36:07+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929927b7d9f", "title": "How My Blog Handles Math and Images in HTML, Atom, and Email in 2025", "url": "https://emptysqua.re/blog/math-images-rss-hugo/", "published_at": "2025-08-31T08:43:59+00:00" }, { "id": "01a08773-4e97-732c-baa7-792993337143", "title": "Knowledge and Common Knowledge in a Distributed Environment, Part 2", "url": "https://emptysqua.re/blog/review-common-knowledge-part-2/", "published_at": "2025-08-25T10:42:25+00:00" }, { "id": "01a08773-4e97-732c-baa7-792993971be8", "title": "Speak Up If You're Stuck in a Zazen Rut", "url": "https://emptysqua.re/blog/speak-up-if-youre-stuck-in-a-zazen-rut/", "published_at": "2025-08-19T11:13:09+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929939a3a6e", "title": "Knowledge and Common Knowledge in a Distributed Environment, Part 1", "url": "https://emptysqua.re/blog/review-common-knowledge-part-1/", "published_at": "2025-08-13T11:24:35+00:00" }, { "id": "01a08773-4e97-732c-baa7-792994301817", "title": "Optimizing a Meditation Retreat with a SAT Solver", "url": "https://emptysqua.re/blog/optimizing-a-meditation-retreat-with-a-sat-solver/", "published_at": "2025-07-29T22:00:52+00:00" }, { "id": "01a08773-4e97-732c-baa7-792994a5da98", "title": "Aerial Silks in the Gunks", "url": "https://emptysqua.re/blog/aerial-silks-millbrook/", "published_at": "2025-07-28T15:10:02+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299574ab34", "title": "RIP Sojourner", "url": "https://emptysqua.re/blog/rip-sojourner/", "published_at": "2025-07-07T22:16:48+00:00" }, { "id": "01a08773-4e97-732c-baa7-792996203302", "title": "From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD", "url": "https://emptysqua.re/blog/from-python-programmer-to-distributed-systems-researcher-in-10-years/", "published_at": "2025-06-30T22:29:35+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929964d6e22", "title": "Taming Google Scholar Alerts", "url": "https://emptysqua.re/blog/taming-google-scholar-alerts/", "published_at": "2025-06-23T17:09:48+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929967f4ef9", "title": "Gunks, June 2025", "url": "https://emptysqua.re/blog/gunks-june-2025/", "published_at": "2025-06-23T10:13:58+00:00" }, { "id": "01a08773-4e97-732c-baa7-792996841dee", "title": "Genuine Climbing retreat for women with cancer", "url": "https://emptysqua.re/blog/genuine-climbing-june-2025/", "published_at": "2025-06-15T07:53:34+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929970cedbf", "title": "Opus 40", "url": "https://emptysqua.re/blog/opus-40/", "published_at": "2025-06-14T10:20:00+00:00" }, { "id": "01a08773-4e97-732c-baa7-792997a7f184", "title": "Can We Rely On Timers For Distributed Algorithms?", "url": "https://emptysqua.re/blog/timers-distributed-algorithms/", "published_at": "2025-06-05T10:45:23+00:00" }, { "id": "01a08773-4e97-732c-baa7-792998891977", "title": "Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs", "url": "https://emptysqua.re/blog/mongodb-conformance-checking/", "published_at": "2025-06-03T09:03:01+00:00" }, { "id": "01a08773-4e97-732c-baa7-792998f13cef", "title": "MongoDB and CS Education for All, Part 2", "url": "https://emptysqua.re/blog/cs4all-part-2/", "published_at": "2025-05-27T22:19:52+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299984828a", "title": "MongoDB and CS Education for All, Part 1", "url": "https://emptysqua.re/blog/cs4all-part-1/", "published_at": "2025-05-27T12:18:34+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299a826372", "title": "Liza Mills", "url": "https://emptysqua.re/blog/liza-mills-the-sting/", "published_at": "2025-05-22T17:38:37+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299ab3fe77", "title": "Jesse's Notes from the Antithesis BugBash Conference", "url": "https://emptysqua.re/blog/notes-from-antithesis-bugbash/", "published_at": "2025-05-20T22:33:34+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299b3c1032", "title": "Are We Serious About Using TLA+ For Statistical Properties?", "url": "https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/", "published_at": "2025-05-10T10:59:24+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299baf0fb4", "title": "Jesse's 2025 TLA+ Community Event Notes", "url": "https://emptysqua.re/blog/2025-tlaplus-community-event/", "published_at": "2025-05-08T21:47:33+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299c650651", "title": "Holy Week at Christ Episcopal Church", "url": "https://emptysqua.re/blog/christ-episcopal-holy-week/", "published_at": "2025-04-27T08:04:34+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299d28d28f", "title": "Mohonk Preserve Rangers, part 2", "url": "https://emptysqua.re/blog/mohonk-rangers-2/", "published_at": "2025-04-11T19:36:29+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299db565eb", "title": "How Long Must I Test?", "url": "https://emptysqua.re/blog/how-long-must-i-test/", "published_at": "2025-04-07T22:36:05+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299dbd937a", "title": "Zen priest Kenzen in New York City", "url": "https://emptysqua.re/blog/kenzen/", "published_at": "2025-04-04T17:39:42+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299ea5d552", "title": "Mohonk Preserve Rangers", "url": "https://emptysqua.re/blog/mohonk-rangers/", "published_at": "2025-03-26T11:43:51+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299edbe72c", "title": "Gravity Vault Climbing Team", "url": "https://emptysqua.re/blog/gravity-vault-climbing-team/", "published_at": "2025-03-19T17:27:54+00:00" }, { "id": "01a08773-4e97-732c-baa7-79299fd1bcbd", "title": "Red Rocks", "url": "https://emptysqua.re/blog/red-rocks-2025/", "published_at": "2025-03-19T10:58:13+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a045a43f", "title": "Review: SwiftPaxos: Fast Geo-Replicated State Machines", "url": "https://emptysqua.re/blog/swiftpaxos/", "published_at": "2025-02-06T21:32:59+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a0b076ed", "title": "Mixed-Media Climbing Art", "url": "https://emptysqua.re/blog/gunks-climbing-mixed-media/", "published_at": "2025-02-05T17:22:58+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a0e467ce", "title": "New Paltz in the Fall", "url": "https://emptysqua.re/blog/new-paltz-fall-2023/", "published_at": "2025-01-28T19:23:43+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a0f3e47e", "title": "Dustin Portzline", "url": "https://emptysqua.re/blog/dustin/", "published_at": "2025-01-28T08:28:37+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a13882fb", "title": "Which Beings Are Sentient?", "url": "https://emptysqua.re/blog/which-beings-are-sentient/", "published_at": "2025-01-25T16:40:05+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a159b329", "title": "Winter 2024 Meditation Retreat", "url": "https://emptysqua.re/blog/winter-ango-2024/", "published_at": "2025-01-13T13:11:35+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a2377325", "title": "Is an Enlightened Person Afraid of Illness and Death?", "url": "https://emptysqua.re/blog/is-an-enlightened-person-afraid/", "published_at": "2024-12-21T18:53:54+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a2eb3642", "title": "Peter's Kill in the Snow", "url": "https://emptysqua.re/blog/peters-kill-snow/", "published_at": "2024-12-05T21:33:41+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a35365b8", "title": "Supper's Ready", "url": "https://emptysqua.re/blog/gan-suppers-ready/", "published_at": "2024-11-24T22:27:12+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a3798001", "title": "Predictive Scaling in MongoDB Atlas, an Experiment", "url": "https://emptysqua.re/blog/mongodb-predictive-scaling-experiment/", "published_at": "2024-10-31T16:52:03+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a39310b6", "title": "Burial Vessel", "url": "https://emptysqua.re/blog/green-burial-vessel/", "published_at": "2024-10-25T20:01:42+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a4621cee", "title": "Fossymandias", "url": "https://emptysqua.re/blog/fossymandias/", "published_at": "2024-10-21T09:27:10+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a498dd53", "title": "Climbing at Bonticou Crag", "url": "https://emptysqua.re/blog/bonticou-climbing/", "published_at": "2024-10-19T22:24:45+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a50464e2", "title": "Join Me At NYC Systems October 17", "url": "https://emptysqua.re/blog/nyc-systems-october-2024/", "published_at": "2024-10-10T17:36:40+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a5f8d4d5", "title": "Antlion Crag", "url": "https://emptysqua.re/blog/antlion-crag/", "published_at": "2024-09-22T18:11:44+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a60ec7ca", "title": "Are You Prepared To Save A Life?", "url": "https://emptysqua.re/blog/are-you-prepared-to-save-a-life/", "published_at": "2024-09-09T22:55:07+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a67fe008", "title": "Review: Amazon MemoryDB: A Fast and Durable Memory-First Cloud Database", "url": "https://emptysqua.re/blog/review-memorydb/", "published_at": "2024-08-26T08:25:42+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a70b08f2", "title": "What's Next for Women in Tech?", "url": "https://emptysqua.re/blog/whats-next-for-women-in-tech/", "published_at": "2024-08-24T16:53:51+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a739ccb2", "title": "Coaching Will Be The Last Human Job", "url": "https://emptysqua.re/blog/coaching-will-be-the-last-human-job/", "published_at": "2024-08-17T14:46:40+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a7b71931", "title": "Summer Meditation Retreat", "url": "https://emptysqua.re/blog/meditation-retreat-summer-2024/", "published_at": "2024-08-15T22:15:35+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a8531853", "title": "Lights Out Climbing", "url": "https://emptysqua.re/blog/lights-out-climbing/", "published_at": "2024-06-28T07:55:01+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a8a6e75f", "title": "New Abbot Ceremony", "url": "https://emptysqua.re/blog/shisanshiki/", "published_at": "2024-06-19T10:20:55+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a900ac5c", "title": "Climbing in Lost City", "url": "https://emptysqua.re/blog/lost-city/", "published_at": "2024-06-15T21:38:01+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a90e0fa9", "title": "Mohonk Trail Builders", "url": "https://emptysqua.re/blog/mohonk-trail-builders/", "published_at": "2024-06-11T15:15:14+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a9a9ae62", "title": "Absurdland in the Gunks", "url": "https://emptysqua.re/blog/gunks-absurdland/", "published_at": "2024-06-09T17:04:01+00:00" }, { "id": "01a08773-4e97-732c-baa7-7929a9a9bd52", "title": "Bonticou Crag", "url": "https://emptysqua.re/blog/bonticou-crag/", "published_at": "2024-06-05T14:37:06+00:00" } ] posts Claim your blog
Back to A. Jesse Jiryu Davis
Blog · corpus.blog/blogs/emptysqua.re/posts

A. Jesse Jiryu Davis

emptysqua.re

2026

The Humanoid Lesson, or, Will AI Leave Anything for Database Researchers to Do?original ↗
23 Sept 2026
Crag Portraitsoriginal ↗
17 Sept 2026
Huineng Didn't Win the Poetry Contestoriginal ↗
2 Sept 2026
The Polyglot's Dilemma: Conformance Testing a Dozen Specs in as Many Languagesoriginal ↗
20 Aug 2026
Let's Not Waste Time on Excessive Benchmarkingoriginal ↗
17 Aug 2026
Night Climbing 2original ↗
20 Jul 2026
Silksoriginal ↗
7 Jul 2026
Night Climbingoriginal ↗
5 Jul 2026
New Paltz Zen Center's First Shuso Hossen Ceremonyoriginal ↗
25 Jun 2026
Keep the Dharma Wheel Rollingoriginal ↗
21 Jun 2026
SIGMOD 2026 Recaporiginal ↗
9 Jun 2026
Bengaluruoriginal ↗
8 Jun 2026
Review: Scalable Leader Leases For Multi Consensus Groups in CockroachDBoriginal ↗
6 Jun 2026
Nepal trekoriginal ↗
28 May 2026
Intro to TLA+ for the LLM Era: Prompt Your Way to Victoryoriginal ↗
13 May 2026
The Kid Is Not My Sonoriginal ↗
12 May 2026
Climbing Tiers of Fearoriginal ↗
4 May 2026
How Zen Monasteries Tell Timeoriginal ↗
28 Apr 2026
Antithesis BugBash Conference 2026original ↗
25 Apr 2026
Preparing the Eucharistoriginal ↗
17 Apr 2026
Holy Week at Christ Episcopal Churchoriginal ↗
16 Apr 2026
Review: Automated Design of Agentic Systemsoriginal ↗
15 Apr 2026
Climbing Retribution in the Gunksoriginal ↗
14 Apr 2026
LeaseGuard: The Movieoriginal ↗
8 Apr 2026
The Dead Majorityoriginal ↗
6 Apr 2026
Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systemsoriginal ↗
1 Apr 2026
Review: Measuring AI Ability to Complete Long Software Tasksoriginal ↗
1 Apr 2026
New Paltz Zen Center's precepts retreatoriginal ↗
24 Mar 2026
The Dharma of Alex Honnoldoriginal ↗
23 Mar 2026
Will the Training of Junior Engineers Be a Tragedy of the Commons?original ↗
13 Mar 2026
What Does Privacy Mean Now?original ↗
12 Mar 2026
Deduplicate Your Zotero Library: A Plugin For The Forgetful Scholaroriginal ↗
28 Feb 2026
Snow Groomingoriginal ↗
16 Feb 2026
A Zen Talk: AI OMG!original ↗
22 Jan 2026
Knowledge and Common Knowledge in a Distributed Environment, Part 3original ↗
14 Jan 2026

2025

Review: Rethink the Linearizability Constraints of Raft for Distributed Systemsoriginal ↗
26 Dec 2025
YCSB Is Obsolete, We Need New Benchmarksoriginal ↗
21 Dec 2025
LeaseGuard: Raft Leases Done Right!original ↗
18 Dec 2025
The Work of Art in the Age of Mechanical Creationoriginal ↗
10 Dec 2025
How I Write a Related Work Section with Zotero and Overleaforiginal ↗
2 Dec 2025
This Senior Staff Engineer Vibe-Coded for the First Time, What Happened Next Will Shock Youoriginal ↗
19 Nov 2025
Aerial Silks in the Gunks, part 2original ↗
7 Oct 2025
Versions of The Eternautoriginal ↗
7 Oct 2025
Ridicullissimaoriginal ↗
29 Sept 2025
Eye Opening Ceremony at the New Paltz Zen Centeroriginal ↗
28 Sept 2025
How To Belay With Prescription Glasses Or Sunglassesoriginal ↗
22 Sept 2025
How To Check All Your Feeds With One Tooloriginal ↗
8 Sept 2025
How My Blog Handles Math and Images in HTML, Atom, and Email in 2025original ↗
31 Aug 2025
Knowledge and Common Knowledge in a Distributed Environment, Part 2original ↗
25 Aug 2025
Speak Up If You're Stuck in a Zazen Rutoriginal ↗
19 Aug 2025
Knowledge and Common Knowledge in a Distributed Environment, Part 1original ↗
13 Aug 2025
Optimizing a Meditation Retreat with a SAT Solveroriginal ↗
29 Jul 2025
Aerial Silks in the Gunksoriginal ↗
28 Jul 2025
RIP Sojourneroriginal ↗
7 Jul 2025
From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhDoriginal ↗
30 Jun 2025
Taming Google Scholar Alertsoriginal ↗
23 Jun 2025
Gunks, June 2025original ↗
23 Jun 2025
Genuine Climbing retreat for women with canceroriginal ↗
15 Jun 2025
Opus 40original ↗
14 Jun 2025
Can We Rely On Timers For Distributed Algorithms?original ↗
5 Jun 2025
Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specsoriginal ↗
3 Jun 2025
MongoDB and CS Education for All, Part 2original ↗
27 May 2025
MongoDB and CS Education for All, Part 1original ↗
27 May 2025
Liza Millsoriginal ↗
22 May 2025
Jesse's Notes from the Antithesis BugBash Conferenceoriginal ↗
20 May 2025
Are We Serious About Using TLA+ For Statistical Properties?original ↗
10 May 2025
Jesse's 2025 TLA+ Community Event Notesoriginal ↗
8 May 2025
Holy Week at Christ Episcopal Churchoriginal ↗
27 Apr 2025
Mohonk Preserve Rangers, part 2original ↗
11 Apr 2025
How Long Must I Test?original ↗
7 Apr 2025
Zen priest Kenzen in New York Cityoriginal ↗
4 Apr 2025
Mohonk Preserve Rangersoriginal ↗
26 Mar 2025
Gravity Vault Climbing Teamoriginal ↗
19 Mar 2025
Red Rocksoriginal ↗
19 Mar 2025
Review: SwiftPaxos: Fast Geo-Replicated State Machinesoriginal ↗
6 Feb 2025
Mixed-Media Climbing Artoriginal ↗
5 Feb 2025
New Paltz in the Falloriginal ↗
28 Jan 2025
Dustin Portzlineoriginal ↗
28 Jan 2025
Which Beings Are Sentient?original ↗
25 Jan 2025
Winter 2024 Meditation Retreatoriginal ↗
13 Jan 2025

2024

Is an Enlightened Person Afraid of Illness and Death?original ↗
21 Dec 2024
Peter's Kill in the Snoworiginal ↗
5 Dec 2024
Supper's Readyoriginal ↗
24 Nov 2024
Predictive Scaling in MongoDB Atlas, an Experimentoriginal ↗
31 Oct 2024
Burial Vesseloriginal ↗
25 Oct 2024
Fossymandiasoriginal ↗
21 Oct 2024
Climbing at Bonticou Cragoriginal ↗
19 Oct 2024
Join Me At NYC Systems October 17original ↗
10 Oct 2024
Antlion Cragoriginal ↗
22 Sept 2024
Are You Prepared To Save A Life?original ↗
9 Sept 2024
Review: Amazon MemoryDB: A Fast and Durable Memory-First Cloud Databaseoriginal ↗
26 Aug 2024
What's Next for Women in Tech?original ↗
24 Aug 2024
Coaching Will Be The Last Human Joboriginal ↗
17 Aug 2024
Summer Meditation Retreatoriginal ↗
15 Aug 2024
Lights Out Climbingoriginal ↗
28 Jun 2024
New Abbot Ceremonyoriginal ↗
19 Jun 2024
Climbing in Lost Cityoriginal ↗
15 Jun 2024
Mohonk Trail Buildersoriginal ↗
11 Jun 2024
Absurdland in the Gunksoriginal ↗
9 Jun 2024
Bonticou Cragoriginal ↗
5 Jun 2024
Next