Discuss: Which version is "better" and why? How would you solve this?pic.twitter.com/KLuwMPRsoo
Show this thread
-
don't see an error
There is no error. I've formally verified the three versions for logical equivalence. But the question is if you would spot one if the code would have a bug.
-
-
it takes some extrapolation and familiarity for _en to look obviously correct, _alt needs some knowledge about what happens w/ complement, _ref can just be read but seems like a juicy hazard for someone trying to be clever
-
Can you explain what you mean by _ref being a "juicy hazard for someone trying to be clever"?
- Show replies
New conversation -
-
-
I believe what the human think it does is less relevant. Regressions need to be in place, there is no way around simulation. Making it scalable, or adding concurrent assertions may be valid improvements.
-
Simulation is nice but I prefer to formally verify things whenever I can. The only way to be sure.
- Show 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.