Hacker News new | ask | show | jobs
by uecker 432 days ago
It is easy to create code where this can be verified. It is difficult to verify for arbitrary code.