Zulip Chat Archive

Stream: Geographic locality

Topic: Los Angeles, USA


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

I know at least one person who has been active on this server and lives in the LA area. (If someone else comments on this thread claiming to be near LA, I'll try to connect the two of you.)

view this post on Zulip Howard B. Golden (Apr 12 2020 at 15:11):

I'm in LA, though I'm at the "just curious" level on Lean.

view this post on Zulip Aaron Anderson (Jul 24 2020 at 05:04):

I'm a grad student at UCLA, and probably will be for several more years, so I'd be happy to meet up in pandemic-free future-LA

view this post on Zulip Alex Nelson (Mar 31 2021 at 16:43):

I'm near Los Angeles (Pasadena, to be more precise). I'm just getting my feet wet with Lean, though

view this post on Zulip Kevin Buzzard (Mar 31 2021 at 16:51):

I lived there in 1992 and I remember getting my feet wet too, in the floods.

view this post on Zulip Adam Topaz (Mar 31 2021 at 18:03):

It rains in LA?

view this post on Zulip Adam Topaz (Mar 31 2021 at 18:03):

I lived in California for 3 years and I think it rained once.

view this post on Zulip Kevin Buzzard (Mar 31 2021 at 18:09):

I agree, I lived in Berkeley CA for two years and it also rained once. There were heavy downpours in LA in early 1992, nothing like I hadn't seen in the UK, just what I would call "normal British weather" for about three days but the system there was totally unprepared for it, they were rescuing people with helicopters from cars stranded in roads which had become rivers.

view this post on Zulip Aaron Anderson (Mar 31 2021 at 20:57):

Yes, we treat drainage as optional and have to wade through concrete rivers every winter. Reminds me of a certain island whose trains always seem to shut down in shock at the winter's first snow...

view this post on Zulip Benjamin Davidson (Apr 01 2021 at 00:21):

Seems like you guys never listened to Albert Hammond...

view this post on Zulip Brandon Bocanegra (Apr 01 2021 at 03:52):

I've lived in socal for all my life and, believe it or not, it used to rain a long time ago. Not so much since we've been in a continuous drought since 2009 or so.


Last updated: May 09 2021 at 22:13 UTC