Stream: zulip

Topic: proposal: topic streams


view this post on Zulip nikomatsakis (Apr 13 2021 at 14:41):

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.

view this post on Zulip nikomatsakis (Apr 13 2021 at 14:41):

Example: I would rename #wg-formal-methods to topic/formal-methods

view this post on Zulip nikomatsakis (Apr 13 2021 at 14:42):

I would probably approach some of the other "working groups" to see if they might like to be a "topic" instead.

view this post on Zulip nikomatsakis (Apr 13 2021 at 14:42):

(Example: #wg-database)

view this post on Zulip nikomatsakis (Apr 13 2021 at 14:42):

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.

view this post on Zulip simulacrum (Apr 13 2021 at 14:54):

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).

view this post on Zulip nikomatsakis (Apr 13 2021 at 16:20):

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.

Reasons given:

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.

view this post on Zulip nikomatsakis (Apr 13 2021 at 16:20):

I don't think it really makes sense to advertise #wg-formal-methods as a "working group"

view this post on Zulip Santiago Pastorino (Apr 13 2021 at 17:49):

so t-compiler/wg-mir-opt will become topic/mir-opt?

view this post on Zulip Santiago Pastorino (Apr 13 2021 at 17:50):

and I guess t-lang/wg-unsafe-code-guidelines would now be topic/unsafe-cofe-guidelines?

view this post on Zulip Santiago Pastorino (Apr 13 2021 at 17:50):

if so, we would be losing the team organization we had

view this post on Zulip Santiago Pastorino (Apr 13 2021 at 17:51):

another question is ... what would end being under teams? like what's inside t-compiler then?

view this post on Zulip simulacrum (Apr 13 2021 at 18:01):

No, both of those are not topics, they're working/project groups under those teams (i.e. official). Or that's my understanding.

view this post on Zulip nikomatsakis (Apr 13 2021 at 19:11):

right

view this post on Zulip nikomatsakis (Apr 13 2021 at 19:11):

I'd reserve topic for things that are not associated with teams in particular

view this post on Zulip oliver (Apr 13 2021 at 19:14):

point-of-view is pov as in the point-of-view of the project or working group


Last updated: Oct 11 2021 at 22:34 UTC