And the keystone award winner is…🥁 Den Delimarsky of @anthropic.com and lead maintainer of MCP
Post
Now @ashtom.bsky.social is up to talk about the future of version control for agents, something I know a lot of people here are interested in and working on. He opens to show us how number of PRs is skyrocketing over time and the size of PRs is 3x what it was 18 months ago, causing more changes
Next up is Dr. Shazam Laddad from AWS on how to verify code correctness. He introduces “universal properties” - specifications that apply to *any* application regardless of implementation. Strongly typed languages have this, eg rust preventing multiple borrows.
0 reposts0 likes
UPs can be defined once and reused, living outside the agent and forming guardrails around agents. Introducing infinity.hydro.run an agent runtime for concurrent agents.
infinity.hydro.runInfinityA Rust framework for building massively concurrent agentic systems, light enough to fit 75k agents in the memory of a Raspberry Pi.