New York City, USA

Stream: Geographic locality

[Jalex Stark]

I'm in NYC and would be happy to meet with anyone for pair-programming type sessions (with the aspiration of eventually having something like the ICL Xena group meetings or the Cambridge group meetings)

[Luis O'Shea]

I too am in NYC and would be happy to meet up to discuss Lean (or related topics, e.g. "The Little Typer" and Pie).

[Jalex Stark]

There is a private NYC stream, and either posting here or sending me a PM is a good way to get added to it.

[Julian Berman]

Jalex Stark said:

There is a private NYC stream, and either posting here or sending me a PM is a good way to get added to it.

@Jalex Stark Hey! (Also from NYC and super new). Would love to get added to this.

[Yakov Pechersky]

Same, also I'm NYC

[Julian Berman]

@Yakov Pechersky ah cool, hi!

[Jalex Stark]

both added

[Benjamin Davidson]

Just discovered this stream. I'm also in NYC!

[J. O.]

hello. im from new york as well

[Matej Penciak]

I just moved to NYC from Boston! Looking forward to meeting other Lean enthusiasts!

[Dean Young]

Hi! I'm Dean and I'm a grad student at NYU, with an interest in category theory, algebraic geometry, and number theory.

[Ruchir Khaitan]

Hi I'm Ruchir I just started learning Lean and living in Brooklyn. Excited to meet local lean folks

[David Renshaw]

I'll be in NYC (staying Long Island City) next week, Monday the 9th through Wednesday the 11th, and potentially available for meeting up with local Lean enthusiasts. Would anyone be interested? (if so, please DM me, to keep noise down on the public stream here)

[Carter Schonwald]

i'm in nyc

[Carter Schonwald]

Who’s in nyc these days ?

[Julian Berman]

Considering we just randomly met in the dog park, the number is at least the two of us :D