Fixing a MongoDB Replication Protocol Bug with TLA+ [video] | Dark Hacker News