From design patterns to category theory (2017) | Hacker News Reader