Discussion (6 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.

maxrev17•9 minutes ago

You could have written a better comment about him writing a better comment

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

⚡ Community Insights

Discussion (6 Comments)Read Original on HackerNews