In this article we study the properties of distributed systems that mix eventual and strong consistency. We formalize such through acute cloud types (ACTs), abstractions similar to conflict-free replicated data types (CRDTs), which by default work in a highly available, eventually consistent fa...

We consider proper 5-colourings of the kagome lattice. Proper q-colourings correspond to configurations in the zero-temperature q-state anti-ferromagnetic Potts model. Salas and Sokal have given a computer assisted proof of strong spatial mixing on the kagome lattice for q ≥ 6 under any temperature, including zero temperature. It is believed that there is strong spatial mixing for q ≥ 4. Here w...