Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Small correction: $M(8)$ is known, see OEIS sequence A000372 and Wiedemann, D.: A computation of the eighth Dedekind number (Order, March 1991, Vol. 8, Issue 1, pp 5-6).
