A Comprehensive Study of CRDTs

The paper the acronym comes from. Dry, and worth it for one thing: the proofs are what let this site have no locks, no merge dialogs and no "someone else edited this page, reload?" — not optimism.

What a proof buys you

Two visitors typing into the same paragraph converge on the same result regardless of which update the server sees first. That is a property of the data type, so nothing above it has to be careful. It is the reason the presence chips in the corner can be decoration rather than a coordination mechanism.

Four stars because reading it does not teach you what to build. It teaches you which of your worries you are allowed to stop having.