Zulip Chat Archive

Stream: general

Topic: Zulip users


view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Mario Carneiro (Oct 27 2019 at 16:08):

Both my paper and the IMO grand challenge were on Hacker News yesterday

view this post on Zulip Mario Carneiro (Oct 27 2019 at 16:09):

not sure but it could be a factor

view this post on Zulip 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.

view this post on Zulip Mario Carneiro (Oct 27 2019 at 16:11):

that is a bit bizarre

view this post on Zulip Rob Lewis (Oct 27 2019 at 16:11):

Capture.PNG

view this post on Zulip 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/

view this post on Zulip Kevin Buzzard (Oct 27 2019 at 17:48):

I'm getting a lot of emails about the natural number game

view this post on Zulip Kevin Buzzard (Oct 27 2019 at 18:21):

Could it be bots?

view this post on Zulip Rob Lewis (Oct 27 2019 at 19:11):

I don't know how to tell. There are no obvious bot names.

view this post on Zulip 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.

view this post on Zulip Tim Daly (Oct 27 2019 at 23:29):

Archives? What are these magical things of which you speak?

view this post on Zulip 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