An Algebraic Theory of Architectures | Hacker News Reader