Hacker News new | ask | show | jobs
by brokensegue 451 days ago
Proving that two pieces of code are equivalent sounds very hard (incomputable)