Stream: Geographic locality
Topic: San Francisco Bay Area, USA
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.)
Scott Morrison (Feb 28 2020 at 04:13):
I'm in the East Bay (Berkeley) for the next few months.
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.
I'm in Sunnyvale.
Grayson Burton (Apr 14 2020 at 05:03):
I'm in Santa Rosa :)
Noah Gundotra (Jul 13 2020 at 02:30):
I’m in San Jose!
Sam Estep (Jul 25 2020 at 16:37):
I'm in Menlo Park until August 15, then Mountain View :)
Alok Singh (S1'17) (Oct 01 2020 at 20:47):
Kevin Buzzard (Oct 01 2020 at 22:36):
You're not the only one @Alok Singh (S1'17) -- have you seen #Berkeley Lean Seminar ?
Scott Viteri (Apr 15 2021 at 06:25):
Last updated: May 09 2021 at 22:13 UTC