alt Hacker NewsSoon enough, it'll be 'Could we not entrust our safety critical systems to those emotional error prone humans? Pretty Please?'
Replies
bayindirh • yesterday at 7:31 PM
As far as I know, critical systems like reactor control software is mathematically proven first and verified after implementation. I don’t think you can go beyond that.
I feel that we have to mention Stanislav Petrov now.
https://en.wikipedia.org/wiki/Stanislav_Petrov