Cheng Huang’s corner

In the past few months, I’ve been stress-testing how far AI coding agents can take us when building real, production-grade distributed systems.

This blog post was prompted by an invitation to present to Nvidia engineers (slides).

Formal verification has long been the gold standard for uncovering subtle bugs in distributed system design [1].

Summary 2025 is projected to be a breakthrough year for AI agents, particularly in software development.

More than just a first impression Back in 2013, I was working hard on my first implementation of the Paxos consensus protocol.

Introduction In a rapidly evolving tech landscape where cloud systems scale exponentially and AI-assisted programming takes center stage [1], mastering the art of balancing outage costs with preventive measures is more critical than ever.

Introduction This article provides an overview of my experience implementing Paxos in Rust, aided by the advanced language model, ChatGPT.