"Unlike math, software can't be objectively, formally verified to be correct. " brb, changing industry
@DrHydeous "Array access always in bounds" "Null pointers never dereferenced" "Will halt" - not industry ready yet, but we *can* do this.
-
-
@edwinbrady none of that stuff matters when you have a spec that is unclear or even contradictory. Which is always. -
@DrHydeous If you think verifying those things is pointless, I never want to use your code. And you're just being dismissive, so I'll stop. - 4 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.