joshua stein via @jcs@jcs.org - Aug 08 2023 20:22:03 I'm going to Boston soon, what nerdy things should I see or do while I'm there? 20:22 - August 8, 2023 - Source