What we have learned at OpenShell applying formal methods to control AI agents 40 points by alexwatson405 5 days ago 11 comments story
Hacker News