On: Advanced coding in low-resource programming languages

[waldrews]

Soon enough, it'll be 'Could we not entrust our safety critical systems to those emotional error prone humans? Pretty Please?'

[sdeframond → waldrews]

I feel that we have to mention Stanislav Petrov now.

https://en.wikipedia.org/wiki/Stanislav_Petrov

[bayindirh → waldrews]

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.