Analysis of CockroachDB's scalable leader lease protocol for multi-consensus groups, addressing failover and liveness issues.
A monthly roundup of non-trendy software resources, including articles on TUI accessibility, CSS font fallbacks, and a proposal for a universal do-not-track flag.
Explains deterministic routing as a key technique for reducing consistency problems in distributed systems at scale.
Summary of the Antithesis BugBash Conference 2026, covering software verification, distributed systems, formal verification, and test coverage talks.
Review of SysMoBench, a benchmark evaluating AI's ability to write TLA+ formal specs for real-world distributed systems.
Explores idempotency in system design, its patterns, and critical role in reliable distributed systems, generative AI, and AI agents.
Interview with a Fly.io developer discussing her work on Corrosion, a distributed SQLite replication system, and other infrastructure projects.
Explains the difference between high availability and high resiliency in system design, and why both are crucial.
Explains fencing tokens and generation clocks in .NET to prevent stale leaders from writing in distributed systems, ensuring data consistency.
Explains the lease pattern in .NET for distributed systems, using Redis to implement time-limited locks that prevent deadlocks and ensure recovery.
A guide to implementing a lease-based leader election pattern in C#/.NET for distributed systems to prevent accidental multi-leader scenarios.
Explains the Leader and Followers distributed system pattern with a practical .NET implementation to ensure single authority and prevent data corruption.
A technical series translating distributed systems patterns into practical C#/.NET implementations for production software.
A developer shares insights and design considerations for building a distributed actor framework, based on experience with Dapr, Orleans, and a custom Go project.
Explores the impossibility of achieving common knowledge for coordinated attack in asynchronous distributed systems, based on Halpern and Moses' 1990 paper.
A Google engineer shares her experience using Claude Code to rapidly prototype a distributed agent orchestrator, highlighting AI's impact on complex software development.
A critical review of a research paper proposing Raft optimizations for faster reads/writes while preserving linearizability in distributed systems.
Introducing LeaseGuard, a new lease protocol for Raft consensus that simplifies leader leases and enables faster crash recovery.
Explains idempotency keys in distributed systems, comparing UUIDs and monotonic sequences for duplicate detection and exactly-once processing.
Explains idempotency keys in distributed systems, comparing UUIDs and monotonic sequences for duplicate detection and exactly-once processing.
