Zulip Chat Archive

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.

Nam (Apr 12 2020 at 17:49):

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

berkeley

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

Palo Alto

Haden Hooyeon Lee (May 15 2021 at 09:05):

I'm in SF

Nicholas (Jul 20 2021 at 02:22):

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

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

Kevin Buzzard (Sep 30 2021 at 22:15):

Sorry :-/

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.

Kyle Miller (Jul 24 2022 at 20:58):

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

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.

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?

Moritz Doll (Aug 28 2022 at 17:03):

I am in Berkeley for a month

Rudi Cilibrasi (Oct 31 2022 at 04:07):

I live in Concord, California. Lean newbie but wrote a first order predicate logic linear resolution theorem prover using skolemization in the 1990's.

Evante Garza (Nov 01 2022 at 00:56):

Rudi Cilibrasi said:

I live in Concord, California. Lean newbie but wrote a first order predicate logic linear resolution theorem prover using skolemization in the 1990's.

Hello neighbor! I'm in Pittsburg, just over the hills from you.

Paul Wintz (Jul 17 2023 at 08:50):

I'm a PhD student at UC, Santa Cruz looking into applying Lean to dynamical systems and control theory.

Matthew Ballard (Dec 14 2023 at 14:36):

I'll be in the Yay area for the Spring (SLMath/MSRI). I am guessing there will be critical mass for something regular there.

Last updated: Dec 20 2023 at 11:08 UTC