4 ms·
Ninth Dedekind number found by two independent groups
- ColinWright 3y agoDiscussed here: https://news.ycombinator.com/item?id=36491677 https://news.ycombinator.com/item?id=36491677
- JoeyBananas 3y agoLol. The dedekind numbers are one of my favorites