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.

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.

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.

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

He climbed a skyscraper and risked dying on live TV. Here's what I learned from Honnold about climbing, living, and practicing the precepts.

We still need senior engineers, but there's less economic incentive to create them.

Do you care if an LLM sees you naked?