Posts
-
The loop is 200 lines. Everything else is the harness.
-
A coding agent is a loop. Everything else is the harness.
-
From tested to proved: putting the plan checker in Lean
-
Don't trust the AI's plan. Trust a checker small enough to read.
-
Defence in depth for autonomous infrastructure agents
-
Eight things building a safe AI ops agent taught me
subscribe via RSS