Why Strong Consistency?

brooker.co.za
why-strong-consistency?

Eventual consistency makes your life harder. When I started at AWS in 2008, we ran the EC2 control plane on a tree of MySQL databases: a primary to handle writes, a secondary to take over from the primary, a handful … Read more

Strong Eventual Consistency – The Big Idea Behind CRDTs

lewiscampbell.tech
strong-eventual-consistency-–-the-big-idea-behind-crdts

Strong Eventual Consistency – The Big Idea behind CRDTs Blog Talks Contact 9/8/2025 CRDTs. Data structures that can be replicated across multiple nodes, edited independently, merged back together, and it all just works. But collaborative document editing and multiplayer TODO … Read more

Strong arrows: a new approach to gradual typing

elixir-lang.org

This is article expands on the topic of gradual set-theoretic typing discussed during my keynote at ElixirConf US 2023. There is an on-going effort to research and develop a type system for Elixir, lead by Giuseppe Castagna, CNRS Senior Researcher, … Read more