Zulip Chat Archive

Stream: Geographic locality

Topic: Boston, USA

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!

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.

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.

Miguel Raz Guzmán Macedo (Apr 12 2020 at 15:05):

Mexico City, Mexico / UNAM

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.

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

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!

John Burnham (Sep 21 2021 at 22:04):

I'm also in the Boston area!

Xiyu Zhai (Jan 28 2022 at 05:16):

+1 Cambridge MA

Omri Schwarz (Nov 16 2022 at 20:22):

+1 MA, USA (Medford)

Kyle Miller (Nov 17 2022 at 11:24):

Hi @Omri Schwarz!

Chris Martens (Jan 13 2023 at 01:48):

hello from jamaica plain! i'm faculty at Northeastern

Peter Li (May 24 2023 at 19:28):

Chris Martens said:

hello from jamaica plain! i'm faculty at Northeastern

Hey Chris, I'm a third year CS undergrad at Northeastern, are you a professor in the math department?

Graham Leach-Krouse (Jun 28 2023 at 22:01):

Hi Everyone. I just moved to (just outside of) Boston, now residing in Arlington. Formerly faculty at Kansas State University, soon to be joining Draper Laboratory.

Michael Fishman (Nov 27 2023 at 17:30):

Greetings! I live in Boston. I work as an ML engineer at Boston Dynamics AI Institute in Cambridge. I'm studying lean on the side.

My interests in lean are:

  1. I want to express stronger guarantees about programs
  2. I want to close the gap between math theory and the algorithms that implement it
  3. I want math to be more inspectable. Often when trying to understand math in a paper, I want to see what the types of the terms involved are, and more detailed or alternative proofs of the statements.
  4. I occasionally want to prove theorems

Let me know if any of you want to meet up!

Tyler Josephson ⚛️ (Nov 27 2023 at 17:38):

Welcome! You may it helpful to subscribe to the #Machine Learning for Theorem Proving stream - though more often, discussions are about applying machine learning to theorem proving rather than applying theorem proving to machine learning

Michael Fishman (Nov 27 2023 at 17:40):

Tyler Josephson ⚛️ said:

Welcome! You may it helpful to subscribe to the #Machine Learning for Theorem Proving stream - though more often, discussions are about applying machine learning to theorem proving rather than applying theorem proving to machine learning

Thanks for the suggestion!

Last updated: Dec 20 2023 at 11:08 UTC