logoalt Hacker News

copperxyesterday at 12:50 AM2 repliesview on HN

In the case of rewrites, the specification is the original behavior, no? bugs and all.


Replies

IsTomyesterday at 7:41 AM

Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.

hopppyesterday at 12:58 AM

There is often no spec, just the old code, copied with the old bugs and with new ones sprinkled on top.