• Solumbran@lemmy.world
    22·
    2 days ago

    Software? Reliable? What?

    Why do you think places that need reliability are stuck of systems made decades and decades ago? They know that software is shit and unreliable and that you should never touch it if you have something that works.

    • HaraldvonBlauzahn@feddit.orgOP
      1·
      2 days ago

      Of course, you can make reliable software. What Hoare describes, has become best practices in critical applications like space and aircraft systems. And Rust is making inroads there, too.