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

aalexwatson405 about 3 hours ago 5 commentsRead Article on nvidia.github.io

DE version is available. Content is displayed in original English for accuracy.

⚡ Community Insights

Discussion Sentiment

67% Positive

Analyzed from 91 words in the discussion.

Discussion (5 Comments)Read Original on HackerNews

xnx•35 minutes ago

For a moment I thought agentic AI had really spread to every project, but this is not related to the open-source Windows Start menu replacement: https://github.com/Open-Shell/Open-Shell-Menu

agentdev001•about 1 hour ago

Absolutely love openshell as a solution, I really hope Kube support moves out of experimental some time in the near future. Cool solution here- to a problem that I imagine is probably impossible to get 100%

Looking forward to 0.1.0 release :)

we1287•about 1 hour ago

Claude assisted slop garbage without any clear direction or meaning. This is what $trillion companies produce.

nh23423fefe•about 1 hour ago

Instead of being confused, you could've done some research and wrote a better comment.

taormina•about 1 hour ago

I didn’t observe any confusion. You could’ve written a better comment.