Turing Machines and Formal Computation | Hacker News Reader