Monoidal computer I: Basic computability by string diagrams (2012) | Hacker News Reader