• akash_rawal@lemmy.world
      link
      fedilink
      arrow-up
      8
      ·
      1 year ago

      Gosh, if I ever get into the business of writing software for spacecraft with long duration missions, I have to test for such cases.

      • Droggl@lemmy.sdf.org
        link
        fedilink
        arrow-up
        6
        ·
        edit-2
        1 year ago

        I imagine in that line of work, SW must consist of like 99% safeguards and checks of various kinds. Like rather double-check the thing the compiler already proved at runtime than discovering a rare compiler bug in 10 years during a complex oribital descent maneuver…