CRDTs kind of throw all of that out the window and embrace the eventual nature of the real world.
we trade linearizability for a property called strong eventual consistency:
Syncing text files between browser and disk using Yjs and the File System Access API
jackyzha0/bft-json-crdt: 🏰 the first JSON-like Byzantine Fault Tolerant CRDT
jackyzha0/miniraft: 🚣♀️ <1kloc, well-documented Raft consensus algorithm implementation
jackyzha0/cursor-chat: 💬 cursor chat à la Figma for digital co-existing + presence
How CRDTs make multiplayer text editing part of Zed's DNA - Zed Blog