Zulip Chat Archive

Stream: Zulip meta

Topic: curating zulip

Jalex Stark (Aug 26 2020 at 04:26):

"if only" the written content on zulip were organized correctly, it would be an extremely rich textbook on learning to interact with Lean and mathlib, and it would have a decent chapter on strategic considerations of how to achieve explosive growth in a field of math research.

Jalex Stark (Aug 26 2020 at 04:27):

One tool which would help one go down this path would be to sort posts by number of emoji reactions. Maybe the emoji reactions are already recorded in the archive we write down, in which case one could do this without interacting with the zulip software. I guess the archive is linked somewhere from #community

Bryan Gin-ge Chen (Aug 26 2020 at 04:34):

I don't think the emoji are currently recorded in the archive (which is here, btw). The scripts that generate the Zulip archive were originally written by Rob, but are now hosted in the Zulip org here.

Jalex Stark (Aug 26 2020 at 04:35):

Oof, the archives break with ` characters in the header of a topic

Bryan Gin-ge Chen (Aug 26 2020 at 04:36):

Yep, there are a bunch of outstanding bugs like that...

Jalex Stark (Aug 26 2020 at 04:41):

Okay, I guess I'll have to learn some stuff about the Zulip API to work on this.

Last updated: Dec 20 2023 at 11:08 UTC