Thread

1. intrepidsoldier · 1790914300 · focus · HN ↗

   Just the beginning. AI is going to expose how fragile the entire computing infrastructure in our world is.

   1. jaypatelani · 1790916250 · focus · HN ↗

      Because most devs don't want to do formal verified system development. I know only one OS working on that which is open source Ironclad OS hope many others follow this path. It is Ada/SPARK based but others should do with whatever language they are using. NetBSD also heard going to do something similar with C in last AGM

      1. csrse · 1790917996 · focus · HN ↗

         There is also LionsOS <a href="https:&#x2F;&#x2F;lionsos.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;lionsos.org&#x2F; (SeL4-based).

Unofficial Hacker News client; not affiliated with Y Combinator.