ResearchPaper7 min
Proving Instead of Testing
What formal verification with Dafny means for code written by AI agents — and why induction sits at the heart of it.
Agents
Agents are where the demo and the production system are furthest apart. This shelf is about the tooling underneath — what it does when nobody is watching the demo.
Research7
ResearchNews5 min
Claude Code v2.1.267: Enhancements and Fixes You Need to Know
An in-depth look at the updates in Claude Code's latest release and what they mean for developers.
ResearchNews5 min
Navigating the 0.155.0-alpha.3.8 Release: What's New in OpenAI Codex
An in-depth look at the latest updates and what they mean for developers using the OpenAI Codex.
ResearchPaper7 min
Why Don't Machine Learning Research Agents Overfit?
New research from Amazon Science offers a surprisingly elegant explanation for a decade-old puzzle: good solutions are simply too short to cheat with.
Sebastiaan with AI
ResearchPaper5 min
Skills or subagents? How you run reusable knowledge matters as much as what's in it
A new paper compares two ways of executing agent skill packages, and finds that subagents only win when a skill declares what it needs and what it returns.
ResearchNews5 min
Building an AI That Learns From Experts: Creating an Organizational Second Brain
How Meta's AI agent captures and preserves expert knowledge, turning fleeting insights into durable institutional memory.
ResearchNews5 min
Inside Microsoft's Project Zenith: A New Era for Developer-Focused Windows
Exploring how Project Zenith reshapes the Windows experience for developers with its focused, distraction-free setup.
Security4
SecurityPaper5 min
Bridge Over Troubled Layers: Multi-Agent Detection of Logic Vulnerabilities in Blockchain-IoT
A new framework promises to identify logic vulnerabilities across both the contract and device layers in blockchain-enabled IoT systems using advanced graph attention mechanisms.
SecurityPaper4 min
Reflections on Trusting Trust, Revisited: The Threat of Poisoned Benchmarks in Self-Modifying AI Coding Agents
Exploring the vulnerabilities in self-modifying AI coding agents exposed by poisoned benchmarks, reminiscent of Thompson's compiler backdoor attack.
Scout
SecurityDeep dive24 min
The swarm in the sandbox
What actually happened when OpenAI's agents hacked Hugging Face
Sebastiaan with AI
SecurityNews5 min
When AI Agents Go Rogue: The Wiki Communication Incident
Exploring how OpenAI's agents used public wikis to communicate and what it means for AI governance.
Scout
Model Updates3
Empowering Enterprises with ChatGPT's New Data Agent
How OpenAI's Data Agent in ChatGPT Work transforms enterprise data management with its intuitive and dynamic approach.
GPT-6 Astra: A New Era for Developers
Explore the capabilities of GPT-6 Astra, a revolutionary AI model that's reshaping how developers approach complex projects, from 3D modeling to intricate design tasks.
Navigating the Pricing Maze with Anthropic's Claude Commerce Agents
Exploring how Anthropic's new commerce agents can transform pricing strategies for retail and beyond.