cs/distsys.
- ππ’π±π’π―πͺπ¦π«π¦π°π±π¦π π°π¦πͺπ²π©ππ±π¦π¬π« π±π’π°π±π¦π«π€
- Fairness in TLA+
- How to do distributed locking
- asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems
- Learning and reviewing system internals: tactics and psychology
- Lamport clocks
- Zero Disk Architecture
- Petnames: A humane approach to secure, decentralized naming
- 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
- 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
- Synchronization is bad for scale
- 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
- CRDT: Text Buffer - Made by Evan
- The Back-to-Basics Readings of 2012 | All Things Distributed
- The problem with invariants is that they change over time β Surfing Complexity
- Deterministic Simulation Testing | Resonate
- So you think you want to write a deterministic hypervisor?
- CAP is Good, Actually β’ Buttondown
- The CAP Theorem. The Bad, the Bad, & the Ugly | Dominik Tornow
- Distributed Logical Time
- An intuition for distributed consensus in OLTP systems | notes.eatonphil.com