VirtualTam's bookmarks

1. Fixing a MongoDB Replication Protocol Bug with TLA+ - William Schultz 2022-05-31

   tags: database/mongodb, distributed, distributed-system/cluster, formal-specification/tla+, protocol

   [ permalink ]

   • https://www.youtube.com/watch?v=x9zSynTfLDE