Hi everyone. I'm about to create a Zulip for types-list, as an experiment. I have never created/moderated a large-ish Zulip chat before, do you have advice? (cc @Théo Zimmermann, a person who has advice)
In particular:
Thanks!
Moderating this Zulip is not a burden: we get zero spam (so much less to review than in Discourse, despite there being more activity). Though, it's kind of disappointing that there is no moderator role, only an administrator role (so we are only two, with @Cyril Cohen to do this).
So our actual admin activities have more to do with renaming streams and changing descriptions (but anyone is allowed to create a stream).
And also with moving topics across streams.
About streams, it's important not to create too many because putting a discussion in a stream with fewer subscribers is going to make it less visible and less answered.
And topics for organizing (and even muting) discussions work just fine.
Streams for communities (and specific events) seem like a good fit.
We didn't create them all from the start. We created a bunch and left it to project maintainers to add a stream for their project.
As an admin, I'm alerted when I mention a user who is not subscribed to the current stream and I can subscribe them. However, I don't think that's the case for normal users (not sure though).
We didn't invest the effort (which may be relatively little) to create a Zulip Archive but we definitely wanted to do this.
(I should point out that the idea of creating a Zulip for types was suggested to me by @Philipp G. Haselwarter, who then promptly disappeared in the woods to avoid having to work on it. Thanks Philipp!)
We kicked off this Zulip channel by porting former (separate) gitter channels (https://gitter.im/coq/coq and the like) to streams on this server, as well as the users. That's basically how we inherited the current streams.
@Théo Zimmermann regularly redirects peoples from there to here.
Yes, my understanding is that you found Zulip better than gitter.
(We don't have a Discuss forum for types, so it was clear to me that a more-structured chat like Zulip would be a better choice anyway.)
After almost 1 year on zulip, I think we can claim it improved the quality of the discussion and followup
My main issue with these chat platforms is that I spend way too much time in the emoji-picker, looking for the perfect choice :snail:
Gabriel Scherer said:
My main issue with these chat platforms is that I spend way too much time in the emoji-picker, looking for the perfect choice :snail:
That's too bad, I have a personal strategy for that: I usually stick to cat emojis... :cat: I just type "cat" and I have a limited choice to pick from
I got as far as creating types.zulipchat.com
, and then decided I'd come back to it when I have a free moment
Did you notice this: https://zulip.com/for/open-source/
An interesting resource would be actually compiling a list of all the chat channels, it is getting a bit "crazy" with discord, discuss, zulip, gitter, IRC, etc...
slacks
OCaml has at least a discord, a discuss, a mailing list,
I feel like writing all the sites down would be a first steps towards maybe consolidation
Last updated: Jun 10 2023 at 06:31 UTC