Reading up on distributed-systems

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.