Hacker News new | ask | show | jobs
Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ (mongodb.com)
5 points by mark4 351 days ago