This is so, so, sooo good. I've never been brave enough to say it out loud, but this is 110% my experience. I imagine it is somewhat a consequence of the divid

This is so, so, sooo good. I've never been brave enough to say it out loud, but this is 110% my experience. I imagine it is somewhat a consequence of the divide between engineering and product. It can resolve all conflicts, and it's such a holy grail to go decentralized / get Google Docs-like editing down to a a package in your favorite language. But, in practice, its intractable for arbitrary data, even just an arbitrary string. I do wish there was a formal proof that showed / proved this to share in HN discussions re: CRDTs...but hey, this is great! The "it left a u" example is simple, intuitive, and with a charitable listener, I doubt they'd argue we can't figure out a string unambiguously, but we can figure out JSON unmabiguously.