Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Pitest has solved the halting problem?


In the real world, you can't wait five minutes for the server to return a response. If the server returns the correct response after ten minutes, it's still wrong, unless the programmer has explicitly acknowledged that the procedure in question is a long-running procedure and has lengthened (but not eliminated) the time-out accordingly.

The halting problem is an irrelevant, Ivory-tower distraction in production code.


Timeouts are not a perfect solution to the halting problem, but usually good enough.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: