|
You are here |
www.loro.dev | ||
| | | | |
archagon.net
|
|
| | | | | Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more. | |
| | | | |
www.inkandswitch.com
|
|
| | | | | Collaboration on rich text is hard to model with plain-text approaches. We review the challenges and how to construct a CRDT for rich text. | |
| | | | |
nomad.foo
|
|
| | | | | A deep dive into the theoretical framework and the technical implementation of a text CRDT. | |
| | | | |
sookocheff.com
|
|
| | | Title and Author of Paper Consistency Analysis in Bloom: a CALM and Collected Approach. Alvaro et al. Summary Distributed programming is difficult for even experienced developers to get correct. Understanding the tradeoff between consistency, availability, and latency, while guaranteeing data correctness, provides a wealth of problems for the application developer. This paper presents a language and method for programmatically verifying distributed consistency. CALM - Consistency and Logical Monotonicity... | ||