News for hackers. Stuff that matters.

A comment on Prison. Bankruptcy. Suicide. How a software glitch ruined lives. Parent comment

Re:Prison. Bankruptcy. Suicide. How a software glitch ruined... by anthk on Wednesday January 17, 2024 @08:14AM (#39027180)
How about the safe code in avionics/nuclear sites, ADA/Spark, Misra C? Not magic or as safe-proof as a physical engineering where it's far easier to guess how a system will behave, OFC, but it's a good start.
[ Parent | on HN ]
Re:Prison. Bankruptcy. Suicide. How a software glitch ruined... by graemep on Wednesday January 17, 2024 @09:01AM (#39027754)
Yes, it gets done when necessary which shows we can do it.

It does not get done everywhere because it is not a high enough priority.

[ Parent | on HN ]