Zulip Chat Archive

Stream: new members

Topic: Local/city threads


view this post on Zulip Orpheus Lummis (Jan 28 2020 at 20:00):

It seems useful to have threads supporting in-person interactions for specific localities or cities. E.g. I'd like to create a thread for Montréal. Where should such threads exist?

view this post on Zulip Orpheus Lummis (Jan 28 2020 at 20:03):

An idea is to have a new stream, perhaps named 'local', under which they would exist

view this post on Zulip Johan Commelin (Jan 28 2020 at 20:05):

I think that in principal you could even create a new stream "Montéal Lean User Group". I think there are such streams for IC London, and for ALU Canberra.

view this post on Zulip Rob Lewis (Jan 28 2020 at 20:06):

Those streams are private, I think, so they serve a different purpose.

view this post on Zulip Rob Lewis (Jan 28 2020 at 20:06):

I'm not sure we have the userbase to justify threads for lots of cities, but on the other hand, there's not much cost to a new stream.

view this post on Zulip Kevin Buzzard (Jan 28 2020 at 21:17):

There is a private Imperial stream, and it's for Imperial students who basically might be too scared to ask their simple questions on the "real" chat; there are also local conversations which go on there such as when Xena starts/stops etc.

view this post on Zulip Bhavik Mehta (Jan 28 2020 at 23:47):

There is a private Imperial stream, and it's for Imperial students who basically might be too scared to ask their simple questions on the "real" chat; there are also local conversations which go on there such as when Xena starts/stops etc.

There's a similar one for Cambridge as well

view this post on Zulip Reid Barton (Jan 29 2020 at 02:23):

As a general rule, streams are the mechanism for people to select what messages they want to see. You can be subscribed or not to each stream, but you can't really be subscribed or not to a topic (there is topic muting which is sort of similar, but doesn't make sense for a case like this). So one stream per city is logical.

view this post on Zulip Mathieu Guay-Paquet (Jan 29 2020 at 04:39):

It seems useful to have threads supporting in-person interactions for specific localities or cities. E.g. I'd like to create a thread for Montréal. Where should such threads exist?

Hey, I'm in Montreal too, and fairly new to Lean! I'd love to have in-person interactions

view this post on Zulip Luis O'Shea (Feb 17 2020 at 18:29):

I’m in NYC and would also love to meet up with Lean enthusiasts

view this post on Zulip Jalex Stark (Feb 28 2020 at 03:44):

I made a stream called "Geographic locality" with the following mechanism in mind:
anyone can visit and see if there is a topic about their city. If so, that topic has pointers to other people in their city / a private stream / a regular meetup. If not, they could make a topic about their city and hope that this eventually leads to someone else poking them

view this post on Zulip Mario Carneiro (Feb 28 2020 at 04:03):

That also sounds like a good place for threads about (the physical logistics of) conferences


Last updated: May 15 2021 at 00:39 UTC