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. menaerus · 1790925902 · focus · HN ↗

         Do you make your professional career by building formally verified systems? I ask because I don't think that the reason comes down to "because most devs don't want to do formal verified system development". It's much more complicated of course.

         1. stackskipton · 1790933821 · focus · HN ↗

            I could believe it. Verified system development most likely comes with metric ton of paperwork.

            Want to merge the PR? I need verified sign off in ServiceNow by staff level engineer. They are on vacation for 2 weeks? Did manager fill out delegation paperwork in ServiceNow with VP sign off? Oh they did but they forgot to put in return date AND time. Form needs to be corrected and reapproved before we can go into ServiceNow and make changes.

Unofficial Hacker News client; not affiliated with Y Combinator.