I imagine in that line of work, SW must consist of like 99% sageguards 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...
8 Comments
Droggl@lemmy.sdf.org · 46 pts · 3y
Have to reboot every 136 years, literally unusable.
akash_rawal@lemmy.world · 10 pts · 3y
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 · 7 pts · 3y
I imagine in that line of work, SW must consist of like 99% sageguards 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...
maxbossing@feddit.de · 4 pts · 3y
There is a great video about NASAs space-proof code style guide for c++
germanatlas@lemmy.blahaj.zone · 5 pts · 3y
Literally 1984
bappity@lemmy.world · 10 pts · 3y
um ACKSHULLY the year would be 1884 136 years ago from now
omgitsaheadcrab@sh.itjust.works · 26 pts · 3y
Use u64 and it'll be like 585 billion years, think of the uptime!
chaorace@lemmy.sdf.org · 2 pts · 3y
Time to call a doctor 😳