Montreal learning group

Stream: Zulip meta

[Mathieu Guay-Paquet]

This is probably a better channel to ask about creating a channel for our group of mathematicians learning Lean together this semester:

Mathieu Guay-Paquet said:

Ah! In that case, could one of the admins create a channel (something like "Lean at Lacim 2026") for us, please? I don't have enough permissions myself

[Shreyas Srinivas]

You should post this #Geographic locality in an existing topic for Montreal or create a new one if none exists

[Mathieu Guay-Paquet]

I don't think that's what we want, because it easily gets lost in the noise of the other topics, and doesn't let us subdivide into topics. I was thinking more like all the existing channels under "Conferences and Meetings", because we have a mostly fixed set of people who signed up for a weekly time slot this semester, and will take turns presenting the material from a set of course notes. Is that not the kind of thing "Conferences and Meetings" is for?

[Julian Berman]

In the past the community Zulip maintainers have offered such a thing (creation of a Zulip channel) if one of your members (you?) offers to be the Code of Conduct point of contact. I'll refrain from pinging them just because Lean Together is going on at the moment and many probably are watching the talk but if you volunteer to be the person to do so and stick around a bit longer you should eventually get an answer.

[Mathieu Guay-Paquet]

Great, thanks for the info! Yes, I don't mind being the Code of Conduct point of contact. I didn't know Lean Together was happening right now; certainly we don't need the channel before the weekend. It would be nice to have it for our next meeting ( 2026-01-27T14:00:00-05:00 ), but the following week would be fine too.

[Johan Commelin]

@Mathieu Guay-Paquet I will create a channel for you. Details in a DM.