Zulip Chat Archive

Stream: Geographic locality

Topic: New York City, USA


view this post on Zulip Jalex Stark (Feb 28 2020 at 03:39):

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)

view this post on Zulip Luis O'Shea (Feb 28 2020 at 05:19):

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

view this post on Zulip Jalex Stark (Feb 28 2020 at 05:43):

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

view this post on Zulip Julian Berman (Sep 03 2020 at 12:09):

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.

view this post on Zulip Yakov Pechersky (Sep 03 2020 at 13:39):

Same, also I'm NYC

view this post on Zulip Julian Berman (Sep 03 2020 at 14:04):

@Yakov Pechersky ah cool, hi!

view this post on Zulip Jalex Stark (Sep 03 2020 at 14:08):

both added

view this post on Zulip Benjamin Davidson (Jan 18 2021 at 17:47):

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


Last updated: Jul 29 2021 at 21:10 UTC