Hacker News new | ask | show | jobs
by dw-im-here 1763 days ago
Correct, if you don't ensure the necessary preconditions are met you quickly run into undecidable problems.