Zulip Chat Archive

Stream: Lean for teaching

Topic: use of Zulip

Patrick Kinnear (Jan 16 2023 at 13:49):


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 (Jan 16 2023 at 14:07):

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 (Jan 16 2023 at 14:09):

I think anyone can create a private stream.

Patrick Massot (Jan 16 2023 at 14:10):

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

Patrick Massot (Jan 16 2023 at 14:10):

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

Patrick Massot (Jan 16 2023 at 14:11):

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

Matthew Ballard (Jan 16 2023 at 14:16):

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

Siddhartha Gadgil (Jan 16 2023 at 14:19):

I personally just set up another Zulip server.

Patrick Kinnear (Jan 16 2023 at 15:09):

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

Last updated: Dec 20 2023 at 11:08 UTC