Hacker News new | ask | show | jobs
Fixing a MongoDB Replication Protocol Bug with TLA+ [video] (youtube.com)
2 points by we6251 246 days ago