Turing Machines and Formal Computation | Dark Hacker News