Zulip Chat Archive

Stream: general

Topic: Zulip discipline


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.

Kenny Lau (Apr 01 2018 at 08:43):

do we care about having 10000 threads?

Patrick Massot (Apr 01 2018 at 08:44):

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

Patrick Massot (Apr 01 2018 at 08:44):

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

Kenny Lau (Apr 01 2018 at 08:44):

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

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

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:

Kenny Lau (Apr 01 2018 at 08:46):

that could do

Patrick Massot (Apr 01 2018 at 08:47):

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


Last updated: Dec 20 2023 at 11:08 UTC