2 ms·
Accurately identifying whether any change is a semantic difference involves solving the Halting Problem, right?
by twic 2y ago
Accurately identifying whether any change is a semantic difference involves solving the Halting Problem, right?
- Smaug123 2y agoFortunately the article already says that hiding all semantically identical changes is "probably going too far", so they can just not try and solve the halting problem.