You may have heard about CRDTs in the past few years if you are into distributed systems. In this post I will give a brief summary of what they are and what kind of guarantees they provide. In short, CRDTs are objects that can be updated without expensive synchronization/consensus and they are guaranteed to converge eventually if all concurrent updates are commutative (see below) and if all update
![A Look at Conflict-Free Replicated Data Types (CRDT)](https://cdn-ak-scissors.b.st-hatena.com/image/square/3ec6067a6a0f8e988d013ab1faf197526128c47c/height=288;version=1;width=512/https%3A%2F%2Fmiro.medium.com%2Fv2%2Fresize%3Afit%3A625%2F1%2AVn9ZGiUAcxQHw27RH3bz8g.png)