Zulip Chat Archive

Stream: Zulip meta

Topic: curating zulip


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

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

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

view this post on Zulip Jalex Stark (Aug 26 2020 at 04:35):

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

view this post on Zulip Bryan Gin-ge Chen (Aug 26 2020 at 04:36):

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

view this post on Zulip 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: May 08 2021 at 22:13 UTC