San Francisco Bay Area, USA

Stream: Geographic locality

[Jalex Stark]

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]

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

[Rajiv]

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]

I'm in Sunnyvale.

[Grayson Burton]

I'm in Santa Rosa :)

[Noah Gundotra]

I’m in San Jose!

[Sam Estep]

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

[Alok Singh (S1'17)]

berkeley

[Kevin Buzzard]

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

[Scott Viteri]

Palo Alto

[Haden Hooyeon Lee]

I'm in SF

[Nicholas]

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

[Paul Zeitz]

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

[Kevin Buzzard]

Sorry :-/

[Ryan McCorvie]

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]

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

[Thomas Browning]

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]

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

[Moritz Doll]

I am in Berkeley for a month

[Rudi Cilibrasi]

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]

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]

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

[Matthew Ballard]

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

[Moritz Firsching]

I'm in San Francisco now for a week, happy to meet people in the bay area. Ping me if you are interested or there is some lean talk going on..

[Quinn]

greetings. in berkeley. been writing coq (occasionally professionally, mostly personal side projects) for longer than I've been a professional dev of any kind. thinking about switching to lean