Hacker News Reader

> In C, I'm pretty confident the loop is defined by the standard to terminate.

Huh? What's that supposed to mean?

That it is Undefined Behavior for a loop with a non-constant conditional and that doesn't cause side effects in its body to not terminate.

For example, you can use this make the compiler "prove" the Collatz Conjecture: