Hi, https://news.ycombinator.com/item?id=12303100
just rushed by, and it seemed utterly relevant to this audience to me. count Abstract from https://arxiv.org/pdf/1608.03960.pdf: Many applications model their data in a general-purpose storage format such as JSON. This data structure is modified by the application as a result of user input. Such modifications are well understood if performed sequentially on a single copy of the data, but if the data is replicated and modified concurrently on multiple devices, it is unclear what the semantics should be. In this paper we present an algorithm and formal semantics for a JSON data structure that automatically resolves concurrent modifications such that no updates are lost, and such that all replicas converge towards the same state. It supports arbitrarily nested list and map types, which can be modified by insertion, deletion and assignment. The algorithm performs all merging client-side and does not depend on ordering guarantees from the network, making it suitable for deployment on mobile devices with poor network connectivity, in peer-to-peer networks, and in messaging systems with end-to-end encryption. Index Terms: CRDTs, Collaborative Editing, P2P, JSON, Optimistic Replication, Operational Semantics, Eventual Consistency -- Andreas 'count' Kotes Taming computers for humans since 1990. "Don't ask what the world needs. Ask what makes you come alive, and go do it. Because what the world needs is people who have come alive." -- Howard Thurman
