A review of 'What Happens When the Model Eats the Stack? Rethinking the Research Agenda for Data Agents to Withstand the Bitter Lesson'.

MongoDB has maintained a dozen drivers for over a decade. How do we ensure they conform to the same specs? Read about our wrong turns, and the method that worked.

Photos of friends climbing in the Gunks.

AI makes writing code faster, but shouldn’t it make software better, too? Today, Jesse Jiryu Davis, Senior Staff Research Engineer at MongoDB joins Carl Sverre to discuss why the time saved by AI…

According to legend, Zen's Sixth Ancestor was chosen in a poetry contest. Here are the facts behind the legend, and the role of ambition in practice.

At MongoDB we implement the same protocols in many programming languages. How do we test that all the implementations match the specs?

Zotero plugin to find duplicate parent items by PDF hash and title similarity - ajdavis/zotero-duplicates-plugin

Database research papers keep adding benchmarks every year, crowding out fundamental new research: stats from analyzing 800 published papers.

Recounting experiences with his estranged father, a Zen student presents a dharma talk on the karma of lying.

My notes from the database conference in Bangalore.

Trip report of a week in India's tech capital.

A difficult paper about a real cloud database's complex and evolving architecture.

Marc Newson has been described as one of the most influential designers of his generation. He has worked across an extremely wide range of disciplines, and his clients include some of the best-known a...

Two days visiting Kathmandu temples, then four days walking up to Poon Hill and down through the Annapurna foothills.

You can go far without writing TLA+ syntax now, but you still need to understand temporal logic.

My father's dishonesty was frustrating and disappointing to many people, but I think he got the worst of it.

Notes from the 2026 conference on autonomous testing and software correctness.

Continuing with notes from the BugBash talks. Yes, all of this goodness, including Will Wilson's keynote was before lunch the first day. Wh...

Photos of Tyler leading a slightly stressful 5.10b trad climb.

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...

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

A half-hour talk about our enhancement to the Raft consensus protocol that strengthens Raft's consistency guarantees and time-to-recovery.

A new Raft enhancement for fast, consistent reads.

A new Raft enhancement for fast, consistent reads.

For how much of history have the dead outnumbered the living, and by how much? And when does that change?

Some TLA+ experts try to teach LLMs to write TLA+. The LLMs fail.

What we talk about when we talk about time horizon.