Boeing

[Bazile]

https://amp-theguardian-com.cdn.ampproject.org/v/s/amp.theguardian.com/business/2019/dec/24/boeing-737-max-new-troubling-communications-faa?amp_js_v=a2&amp_gsa=1&usqp=mq331AQCKAE%3D#referrer=https%3A%2F%2Fwww.google.com&;amp_tf=From%20%251%24s&ampshare=https%3A%2F%2Fwww.theguardian.com%2Fbusiness%2F2019%2Fdec%2F24%2Fboeing-737-max-new-troubling-communications-faa

Troubled times for Being .
You won't see me knowingly travel in one of those jets

I see that the CEO has gone
Still , he has got a nice little Remuneration package

[Peter Pedant]

TTT is a soft ware expert and so will know that perfect error checking programs are impossible

( because if that were the case you could solve the Halting problem which you cant (*))

the error that the error-checking program will never detect that says - "there is nothing wrong with me when there is"

but the progz can be efficient ( detect lots of them)

the side that upsets me is the idea that Boeing got into the bed with the regulator as if that is the function of either, and screw the safety aspects

as in - we must get Boeing back in the air as soooooo many americans will lose their jobs

(*) cue screams of Halting prog what dat den
and "foo ! is dat halting or salting?"
cheers of what he on about den and so on

[douglas9401]

You could just explain it to us old chap. Save all that foo-ery. :-)

[ToraToraTora]

the halting problem basically means that no software can ever be perfect, it is why we cannot get a robot to make a cup of tea let alone drive a car.

[Peter Pedant]

// You could just explain it to us old chap.//

er - - that was the explanation

anyway - heeeeere goes ! a program goes plonkety plonk

wouldnt it be nice to have program to tell you i it will plonk plonkety indefinitely or will stop ( and give an answer) ? ( that is - this will loop or that will stop)
yes indeedy
but you can see from above that if you could have an infallible halting program, you could modify it to halt when there was an error ( rather than an answer) and hey get an error detection program for FREE !

and you cant - the error detection program will be not detect the error of the kind - - - "my error is to say I am OK (no error) when I am not ( there is an error) " -
and the two ( error detection and halting) are linked by something called "reduction"

MC error seems much more elementary in that it jammed "on" when it shouldnt - and the pilots were well aware of this whilst they were crashing

yeah remarkable lack of fooze from our very own TTT on this one