On: Airbus' self-flying plane just completed taxi, tak...

[fataliss]

Mildly terrifying when we know how software is done at massive corporations like Boeing and Airbus : /

[boramalper → fataliss]

> 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

[1]: https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-...

[young_unixer → fataliss]

You could have stopped at "done".