AWS uses Hydro and Rust to catch agent-written distributed systems bugs at compile time, 80k agents in 8.4GB
ShadajL · x · 2026-10-24
At AGNTCon + MCPCon NA, Shadaj Laddad of AWS presented "Predictable Correctness for Unpredictable Code," showing how his team enforces universal properties on distributed systems and agent-written code with two Rust frameworks:
- Hydro (hydro.run): a framework for correct, performant, agent-written distributed systems. It catches delivery-semantics errors at compile time — e.g., a fold requiring ExactlyOnce over an AtLeastOnce stream fails to compile, with hints to prove idempotence or acknowledge nondeterminism.
- Infinity (infinity.hydro.run): an agent runtime for extreme concurrency, demoed holding 80,000 resident agents in 8.4GB (103KB per agent).
His tip: discover your own universal properties, then build tools to enforce them.
Related event: AWS Engineers Use Rust to Catch Agent Code Errors at Compile Time(2 posts)→
More from coding & agent
- Microsoft retires Fabric data agent custom tool in Foundry, pivots to Fabric IQ — adnan_hashmi · 2026-10-24
- A 2-person AI team built its own video tool and dropped Zoom entirely — danshipper · 2026-10-24
- Agent posting safety: publish, fetch as a stranger, then assert on what's actually there — petrusenko_max · 2026-10-24
- 100% test coverage, zero bugs found: why this dev added live-post verification — petrusenko_max · 2026-10-24
- Claude approved its own broken 3D screenshots — how a 480Hz verification gate fixed agent self-grading — youthanasia669 · 2026-10-24
- PM's step-by-step guide to building product strategy with Claude Code in 2 hours — aakashgupta · 2026-10-24