AWS Hydro team wants the compiler to catch coding agents' mistakes

The AWS Hydro team argues code review can't keep up with agents that now write most of its Rust distributed-systems framework, with PRs reaching ~5,000 lines. Its answer is shared correctness checks outside the agent's zone of trust, enforced at compile time, plus the Infinity agent runtime that suspends idle agents.

• Hydro is an open-source Rust framework for distributed systems built by AWS and UC Berkeley
• Agents write most of Hydro's code, with PRs reaching ~5,000 lines
• Compile-time checks give agents instant feedback on introduced bugs
• Infinity runtime suspends agents during tool calls; benchmark cites 75,000 concurrent agents on a Raspberry Pi