Advertisement · 728 × 90

Posts by A. Jesse Jiryu Davis

Great bots make little bots to think of codes and write ’em,
And little bots have lesser bots, and so ad infinitum.
And the great bots themselves, in turn, have greater bots to go on;
While these again have greater still, and greater still, and so on.

4 days ago 1 0 0 0
Post image

My review of "Automated Design of Agentic Systems", a 2025 paper about agents designing agents: emptysqua.re/blog/review-...

4 days ago 1 0 1 0

Oh no, toilet, no.

6 days ago 1 1 0 0
Preview
Climbing Retribution in the Gunks Photos of Tyler leading a slightly stressful 5.10b trad climb.

I took some of my favorite Gunks climbing photos on Sunday!

6 days ago 2 0 0 0
Preview
fix: descend through attachments when fetching annotations by ajdavis · Pull Request #201 · 54yyyu/zotero-mcp Summary zotero_get_annotations with a paper's item_key silently returned "No annotations found" even for papers with many annotations. Root cause: in Zotero's data model, annotati...

The server would usually return no annotations (depending on which parent item the agent passed in as the get_annotations argument) and also couldn't return >100 annotations, this fixes both: github.com/54yyyu/zoter...

1 week ago 1 0 1 0

And here's a video presentation about the paper! emptysqua.re/blog/leasegu...

1 week ago 2 0 0 0
Preview
GitHub - 54yyyu/zotero-mcp: Zotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, an... Zotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, and more. - 54yyyu/zotero-mcp

Claude Code + Zotero is an incredible combo for organizing and understanding research papers. This zotero-mcp server was just updated with two patches I made to fix how it handles notes and annotations, try it out: github.com/54yyyu/zoter...

1 week ago 4 0 2 0
Advertisement
Preview
LeaseGuard: The Movie A half-hour talk about our enhancement to the Raft consensus protocol that strengthens Raft's consistency guarantees and time-to-recovery.

LeaseGuard: The Movie! Here's a half-hour presentation I gave on the new protocol that enhances Raft's consistency and time-to-recovery, developed with my MongoDB colleagues and published in SIGMOD this year. emptysqua.re/blog/leasegu...

1 week ago 2 0 0 0
Preview
LeaseGuard: Raft Leases Done Right! A new Raft enhancement for fast, consistent reads.

Here's a summary of the paper: emptysqua.re/blog/leasegu...

1 week ago 3 0 1 0
Preview
LeaseGuard: Raft Leases Done Right! A new Raft enhancement for fast, consistent reads.

Yay, SIGMOD just published the paper I wrote with @muratdemirbas.bsky.social and Lingzhi Deng, it's about strengthening Raft's consistency and time-to-recovery lnkd.in/ef6qUJzw

1 week ago 26 4 2 0
Preview
The Dead Majority For how much of history have the dead outnumbered the living, and by how much? And when does that change?

The portion of people alive today, compared to the dead, is greater than ever before emptysqua.re/blog/the-dea...

2 weeks ago 1 0 0 0
Preview
Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems Some TLA+ experts try to teach LLMs to write TLA+. The LLMs fail.

AI: can it write a TLA+ spec of existing code? Can it write TLA+ at all? Let's find out! emptysqua.re/blog/review-...

2 weeks ago 2 0 0 0
Preview
Review: Measuring AI Ability to Complete Long Software Tasks What we talk about when we talk about time horizon.

What's an AI time horizon, how is it measured, and how fast is it growing? emptysqua.re/blog/review-...

2 weeks ago 1 1 0 0
Post image Post image Post image

What's it like at BugBash?

We think it's great, but you don't have to take it from us.

You can hear it from @isaacvando.bsky.social, @eatonphil.bsky.social, and @emptysqua.re instead.

A few tickets left.

3 weeks ago 6 3 1 0
Post image

Dammit Claude just take my job, stop dicking around.

3 weeks ago 0 0 0 0
The priest, Jo An Sensei, with his hands in gassho. An altar with a flower is in the foreground.

The priest, Jo An Sensei, with his hands in gassho. An altar with a flower is in the foreground.

Jo An Sensei hugging two students who just received the Zen precepts.

Jo An Sensei hugging two students who just received the Zen precepts.

3 weeks ago 0 0 0 0
A group of Zen practitioners at a dining table eating from black lacquer oryoki bowls.

A group of Zen practitioners at a dining table eating from black lacquer oryoki bowls.

A closeup of a woman's hands serving vegetables into her black lacquer bowl.

A closeup of a woman's hands serving vegetables into her black lacquer bowl.

A Zen priest dabbing water on the forehead of a young woman during a precepts ceremony.

A Zen priest dabbing water on the forehead of a young woman during a precepts ceremony.

A Zen priest bowing to a woman in front of a bamboo grove during a precepts ceremony.

A Zen priest bowing to a woman in front of a bamboo grove during a precepts ceremony.

3 weeks ago 0 0 1 0
Advertisement
A small zendo with four people meditating in front of a fire in the fireplace.

A small zendo with four people meditating in front of a fire in the fireplace.

A zen priest meditating in a small wooden cabin.

A zen priest meditating in a small wooden cabin.

A man in black cotton Zen garb cooking in a cluttered kitchen.

A man in black cotton Zen garb cooking in a cluttered kitchen.

A closeup of a man's hands washing a knife and dirty dishes in the sink.

A closeup of a man's hands washing a knife and dirty dishes in the sink.

The New Paltz Zen Center's first meditation retreat, ending with a precepts ceremony for two members!

3 weeks ago 0 0 1 0
Preview
TLA+ mental models In the age of LLMs, syntax is no longer the bottleneck for writing, reading, or learning TLA+. People are even getting value by generating T...

[new blog post]

TLA+ Mental Models

muratbuffalo.blogspot.com/2026/03/tla-...

#tlaplus

4 weeks ago 7 2 0 0
Preview
The Dharma of Alex Honnold He climbed a skyscraper and risked dying on live TV. Here's what I learned from Honnold about climbing, living, and practicing the precepts.

I gave a Zen talk, "The Dharma of Alex Honnold". He climbed a skyscraper and risked dying on live TV. Here’s what I learned from Honnold about climbing, living, and practicing the precepts.

emptysqua.re/blog/the-dha...

4 weeks ago 1 0 0 0
Preview
Automation

For any given task right now I think, "How much can I make Claude Code do for me?" I think this XKCD automation joke is only half-true right now and might be obsolescing.... xkcd.com/1319/

1 month ago 2 0 1 0

I so rarely get both nerd sniped and aesthetically sniped by the same thing, this is rad.

1 month ago 13 2 1 0
Preview
Will the Training of Junior Engineers Be a Tragedy of the Commons? We still need senior engineers, but there's less economic incentive to create them.

Will the training of junior engineers be a tragedy of the commons? emptysqua.re/blog/junior-...

1 month ago 1 0 0 0
Preview
What Does Privacy Mean Now? Do you care if an LLM sees you naked?

Do you care if an LLM sees you naked? What does privacy mean now? emptysqua.re/blog/what-do...

1 month ago 0 1 0 0
Advertisement

Never, ever reboot a Mac in the middle of an OS upgrade! "It seems stuck," you think. "Apple probly does an atomic swap between the old & new OSes, if I reboot it'll just clean up after itself. They're smart and they've heard of DB transactions," you think.

You are wrong. I had to reformat my HD.

1 month ago 4 0 0 0

How many times I’ll press my finger before my iPad recognizes my print. Which Bluetooth device my Beats will connect to first when I put them in my ears. And of course, how many tries I’ll need to plug in a USB-A cable.

1 month ago 0 0 0 0

Novel sources of entropy for cryptographically secure random number generators: Whether the in-flight WiFi works. Whether my phone connects to the car by USB this time. How long the next macOS update will take. How many times today I’ll close the dialog asking if Chrome can connect to nearby devices

1 month ago 3 0 1 0
Video

Joshua Tree, top of Lost Horse Wall at sunset.

1 month ago 1 0 0 0
Video

Magnificent California.

1 month ago 2 0 1 0
Post image

That thing where you don't think you look very Jewish, and then you get to middle age and see pictures of yourself and you're like "Wow I look like a middle-aged Jew now."

1 month ago 1 0 0 0