"Unlike math, software can't be objectively, formally verified to be correct. " brb, changing industry
-
-
Replying to @old_sound
@old_sound@edwinbrady ‘strue. Even if you can verify the software (which is usually impractical) the spec it was written to can’t be.1 reply 0 retweets 0 likes -
Replying to @DrHydeous
@DrHydeous@old_sound It's more complicated than that though. Some bits of spec, like "never access an invalid resource" are pretty clear.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@old_sound in real world software that's not clear, because what's invalid for whom when is Complicated.2 replies 0 retweets 0 likes
Replying to @DrHydeous
@DrHydeous @old_sound I think you've made a lot of assumptions. It's a huge topic. I'm staying open minded. We're making good progress.
3:43 AM - 18 Dec 2013
0 replies
0 retweets
0 likes
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.