Jon Meredith on Modeling Eventual Consistency Databases with QuickCheck | Heykuki News