Zulip Chat Archive

Stream: general

Topic: Zulip discipline


view this post on Zulip Patrick Massot (Apr 01 2018 at 08:43):

Although I have no time for doing Lean those days, I still try to roughly follow conversations here. I noticed that it becomes harder because we are returning to Gitter-like mess with interleaved conversations in one giant thread (mostly in "Fresh off the boat" for the last few days). I know I've also created some of this mess, but I think it would really help to try to be a tiny bit more disciplined.

view this post on Zulip Kenny Lau (Apr 01 2018 at 08:43):

do we care about having 10000 threads?

view this post on Zulip Patrick Massot (Apr 01 2018 at 08:44):

If each thread has only one message it's back to Gitter-mess

view this post on Zulip Patrick Massot (Apr 01 2018 at 08:44):

But if there are indeed roughly one topic per thread then it's fine

view this post on Zulip Kenny Lau (Apr 01 2018 at 08:44):

so too many threads is no good and too few threads is no good?

view this post on Zulip Patrick Massot (Apr 01 2018 at 08:45):

From the perspective of someone who only wants to quickly read after the battle, the goal is to be able to read topic by topic

view this post on Zulip Sebastian Ullrich (Apr 01 2018 at 08:46):

Can I vote for a new stream "mathlib" (or "math" or "maffs") so that I can mute all those topics at once? :smiley:

view this post on Zulip Kenny Lau (Apr 01 2018 at 08:46):

that could do

view this post on Zulip Patrick Massot (Apr 01 2018 at 08:47):

Not only you can vote, I think you can DO it


Last updated: May 16 2021 at 05:21 UTC