Topic: Zulip users
Rob Lewis (Oct 11 2019 at 08:50):
Perhaps due to attention from Kevin's talk: we've recently seen record highs for daily active users on Zulip, and shattered the previous high for 15-day actives. https://leanprover.zulipchat.com/stats
Rob Lewis (Oct 27 2019 at 15:54):
Uh, what publicity landed today? The daily active user count is close to double its old record high.
Mario Carneiro (Oct 27 2019 at 16:08):
Both my paper and the IMO grand challenge were on Hacker News yesterday
Mario Carneiro (Oct 27 2019 at 16:09):
not sure but it could be a factor
Rob Lewis (Oct 27 2019 at 16:10):
Maybe. Kevin's slides and video, TPIL, and some other things have all hit the top of Hacker News recently. This spike is way, way bigger.
Mario Carneiro (Oct 27 2019 at 16:11):
that is a bit bizarre
Rob Lewis (Oct 27 2019 at 16:11):
Jesse Michael Han (Oct 27 2019 at 16:17):
kevin's front-page on
/r/math again: https://www.reddit.com/r/math/comments/dnqr5d/can_computers_prove_theorems_and_will_we_soon_all/
Kevin Buzzard (Oct 27 2019 at 17:48):
I'm getting a lot of emails about the natural number game
Kevin Buzzard (Oct 27 2019 at 18:21):
Could it be bots?
Rob Lewis (Oct 27 2019 at 19:11):
I don't know how to tell. There are no obvious bot names.
Gabriel Ebner (Oct 27 2019 at 22:53):
Wow, that's 78 new users since yesterday! Maybe they just signed up to see what's going on? Unless you know about the archives, there is no way to know what's happening here without signing up.
Tim Daly (Oct 27 2019 at 23:29):
Archives? What are these magical things of which you speak?
Alex J. Best (Oct 27 2019 at 23:31):
https://leanprover-community.github.io/archive/ so that google and other search engines can find threads and non-members can see discussions
Last updated: May 14 2021 at 04:22 UTC