Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ #1 Post by mark4 » Wed, Jul 02, 2025, 3:41 PM UTC Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+mongodb.com