![Coding Agents Meet Distributed Reality]()
February 11, 2026•8 min readCoding Agents Meet Distributed Reality
AI is about to write most of the code in the world…
![Three Lenses on Coordination]()
February 03, 2026•12 min readThree Lenses on Coordination
Three Sets of Specs (for Staying in Spec) In the…
![Algorithms Compute Functions. Systems Make Promises.]()
December 30, 2025•4 min readAlgorithms Compute Functions. Systems Make Promises.
I've been having a lot of fun working on Hydro at…
![Schema Evolution, Career Edition]()
September 25, 2025•3 min readSchema Evolution, Career Edition
🔔
![Tips on Research]()
June 27, 2025•5 min readTips on Research
As a complement to my last post, I thought I'd…
![An Optimist's Reflection on SIGMOD]()
June 27, 2025•4 min readAn Optimist's Reflection on SIGMOD
I write this note on my way home from the annual A…
![CRDTs #4: Convergence, Determinism, Lower Bounds and Inflation]()
May 29, 2025•16 min readCRDTs #4: Convergence, Determinism, Lower Bounds and Inflation
The CRDT literature sometimes leaves room for…
![CRDTs #3: Do Not Read!]()
May 23, 2025•11 min readCRDTs #3: Do Not Read!
Ever used a CRDT, thought you were safe, and—boom…
![CRDTs #2: Turtles All the Way Down]()
May 22, 2025•11 min readCRDTs #2: Turtles All the Way Down
![A Run of CRDT Posts]()
May 21, 2025•4 min readA Run of CRDT Posts
Over the next few days, I'm going to post a number…
![Looking Back to Look Ahead]()
April 30, 2025•12 min readLooking Back to Look Ahead
This is the second of two background posts…
![Context for a New Home]()
April 27, 2025•4 min readContext for a New Home
Time to get blogging again. After a long run with…
