Baris Erdem

Two controls every production agent needs, a hard per-run spend cap and a human gate in front of irreversible actions, keep getting bolted on at the LLM gateway or the observability dashboard.

I built a static analyzer for OTP supervision trees and ran it over thirty-some well-known open-source Elixir projects.

What two Nobel economists, Elinor Ostrom and Oliver Williamson, get right about keeping a codebase coherent when AI agents write a lot of it.

I gave a tool the execution traces of a small etcd program and no properties to check.