"Unlike math, software can't be objectively, formally verified to be correct. " brb, changing industry
-
-
@edwinbrady you're missing my point. Little technical problems like that are insignificant compared to pesky humans writing rubbish specs. -
@DrHydeous I see. But they are different problems. I realise rubbish specs are hard to tackle, but that wasn't the original point. - 2 more replies
New conversation -
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.