Los Angeles, USA

Stream: Geographic locality

[Jalex Stark]

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

[Howard B. Golden]

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

[Aaron Anderson]

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

[Alex Nelson]

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

[Kevin Buzzard]

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

[Adam Topaz]

It rains in LA?

[Adam Topaz]

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

[Kevin Buzzard]

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.

[Aaron Anderson]

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

[Benjamin Davidson]

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

[Brandon Bocanegra]

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.

[Sean Wu]

Hello from Irvine, not that far from LA. I'm starting on working through Functional Programming in Lean. I'm neither a mathematician nor a computer scientist, but learning a bit of type theory via Lean has been a pleasure so far.

[Tomas Ortega]

Hi from Irvine as well! I'm also learning Lean, it's been really fun

[Tomas Ortega]

Hello from Irvine again! We are starting a group to practice Lean at UC Irvine, and we would like to get more people involved - so far we are six grad students. We meet once a week and go over some exercises that we decide the week before, if anyone wants to join just send a message :)

[Eric Paul]

Hello! I'm at Caltech and would love to join if possible.

[Tomas Ortega]

Absolutely!

[Yuri]

I will be moving to Los Angeles area around January and would love to join.

[Mark Ettinger]

Mathematician/computer scientist here in Joshua Tree. Not that close to LA but definitely in LA's Voronoi cell. I'm studying Lean with the goal of formalizing special relativity.

[David Renshaw]

I am in Pasadena until Monday and would be up for chatting with Lean folks.

[Eric Paul]

Hello, I’m here at Caltech and would be down to chat!