#Proof Carrying Code

Erik Meijer: Making AI Provably Safe with Type Systems

Leibniz Labs' Erik Meijer explains how type systems and compiler knowledge can make AI agents provably safe, addressing the risks of tool use and infinite loops.