curating zulip

Stream: Zulip meta

[Jalex Stark]

"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]

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]

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]

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

[Bryan Gin-ge Chen]

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

[Jalex Stark]

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