Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

submitted by /u/ketralnis
[link] [comments]