Building intuition for gossip protocols
How an algorithm that looks like rumor-spreading ends up being the most boring, most reliable membership layer you can ship.
How an algorithm that looks like rumor-spreading ends up being the most boring, most reliable membership layer you can ship.
The hard part of CRDTs is not the math. It is convincing yourself the math is doing what you want.
Vector clocks are not a data structure. They are a way of asking the right question about events in a distributed system.