Michael Rabin's fingerprints across the theory of computation | Hacker News Reader