CRDT synthesis feels like a promising direction, e.g. see "Katara: Synthesizing CRDTs with Verified Lifting"/ https://arxiv.org/abs/2205.12425 https://arxiv.org

CRDT synthesis feels like a promising direction, e.g. see "Katara: Synthesizing CRDTs with Verified Lifting"/ https://arxiv.org/abs/2205.12425 https://arxiv.org/abs/2205.12425 / previous discussion https://news.ycombinator.com/item?id=32977887 https://news.ycombinator.com/item?id=32977887