Hacker News new | ask | show | jobs
by hanche 974 days ago
Me neither, but it makes sense to me in the case of an error that is relatively easily corrected. If a proof is fatally flawed, however, I would not use that term.