use of Zulip

Stream: Lean for teaching

[Patrick Kinnear]

Hi,

I am involved in a pilot Lean course which I mentioned recently in this stream. I would like to set up some form of communication for participants to have discussions. There are a few options available, but I thought Zulip could be a good way to do this, as it would automatically draw our (small) cohort into the main forum for the Lean community.

I saw @Scott Morrison has done this before, using a private stream. Did this work well, and if so, is it possible for me to set up a private stream here? I also saw @Kevin Buzzard mention use of a channel in the Xena discord: did this work well and do you think this would be a good place for people to hang out and chat about the course?

Sorry for these very newbie questions, I'm not totally sure of the etiquette here. I would like to try and bring the participants in to the Lean community during the course and see where discussions happen (they are grad students, postdocs and faculty, so optimistically some of them will stick around longer term).

[Kevin Buzzard]

I was thinking of setting up a private stream for my current course but when I tried to do it I couldn't figure out how to (which was strange because I've done it before). Maybe something changed at some point?

[Patrick Massot]

I think anyone can create a private stream.

[Patrick Massot]

On the website, there is a cogwheel icon in the upper-right corner with a menu containing "Manage streams"

[Patrick Massot]

This open a dialog whose right-hand side has a button "Create stream"

[Patrick Massot]

But I have moderations rights here, so maybe I see more buttons than the average user.

[Matthew Ballard]

Current settings for public and private streams are “admins and moderators”

[Siddhartha Gadgil]

I personally just set up another Zulip server.

[Patrick Kinnear]

Ah yes, I imagine it's something moderators can do but not normal users (I can't see the create stream option under manage streams).