Post

Martin Odersky on safer agents: don't make the agent codemode directly. Compile it and enforce it with a capability library, then run it. The type checker decides what the agent is allowed to do. I imagine all agents will implement this sooner o later