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

Isn't there value in a weak halt-checker? Imagine a function that always returns one of:

Yes, it halts No, it loops forever Can't decide.

Wouldn't that still be useful in practice?



Yes, it could be useful.

Especially if "can't decide" means "can't decide using the resources limit you provided" so that the test returns consistent results. (As apposed to different results depending on the differing resources between machines the test ran on.)


Yes, but the usefulness of such a tool depends on what exactly you want to achieve.




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

Search: