Mathematicians have found the ninth Dedekind number | Hacker News Reader