Zulip Chat Archive

Stream: Geographic locality

Topic: San Francisco Bay Area, USA


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

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

view this post on Zulip Scott Morrison (Feb 28 2020 at 04:13):

I'm in the East Bay (Berkeley) for the next few months.

view this post on Zulip Rajiv (Apr 12 2020 at 16:14):

I am just starting with Lean. (In the process of getting the toolchain, emacs etc., setup). Currently in Cupertino. Once the shelter-in-place is over, will be heading to Bangalore, India.

view this post on Zulip Nam (Apr 12 2020 at 17:49):

I'm in Sunnyvale.

view this post on Zulip Grayson Burton (Apr 14 2020 at 05:03):

I'm in Santa Rosa :)

view this post on Zulip Noah Gundotra (Jul 13 2020 at 02:30):

I’m in San Jose!

view this post on Zulip Sam Estep (Jul 25 2020 at 16:37):

I'm in Menlo Park until August 15, then Mountain View :)

view this post on Zulip Alok Singh (S1'17) (Oct 01 2020 at 20:47):

berkeley

view this post on Zulip Kevin Buzzard (Oct 01 2020 at 22:36):

You're not the only one @Alok Singh (S1'17) -- have you seen #Berkeley Lean Seminar ?

view this post on Zulip Scott Viteri (Apr 15 2021 at 06:25):

Palo Alto

view this post on Zulip Haden Hooyeon Lee (May 15 2021 at 09:05):

I'm in SF

view this post on Zulip Nicholas (Jul 20 2021 at 02:22):

Hello all, Im in the south bay! Drop me a message if you want to Lean together :)

view this post on Zulip Paul Zeitz (Sep 30 2021 at 18:28):

Hi, I'm a newbie, living in Marin county. Waiting for the natural numbers game to get back online...

view this post on Zulip Kevin Buzzard (Sep 30 2021 at 22:15):

Sorry :-/

view this post on Zulip Ryan McCorvie (Jul 24 2022 at 20:47):

Hi Bay Area folks, I live near Berkeley in Oakland and am diving into lean and theorem proving. Let me know if you want to meet up.

view this post on Zulip Kyle Miller (Jul 24 2022 at 20:58):

(Ping @Thomas Browning and @Patrick Lutz, at UC Berkeley.)

view this post on Zulip Thomas Browning (Jul 24 2022 at 21:24):

Patrick Lutz is now at UCLA. But I'm still at Berkeley, and we've got a weekly Friday meeting at 11am, if you're interested.

view this post on Zulip Tom (Aug 07 2022 at 22:03):

Hello there, what is the typical content of these meetups? What aspects of Lean do you mostly focus on?

view this post on Zulip Moritz Doll (Aug 28 2022 at 17:03):

I am in Berkeley for a month


Last updated: Sep 24 2022 at 18:19 UTC