News for hackers. Stuff that matters.
Re:How programmers make sure that their software is correct by jeffreygoesto on Thursday January 06, 2022 @08:50AM (#29823490)
Tell that to NASA or your local nuclear powerstation provider.
Re:How programmers make sure that their software is correct by toast0 on Thursday January 06, 2022 @11:12AM (#29825385)
There's always a tradeoff between the cost of finding a defect before shipping and the cost of finding it after shipping.

NASA and nuclear power stations have a rather high cost to remediate some software defects, so it makes sense to work much harder to find them earlier. Same thing with anything life safety critical. You can't patch a bug and uncrash your space probe, or unmeltdown your powerplant, or unkill your patient. But a lot of other stuff is ok; yeah, it's not great if music players don't work on Jan 1 of years after a leap year, but you'll have four years for the product to decline into irrelevancy before that happens again (or to get patches out, if Zune had market fit)

Re:How programmers make sure that their software is correct by codingdave on Thursday January 06, 2022 @09:49AM (#29824157)
It still holds true - their standards to reach the level of "happy" will clearly be more stringent than others. So will hospitals or any customer whose work can make a life or death difference. But they still care about the result of the product, and they set the standard you need to hit.
Re:How programmers make sure that their software is correct by jeffreygoesto on Thursday January 06, 2022 @02:17PM (#29828479)
You are right. Thank you for being kind and constructive even though I was snarky and did not fully get that you in fact did not exclude these cases.
Re:How programmers make sure that their software is correct by buscoquadnary on Thursday January 06, 2022 @09:37AM (#29824002)
It's funny you say that because the next thing I pictured was Homer Simpson and realized that thousands of brilliant engineers from all walks of life may eventually have all their effort wasted because someone left their station for donut day.
Re:How programmers make sure that their software is correct by mhh__ on Thursday January 06, 2022 @09:48AM (#29824152)
Good engineering means building systems that can survive Homer Simpson.
Re:How programmers make sure that their software is correct by IshKebab on Thursday January 06, 2022 @02:30PM (#29828665)
Do you really think NASA software is bug free?
Re:How programmers make sure that their software is correct by Supermancho on Thursday January 06, 2022 @03:06PM (#29829229)
That was not implied. The issue was bug tolerance being measured by cutomer happiness, which is an ephemeral metric and silly concept in many industries.
Re:How programmers make sure that their software is correct by IshKebab on Friday January 07, 2022 @03:58AM (#29836765)
NASA's bug tolerance is clearly measured by customer happiness too. Their customers are very unhappy if rockets blow up all the time (especially with people on board), therefore they have a very low bug tolerance.
Re:How programmers make sure that their software is correct by Supermancho on Saturday January 08, 2022 @05:52PM (#29857399)
The idea that NASAs goals and limitations is equated with happiness is ridiculously reductive.

> Do you really think NASA software is bug free?

Ignoring the fact you are arguing in bad faith is not compelling

GL with whatever.