Theory of computability – by Shay Simonson | Hacker News Reader