News for hackers. Stuff that matters.

A comment on Ninth Dedekind number found by two independent groups.

Re:Ninth Dedekind number found by two independent groups by icod on Monday November 20, 2023 @09:42PM (#38358316)
What's the practical use?
[ Parent | on HN ]
Re:Ninth Dedekind number found by two independent groups by antiraza on Tuesday November 21, 2023 @01:29AM (#38360109)
I too am curious about this...
[ Parent | on HN ]