Reading up on distributed-systems

Notion redesigned its text editor with CRDTs and Peritext annotations to merge concurrent edits across blocks without data loss, deploying it to production in July 2025.

The Antfly team shows how coding agents using TLA+ can formally model distributed systems to cheaply find and verify race conditions and other bugs.

Designing a universal ID system for all possible objects across all future cosmic eras may require ~800-bit identifiers to avoid collisions.

AI-generated distributed code should target frameworks like Hydro that make common concurrency bugs compile-time errors rather than runtime failures.

Coordination in distributed systems is needed only when correctness requires ruling out futures that information arrival alone won't eliminate.

Structured, high-cardinality logs with consistent schemas and correlation IDs improve debugging over traditional unstructured logs in distributed systems.

Large-scale distributed infrastructure lacks a complete datacenter OS analogous to a single-machine OS, with only fragmented proto-OS components existing today.