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


Last updated: Jul 29 2021 at 21:10 UTC