4 ms·
Mildly terrifying when we know how software is done at massive corporations like Boeing and Airbus : /
by fataliss 6y ago
Mildly terrifying when we know how software is done at massive corporations like Boeing and Airbus : /
- LifeLiverTransp 6y agoTo be honest, autonomous cars have me more worried.Planes are rare a few dices thrown once a year. Cars are a whole casino, playing each day.
- young_unixer 6y agoYou could have stopped at "done".
- boramalper 6y ago> Boeing and Airbus I wouldn’t even put Airbus in the same sentence with Boeing; they are using formal methods since 2001[0], whereas Boeing has outsourced its software to $9-an-hour engineers[1]. [0]: https://www.di.ens.fr/~delmas/papers/fm09.pdf https://www.di.ens.fr/~delmas/papers/fm09.pdf [1]: https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-737-max-software-outsourced-to-9-an-hour-engineers https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-...