[consilient]

> Has anyone ever written a piece of code that's really so difficult for a human to read and figure out whether it halts?

Any interpreter for a Turing-complete language is an example.

[wizofaus]

I guess I wasn't assuming you needed to determine if it would halt for any possible (but finite) input. But fair enough.