Zulip Chat Archive

Stream: Geographic locality

Topic: Philadelphia Area, USA


Dave Jones (Oct 31 2022 at 19:42):

Hello from the Philadelphia area (Go Phillies!)

Just completed my first Lean proof today - 517 hard fought lines of code :sweat_smile:

That "goals accomplished" :tada: never felt so good. :relieved:

Happy Halloween, y'all

Adam Topaz (Oct 31 2022 at 22:24):

Hey! Just curious, where in Philly are you based? I lived there for 5 years during grad school, and I still miss it a lot!

Dave Jones (Oct 31 2022 at 23:23):

@Adam Topaz
Montgomery county - about 45 minutes from the city.
I don't get down there much either, these days.


Last updated: Dec 20 2023 at 11:08 UTC