The halting problem in AI coding | Hacker News Reader