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

 (nvidia.github.io)

15 points | by alexwatson405 2 hours ago

3 comments

  • xnx 29 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 50 minutes 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 1 hour ago
    Claude assisted slop garbage without any clear direction or meaning. This is what $trillion companies produce.
    [-]
    • nh23423fefe 1 hour ago
      Instead of being confused, you could've done some research and wrote a better comment.
      [-]
      • taormina 54 minutes ago
        I didn’t observe any confusion. You could’ve written a better comment.
        [-]
        • maxrev17 3 minutes ago
          You could have written a better comment about him writing a better comment