Convergence vs Consensus: CRDTs and the Quest for Distributed Consistency [VIDEO]