Ask HN: Nice Enrichments of Turing Machines? | Hacker News Reader