somebody posted a proof of a lower-bound solution for a decades-old combinatorics problem on a 4chan anime board
(the anime famously aired out of order, so it's kind of relevant)
The Wandering Shop is a Mastodon instance initially geared for the science fiction and fantasy community but open to anyone. We want our 'local' timeline to have the feel of a coffee shop at a good convention: tables full of friendly conversation on a wide variety of topics. We welcome everyone who wants to participate, so long as you're willing to abide by our code of conduct.