My Zen group, the Village Zendo, is leading a Buddhist project to resettle refugees in NYC.
A PhD thesis and two papers about reactive and predictive autoscaling.
A super-low latency protocol with causal consistency and total order, for cutting-edge data centers.
I'm going on sabbatical from MongoDB until December.
A 2-week toy project to learn a famous algorithm and try out a distributed systems test framework.
Covering the statue of Manjusri and desanctifying the space, in preparation for moving to the zendo's new location.
Photos and story: faith leaders and incarcerated boys work side by side to repaint a youth jail.
A clever algorithm for reducing conflicts in a distributed task scheduler.
A talk I gave at the 2021 TLA+ conference with Samy Lanka.
Peter Naur (of Backus-Naur form) wrote that programmers' main job is not coding, but building a theory of the problem and solution.