News for hackers. Stuff that matters.

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

Re:14,000x Speedup (2015) by commandlinefan on Tuesday October 13, 2020 @10:02AM (#24765620)
> Maybe replace "your" with "any given"?

I'd be more inclined to replace it with "any non-trivial" in this case.

[ Parent | on HN ]
Re:14,000x Speedup (2015) by nickdrozd on Tuesday October 13, 2020 @11:50AM (#24766726)
That would also be false. There are many non-trivial programs that can proved to halt or proved not to halt.
[ Parent | on HN ]