News for hackers. Stuff that matters.

A comment on 14,000x Speedup (2015). Parent comment

Re:14,000x Speedup (2015) by m12k on Tuesday October 13, 2020 @08:58AM (#24765134)
Correct, not all programs suffer from the Halting Problem.
[ Parent | on HN ]
Re:14,000x Speedup (2015) by arc0 on Tuesday October 13, 2020 @10:04AM (#24765635)
I think that's kind of a malformed sentence. Programs themselves do not suffer or not suffer from the halting problem, it is only a problem when considering the space of all programs.
[ Parent | on HN ]
Re:14,000x Speedup (2015) by domnomnom on Tuesday October 13, 2020 @11:38AM (#24766611)
It's not malformed, it's just incorrect. Additionally, the halting problem is about provability. That sort of imprecision of language needs qualifiers at least.
[ Parent | on HN ]
Re:14,000x Speedup (2015) by andi999 on Tuesday October 13, 2020 @11:04AM (#24766253)
I also think some programs can suffer from the halting problem. I mentioned above properties of the decimal reprensentation of pi (like is 123456 in pi)
[ Parent | on HN ]