The Galois Connection Between Syntax and Semantics | Hacker News Reader