Model Releases
🆕 In Code They Act, In Proof We Trust — Erik Meijer last year, @solomonstre defined agents as 'an LLM that's wrecking its environment in a …
🆕 In Code They Act, In Proof We Trust — Erik Meijer last year, @solomonstre defined agents as 'an LLM that's wrecking its environment in a loop', and @simonw coined the Lethal Trifecta for agents, tha
🆕 In Code They Act, In Proof We Trust — Erik Meijer last year, @solomonstre defined agents as "an LLM that's wrecking its environment in a loop", and @simonw coined the Lethal Trifecta for agents, that remains unsolved. our closing keynote @headinthebox introduces the main motivations behind Automind and the Universalis interpreter - agents that carry their own verifiable proof of safety! link to talk below Forty-odd slides that weave four story lines together with subtle and not so subtle jokes featuring Dario, Daniella, Sam, the Pope, Bernie, Claude, .... and code samples in Lean and Dafny. I guarantee that my AIE World's Fair talk [0] will be more fun than all those after parties…
Related
- just a small zoom out on the vibe shift: in Feb 2025 @soumithchintala was talking about his dream of personal, local, private agents, most p…
- Thank you to everyone to came to the Claude managed agents workshop at @aiDotEngineer with @gcemaj and I. We had an absolute blast sharing o…
- omg @bcherny with banger quotes “the future is more async agents… this is why we emphasize verification” “if you’re familiar with higher ord…
- TIL @cognition usage has ~DOUBLED globally since these 2 launches. people are finding all sorts of creative usecases when u can compose agen…
- TLMs: Tiny LLMs and Agents on Edge Devices with @cormacb https://www.youtube.com/watch?v=-TiET_K-E_g Function Gemma ships at 270 million par…
Source: Swyx (X) | 2026-07-13