Gödel, Escher, Bach: an in-depth explainer | Hacker News