This is one of the two top database research conferences (the other is VLDB). Our paper LeaseGuard: Raft Leases Done Right was accepted, and I was...

   Most engineers’ first objection to using TLA is, the syntax is hostile. It looks like LaTeX, not like code. But now, frontier LLMs can generate TLA...

   This was my second BugBash, and it’s still my favorite conference-the right combination of industry and academia, research and practice. (See last...

   Actually it won’t shock you. Spoiler alert: Coding with AI is a skill. It’s annoying but efficient. My prior experience handwriting code helped. By...

   I want to explain computer science on my blog, and show photos, and I want every article to look exquisite. My goal is to display math and images ...

   Well, a SAT solver can optimize the retreat schedule. A meditation retreat as a whole is a living creature, beyond any individual’s control. But I...

   Phil Eaton wrote From Web Developer To Database Developer In 10 Years recently. I was inspired to write my own version. In high school, I wanted to...

   Since I joined MongoDB’s Distributed Systems Research Group a few years ago, I’ve relied on Google Scholar alerts to tell me when an author in my...

   Cross-posted from the MongoDB engineering blog. At MongoDB, we design a lot of distributed algorithms algorithms with lots of concurrency and...

   Antithesis has pioneered autonomous testing , a term they coined for their platform, which combines a deterministic hypervisor with coverage-guided...

   At this year’s TLA community event, I tentatively proposed adding features to make the language useful for performance modeling. Here’s the video,...

   Here are my notes from the 2025 TLA Community Event. See also my colleague Murat Demirbas’s notes (he was one of the event’s organizers). The talks...

   When you’re hunting for bugs with a nondeterministic test, how many times should you run the test? The program might be deterministic: the same input...

   New York’s hottest club is NYC Systems. I’m speaking there October 17 with my colleague Matthieu Humeau. We’ll describe our experiment with...

   The Washington Post says the movement to diversify Silicon Valley is crumbling , and the story is particularly dire for gender-diversity nonprofits...

   MongoDB implemented a consistency level called causal consistency in 2017 (version 3.6). It’s quite a handy consistency level, strong enough for most...

   My friend Andrew Helwer argues that the best way to communicate an algorithm is with PlusCal or Python. He has come to believe that both are superior...

   I want to understand Paxos better, especially Multi-Paxos, so I implemented it (badly) in Python. I tested it with Jepsen it was a chance to play...

   This is a talk I gave at the 2021 TLA conference with my MongoDB colleague Samyukta Lanka. The video is below, and a written version below that....

   If you’re my colleague and you want to trigger my most ferocious pet peeve, ask me to explain something that I’ve already written down. My first...

   If you’re committed to a lifetime of coding, how do you make the most of it? Your training, experience, and passion are all in computer programming,...

   Links to articles and papers I mention in my PyTennessee talk about the career path for older coders.&#&#Video and transcript of my PyTennessee talk...

   I have some ideas I want to share at ConFoo 2019 in Montréal. If you think these talks sound interesting, take a minute and vote for me...

   To support multi-document transactions, I had to make breaking changes to Motor’s session API and release a major version bump, Motor 2.0. Since this...

   At PyTennessee 2018 I gave a talk about writing Python object destructors called What To Expect When You’re Expiring: Rules for del . The rules for a...

   I was invited by PyLadies Online to give a February 3, 2018 webinar about proposing talks, for the annual Global Diversity CFP Day. Watch the...

   I made a mistake in libbson 1.9.1, so I’ve just released 1.9.2 of libbson and libmongoc. libbson 1.9.2 completes reverting a changed macro definition...

   I’m pleased to announce version 1.9.1 of libbson and libmongoc, the libraries constituting the MongoDB C Driver.

   I’m pleased to announce version 1.9.0 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson It is my pleasure to...

   I’m excited to announce version 1.2.0 of Motor, my async Python driver for MongoDB. Motor works with Python 2.7 and 3.4 , and it supports async...

   MongoDB 3.6 was released December 5. Today I’ve uploaded a release candidate for version 1.2 of Motor, the async Python driver for MongoDB. This will...

   I’m pleased to announce version 1.8.2 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. Sadly, this is the final version...

   I’m pleased to announce version 1.8.1 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson This release removes a...

   I’m pleased to announce version 1.8.0 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson New features and bugfixes...

   I’m pleased to announce version 1.7.0 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. The main new features are an updated...

   Back in 2012, I ended my seven years of residence on the Lower East Side and moved into an apartment with my girlfriend in Stuyvesant Town a mile...

   I’m pleased to announce version 1.6.1 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson This is a bugfix release...

   Do you want to know every MongoDB query or command your program sends, and the server’s reply to each? How about getting a notification whenever the...

   I’m pleased to announce version 1.6.0 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson New features and bug fixes...

   I’m pleased to announce version 1.5.4 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. There is no change to libbson since...

   I’m pleased to announce version 1.5.3 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson This is a patch release that...

   I just discovered this: a couple weeks ago the BSD Now podcast featured my article about making getaddrinfo concurrent in Python BSD. They were doing...

   I’m pleased to announce version 1.5.1 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson No change since 1.5.0;...

   Tell us about the time you made DNS resolution concurrent in Python on Mac and BSD.&#No, no, you do not want to hear that story, my friends. It is...

   MongoDB 3.4 was released this morning; tonight I’ve released Motor 1.1 with support for the latest MongoDB features. Motor 1.1 now depends on PyMongo...

   I’m pleased to announce version 1.5.0 of libbson and libmongoc, the libraries constituting the MongoDB C Driver. libbson We have a brand-new BSON...

   &#&# &# &#&#&#Earlier this year I updated CPython to allow concurrent DNS resolution on Mac and BSD. My patch was trivial, but it took me weeks of...

   More than four years ago, I was sitting through a particularly distracted period of meditation. It was a Saturday morning and I was sitting on a...

   Three weeks after I released the beta, I’m proud to present Motor 0.7. For asynchronous I O Motor now uses a thread pool, which is faster and simpler...

   Please try the beta release of Motor 0.7 and let me know how it works for you:&#python -m pip install motor 0.7b0&#Documentation:&#&#Motor beta...