cs/distsys.
- TLA from first principles
- If you don’t examine what worked, how will you know what works?
- It's About the Guarantees
- Pattern: Event sourcing
- Pattern: Saga
- Synchronization is bad for scale
- Sensors and gauges - Observability in distributed systems
- Five Common Misconceptions About Event-Driven Architecture
- Linearizability in distributed systems
- Surfing Complexity
- Multi-version concurrency control in TLA+
- start - TLA+ Wiki
- Distributed Systems Reading List
- start - TLA+ Wiki
- A liveness example in TLA+ – Surfing Complexity
- Why do systems fail? Tandem NonStop system and fault tolerance
- An Illustrated Proof of the CAP Theorem
- There is No Now - ACM Queue
- The Writings of Leslie Lamport
- CRDTs go brrr
- Raft
- Erasure Coding for Distributed Systems
- Constraining writers in distributed systems
- ATProto for distributed systems engineers - AT Protocol
- Taming Consensus in the Wild (with the Shared Log Abstraction)
- On distributed systems | Distributed Systems by Szymon Durak
- Thoughts on "The Future of TLA+" • Buttondown
- State and time are the same thing • Buttondown
- Distributed systems theory for the distributed systems engineer | Paper Trail
- Notes on Distributed Systems for Young Bloods – Something Similar
- Learning about distributed systems: where to start?
- Best resources to learn about data and distributed systems - Pierre Zemb
- Predicting the Future of Distributed Systems
- Vector Clocks Explained
- Simple event broker tries Tiger Style
- Not Just Scale - Marc's Blog
- Consensus
- Let's Consign CAP to the Cabinet of Curiosities - Marc's Blog
- time-clocks
- RFC 677: Maintenance of duplicate databases
- untitled1.html
- Modeling B-trees in TLA+ – Surfing Complexity
- Dirty writes – Surfing Complexity
- Falsehoods Software Developers Believe About Event-Driven Systems · Blog · Loïc Carr
- A snapshot isolated database modeling in TLA+
- TLA+ modeling of a single replicaset transaction modeling
- Hermitage: Testing the “I” in ACID — Martin Kleppmann’s blog
- A Distributed Systems Reading List
- The problem with invariants is that they change over time – Surfing Complexity
- Distributed Logical Time
- CAP is Good, Actually • Buttondown
- The Back-to-Basics Readings of 2012 | All Things Distributed
- The CAP Theorem. The Bad, the Bad, & the Ugly | Dominik Tornow
- CRDT: Text Buffer - Made by Evan
- Deterministic Simulation Testing | Resonate
- So you think you want to write a deterministic hypervisor?
- An intuition for distributed consensus in OLTP systems | notes.eatonphil.com