Concrete and Abstract Interpretation, Explained Through Chess | Hacker News Reader