What we have learned at OpenShell applying formal methods to control AI agents from Hacker News on 2026-09-15 14:40 (#78DFS) Comments
