Hacker News Reader

Would this apply to software that runs oil refinery plants, or video games or an fighter jet flight stabilization systems?

Surely there is more to software than CRUD apps

View on HN

Of course yes, and it's even easier in some cases. Since there's a language that defines the functionality (e.g: formal methods) that the agent can use/veriy against

Reply on news.ycombinator.com