Hacker News Reader

They could display a flag if the program HAS terminated, but there's no way to determine is a program will terminate.

Nonsense; the W005H compiler flag will handle this in gcc.

GNU solved the halting problem[1]?

Yes. If you have about two grand, you can get someone to give you the codes too: http://www.markwick.eu/getacoder_alant.htm

Use discount code W005HC0M80x2 to get half off your project.