Engineering

As autonomous coding agents make implementation cheap, the bottleneck shifts to verification. After nearly 30 years building software and a year deep in agentic workflows, I argue that Rust's constrained solution space, rich compiler feedback, and strong correctness guarantees make it the best mainstream language for autonomous software generation and long-term maintenance.