Hacker News new | ask | show | jobs
by patresi 3656 days ago
It's a joke :)

https://en.wikipedia.org/wiki/Halting_problem

2 comments

Actually, Microsoft Research has another project to prove program termination: http://research.microsoft.com/en-us/projects/t2/

Obviously this cannot work on all programs, but it's nice that they tried to do their best.

Heh, need to relax a little then. Anyway, I've heard this complain too many times from inexperienced "programmers" ("Why my program doesn't quit?"), so the truth is not far fetched..