Zulip Chat Archive

Stream: Geographic locality

Topic: Boston, USA


view this post on Zulip Alex J. Best (Feb 29 2020 at 04:24):

I'm in Boston, no idea if there are any other lean users in the area!

view this post on Zulip Jason Rute (Apr 12 2020 at 12:55):

I live in Somerville. MA. USA and work in Cambridge. MA. USA. Obviously I’m not leaving my home anytime soon, but when the CoronaVirus thing lets up I’d by happy to meet up with Boston area Lean users.

view this post on Zulip Sam Stites (Apr 12 2020 at 14:53):

I'm in Somerville as well! I used to try to do a daily lean exercise (I'm very new) but I'm currently in deadline mode. I'm thinking of trying to go through https://mitpress.mit.edu/books/topology after, mid May.

view this post on Zulip Miguel Raz Guzmán Macedo (Apr 12 2020 at 15:05):

Mexico City, Mexico / UNAM

view this post on Zulip Jalex Stark (Sep 11 2020 at 17:30):

I just moved to Cambridge. I'm happy to meet people outside for distanced, masked conversations / walks.

view this post on Zulip duck_master (Mar 18 2021 at 20:45):

I'm somewhere around this area too! (I don't want to give much more info because of privacy.)

view this post on Zulip Zygimantas Straznickas (Mar 23 2021 at 03:38):

+1 for Cambridge MA. Happy to meet and talk about Lean 4 and applying ML for theorem proving once people are vacinnated!


Last updated: May 09 2021 at 21:10 UTC