Hacker News new | ask | show | jobs
by IsTom 19 days ago
Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.