@propensive They've totally formally proved all that code right....?
Just seen a Boeing advert boasting "billions of lines of code" saving airlines fuel. Starting to feel tense about my flight back home now...
-
-
-
@seanparsons Apparently they check them one by one...
End of conversation
New conversation -
-
-
@propensive Probably billions of lines of C code, with casts and buffer overrun possibilities, not provably correct by inspection. :) -
@marekinfo I think I'll skip my flight and take a cabin on the first container ship back to England... - Show replies
New conversation -
-
-
@propensive Sounds scary indeed!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@propensive they might be auto generated lines? Still, I trust more in aviation software than web. :) -
@gclaramunt They might have been. I tried searching for the exact advert text, and there were zero results. - Show replies
New conversation -
-
-
@propensive Scariest thing? That code is PHP. -
@JoeZulli Aaarghhhhh!
End of conversation
New conversation -
-
-
@propensive From what I know they use a language with a proof system for their code ... at least they are researching in that area.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.