This thread on Hacker News terrifies me

[Walter Bright]

On 8/31/2018 2:21 PM, tide wrote:
> On Friday, 31 August 2018 at 19:50:20 UTC, Walter Bright wrote:
>> "Stopping all executing may not be the correct 'safe state' for an airplane 
>> though!"
> Depends on the aircraft and how it is implemented. If you have a plane that is 
> fly by wire, and you stop all executing then even the pilot no longer has 
> control of the plane anymore, which would be very bad.

I can't even read the rest of posting after this.

Please read the following articles, then come back.

Assertions in Production Code
https://www.digitalmars.com/articles/b14.html

Safe Systems from Unreliable Parts
https://www.digitalmars.com/articles/b39.html

Designing Safe Software Systems Part 2
https://www.digitalmars.com/articles/b40.html