Undecidability of the Spectral Gap (2015) | Hacker News Reader