Get the latest tech news

What we have learned at OpenShell applying formal methods to control AI agents

An intro to using formal methods to reason about permission changes in long-running AI agents.

None

Related news:

Transitions.dev: UI transitions for AI agents

Google built a security cage for AI agents on Android, but it's still empty

Why are AI agents lying, cheating and coordinating?