Erik Meijer: Making AI Provably Safe with Type Systems

Type Level Security: The future of secure AI code generation?

Secure-by-design types can turn common bugs into compile-time errors. This post explores how type-level security could help prevent entire c

Developer shares four key failure modes found when running AI sub-agent teams

A software developer running a multi-agent AI system has documented the structural failure patterns that emerged in practice, moving beyond

Why Strict Typing and Compilers Help AI Agents Write Better Code

How statically typed languages with compilers create dramatically better outcomes for AI coding agents, providing instant validation that dy

Challenges in Implementing Safe AI Agent Orchestrators for Code Generation

No I'm not, but not because I don't want to. To safely use an AI agent, it needs a ton of safety guardrails that (afaict) are difficult to s

AI's Potential to Mainstream Formal Verification in Software Engineering

Published by Martin Kleppmann on 08 Dec 2025.

The Siren Song of “AI Safety”