"Unlike math, software can't be objectively, formally verified to be correct. " brb, changing industry
@DrHydeous @old_sound It's more complicated than that though. Some bits of spec, like "never access an invalid resource" are pretty clear.
-
-
@edwinbrady@old_sound in real world software that's not clear, because what's invalid for whom when is Complicated. -
@DrHydeous "Array access always in bounds" "Null pointers never dereferenced" "Will halt" - not industry ready yet, but we *can* do this. - 6 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.