I propose that we introduce "topic" streams and rename a number of the "wg" streams to use them. The Zulip admins (we need a user group!) would create topic streams upon request.
Example: I would rename #wg-formal-methods to
I would probably approach some of the other "working groups" to see if they might like to be a "topic" instead.
Motivation: it's nice to have a place for people to chat about specific topics and applications of rust without the implication of some active, blessed piece of Rust organization.
Can you elaborate on the motivation for that to happen here (vs., e.g., even in their own Zulip - free? - instance)
I agree that such place(s) are good, but I am not sure about putting those channels here - even just on-demand - as there is a certain amount of pressure it places (at least moderation, though we've had very few problems on Zulip so far).
I've gone back and forth on this. For example, for the rust verification workshop, I created a rust-verify.zulipchat.com Zulip instance. But a number of folks in there were saying they'd prefer to have (ongoing) discussions taking place here, in #wg-formal-methods.
This all makes sense to me and is persuasive.
On the other side, the primary concern I have had has been, yes, moderation, having things appear blessed, and the general annoyance of having to decide what streams to create. I think that a choice like "topic" addresses the second and third concern for me.
Moderation hasn't been much of an issue and I'm not convinced it will get much worse as a result of this, but I do think we should invest a bit more energy into establishing a better Zulip moderation team. That seems separate though.
I don't think it really makes sense to advertise #wg-formal-methods as a "working group"
t-compiler/wg-mir-opt will become
and I guess
t-lang/wg-unsafe-code-guidelines would now be
if so, we would be losing the team organization we had
another question is ... what would end being under teams? like what's inside
No, both of those are not topics, they're working/project groups under those teams (i.e. official). Or that's my understanding.
I'd reserve topic for things that are not associated with teams in particular
pov as in the point-of-view of the project or working group
Last updated: Oct 11 2021 at 22:34 UTC