Live data from Hacker News

Max Crashes Strengthen Resolve of Boeing to Automate Flight

wsj.com

1–10 of 50 posts

Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight

#6
My initial thought was it’s crazy to reach for more automation in the wake of automation-involved fatalities, but if I step back and think about it, they’re not wrong. There’s no way that piloting aircraft is going to become a more manual process. More automation is a given in the future. And since so much of the dangers of automation seem to be in the gray zone where it’s an opaque mix between human and computer, it makes sense to cut humans out of the loop as soon as possible.

Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight

#7
post #3

For the life of me, I have absolutely no idea how you can look at what has happened with the Max and believe that more entrenched automation is the answer.

Yeah, my thought was "Do the Boeing execs actually know why the -MAX crashes happened?"

Holy crap the very first paragraph is opposite-of-reality.txt

> Boeing Co. is increasingly committed to transferring more control of aircraft from pilots to computers after two crashes exposed flaws in an automated system on its 737 MAX that overpowered aviators in the disasters.

The whole problem was the computer overriding the best efforts of the pilots until the planes nosed into the ground.

Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight

#10
There are tons of math majors produced every year. Would be a viable business model to offer factory-style program-correctness-proving-as-a-service. Current proof services are mostly niche static analysis for stuff like Ethereum contracts and occasionally a wannabe legal-tech company. I think aerospace could use more proofs. You can't use Ada for everything, eventually you will have to code in C/C++.
Post reply on HN