11 ms·

There's a real practical difference between the operational semantics of the machine and the layers of abstraction a programmer understands and uses. Sometimes

There's a real practical difference between the operational semantics of the machine and the layers of abstraction a programmer understands and uses. Sometimes the only way to verify all models are confluent is with a debugger.

emsy 10y ago
Yeah I know, which I aknowledged. My problem is with people who write 50 lines of code and then open up the debugger to see what it does (As in "rely on the debugger")
- fao_ 10y ago
  That... depends on what level you're working at. And how obfuscated those lines are, etc. ad nauseum