‹ BackHN Continuity

Thread

Several vulnerabilities have been discovered in the Linux kernel

576 points · 408 comments · luispa

  1. intrepidsoldier · · focus · HN ↗
    Just the beginning. AI is going to expose how fragile the entire computing infrastructure in our world is.
    1. jaypatelani · · 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. abathologist · · focus · HN ↗
        <a href="https:&#x2F;&#x2F;sel4.systems&#x2F;" rel="nofollow">https:&#x2F;&#x2F;sel4.systems&#x2F; is relevant in this space!
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.