Judging by the Bay Area typing meetup, we have no shortage of topics to discuss ☺ Multiple folks from Pyre would definitely attend a typing summit, and I think it’d be a great way of hearing from people outside the Bay Area as well. Thanks, Sinan Cepel From: Guido van Rossum <guido@python.org> Reply-To: "guido@python.org" <guido@python.org> Date: Thursday, March 14, 2019 at 10:28 AM To: "typing-sig@python.org" <typing-sig@python.org> Subject: [Typing-sig] Re: Typing Summit at PyCon? Before we commit to this event I would have to have an indication that there's enough interest. So far, only Ivan has responded. That's not enough. :-) I would hope that some folks from Google's pytype, Facebook's pyre, and Jetbrain's PyCharm would also be interested, as well as others. (If you're coming to the language summit, this would be the day after that.) On Wed, Mar 13, 2019 at 10:43 AM Guido van Rossum <guido@python.org<mailto:guido@python.org>> wrote: There's a lot of interesting material to discuss at PyCon, probably more than we can fit into a series of BoF meetings. How would people feel if we organized a typing summit at PyCon? The best time would be the day before the conference, i.e. the day after the language summit. I'd limit it to a half day (probably the afternoon so people can recover from travel). I haven't asked the PyCon organizers for a room yet, but I imagine we will be able to swing this -- I'm mostly asking who would actually show up. -- --Guido van Rossum (python.org/~guido<https://urldefense.proofpoint.com/v2/url?u=http-3A__python.org_-7Eguido&d=DwMFaQ&c=5VD0RTtNlTh3ycd41b3MUw&r=r5D97cEpkx8O5PGpYO2MX1F9NWE-Ry1mrJKRfuxGeho&m=2zWzyN9hI2m8hDdV6t-vDE_tarYK_BI77uKDp7wLcxU&s=LZ5Yw7rri6l7p3xV1en73mQ-ukxsGWc93GCZSLPgp1M&e=>) -- --Guido van Rossum (python.org/~guido<https://urldefense.proofpoint.com/v2/url?u=http-3A__python.org_-7Eguido&d=DwMFaQ&c=5VD0RTtNlTh3ycd41b3MUw&r=r5D97cEpkx8O5PGpYO2MX1F9NWE-Ry1mrJKRfuxGeho&m=2zWzyN9hI2m8hDdV6t-vDE_tarYK_BI77uKDp7wLcxU&s=LZ5Yw7rri6l7p3xV1en73mQ-ukxsGWc93GCZSLPgp1M&e=>)