4 ms·Jon Meredith on Modeling Eventual Consistency Databases with QuickCheck1 points by hanszeir 15y ago