"Unlike math, software can't be objectively, formally verified to be correct. " brb, changing industry
@DrHydeous @d_christiansen Well, yes, obviously. You seemed to be dismissing all verification though due to specs being hard.
-
-
@edwinbrady Imagine I offer to fix yr travel from Edinburgh, then just work on the 5 min walk in St A. The fix you need is with train + bus. -
@tim_hunt Why are you trying to convince me of this? I think the whole point has been lost here. All software is not the same.
End of conversation
New conversation -
-
-
@edwinbrady@DrHydeous As a programmer I spend minimal time worrying about segfaults (& similar). Techniques like unit testing work there.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.