Learnings from 100K Lines of Rust with AI — Explained in 60s

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. I utilized many available AI coding agents: GitHub Copilot, Claude Code, Codex, Augment Code, Kiro, and Trae. Code Contracts — By AI, For AIThe question I get most often is: How can AI possibly implement something as complex as Paxos correctly? Once satisfied, I jump into plan mode and ask AI to generate a plan for a specific user story. Ask AI to propose optimizations, implement one, re-measure, and repeat. Read more: https://zfhuang99.github.io/rust/claude%20code/codex/contracts/spec-driven%20development/2025/12/01/rust-with-ai.html #AI #ArtificialIntelligence #MachineLearning #TechAI #AITools #AIBreakthrough