Don’t they use super statically verifiable code for these kinds of applications? Like, Ada?
Sort of. We used C, but no dynamic memory allocation.
Oh that’s neat. That makes me feel a lot better. I mean I get that the systems were probably embedded and that everything was defined, but it’s relieving to hear that a segmentation fault or dangling pointer would generally be avoided.
Ada is a language that leaves a lot of things “implementation dependent” as it’s not supposed to grant easy access to underlying data types like those you’ll find in C, or literally on the silicon. You’re supposed to be able to declare your own integer type of any size and the compiler is supposed to figure it out. If it chooses to use a native data type, then so be it.
This doesn’t guarantee the correctness of the compiler nor the programmer who absolutely has to work with native types because it’s an embedded system though.
This has ended in disaster at least once: https://itsfoss.com/a-floating-point-error-that-caused-a-damage-worth-half-a-billion/
this makes me think of the dilbert where the lazy guy talks about reusing code from payroll on this project for airline software and warns his workmates to not fly on payday.
Saaamee
“I wouldn’t want to belong to a club that would have me as a member”
Posted 10h ahead of you, with the exact same replies.
You can do a quick search before you do this.
It was early for me and I didn’t see it after a quick check. Sorry if I ruined the thread for someone or something.
Groucho Marx
Indeed.
I’d say ‘Imposter Syndrome’ + ‘Past Job Position Trauma’. There should be good review process and good pipeline with automatic testing and static code analysis, it shouldn’t be a responsibility of a single person.
If anyone is s curious, I work in that industry, and that is why it is so regulated. A lot of things have to go wrong for any single person’s mistake to matter. We test the heck out of aircraft. Some of these tests are absurd, but they’re meant to prove that the code still works even if the plane flies through the twilight zone.
I also work in the industry and yet you’ve got a company that didn’t follow the rules of redundancy, locked a normally required safety critical architecture and software of using redundant sensor behind paid DLC and caused two fatal crashes.
Reminds me of a joke:
The faculty of the engineering department at a university are gifted a free vacation retreat. Once everyone is in their seats on the plane, the captain announces that the very plane they’re sitting in was designed and built by their own students.
Chaos breaks out as the passengers scramble for the exits, until only one professor remains, calmly and confidently poised in his seat.
Naturally, he is asked why he didn’t panic like his colleagues. With a knowing smile he replies “I know the abilities of my students, I’ve seen what they’re capable of accomplishing when they apply themselves. I can assure you this piece of shit will never start.”
These things should never come down to the individual skill of the programmer. There should be systems and checks in place to assure the quality. And if the quality isn’t reached, the programmer needs enough time and support to reach them.
But we all know, being thorough doesn’t pay.
It’s too bad that, at least for me, your comment doesn’t come immediately after this one.
I refuse to enter any club that would accept me as a member.
This was exactly what came to mind when I read the post.
-Groucho Marx
Thanks for doing what I was too lazy to do.
Broken image link for me 😕
I was able to pull out what used to be there:
Thank you!
That is why I travel by train. At least a train can’t fall out of the sky.
Not with that attitude.
More of an altitude issue tbh
Hundreds of tons of steel detailing doesn’t feel good. Also don’t look at the rate of train derailments.
Derailments arent just flying off the rails and destroying a town, it could just be a misalignment
r/bitchIAmATrain and r/bitchIAmABus wanna argue (please link equivalent community)
That’s why we invented bridges and viaducts, we didn’t want the trains to feel left out
Um ackshually that’s a metro, not a train 🤓
It’s one whale statue away from becoming a boat
Unless he’s in India or Poland they’re not hiring him anyway.
Don’t worry OP, they let me be an air traffic controller and my best mate an airline pilot.
Bad software or not, you’re fucked anyway.
How refreshingly honest, id like a ticket on @Skunk@jlai.lu airlines please
Don’t fly in a plane until aftr you’ve applied and been rejected then, surely.
