Mathematicians settle 30-year-old resonance controversy with interval arithmetic | Hacker News Reader