3 ms·
Things I never want to hear about flight control systems before I board a plane: “if things compile there's a high chance it's correct”
by fhdsgbbcaA 2y ago
Things I never want to hear about flight control systems before I board a plane: “if things compile there's a high chance it's correct”
- literalAardvark 2y agoVery odd comment, since that's exactly what you do want to hear
- xmprt 2y agoThere's a lot of code that compiles but isn't correct.
- literalAardvark 2y agoBecause we're using languages with flexibility but no correctness, but the vast performance advantage AI programming has over us could be used to manage the formal proofs for a verified toolchain. We're not quite there yet, but while regular programming is quite tough for AI due to how fuzzy it is, formal proofs are something AI is already very good at.
- gloflo 2y agoI'd rather hear: "The compiled code has gone through all tests in the comprehensive, human-expert-written, standardized test suite correctly" Compiling does not differentiate between True and False, so no safety for that escape pod door.
- literalAardvark 2y agoI took that as part of the build process. But I definitely want as much as possible to be automated and formally correct, which is why I wrote what I wrote.
- ziggyzecat 2y agoif-then-high-chance logic is for sex education & prototypes, not for airplanes carrying insured passengers