Typing Summit at PyCon?
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)
This is definitely a good idea! IIUC we can have several meeting with different scope/audience. Here are ideas that appeared so far: * Big typing summit * "Typing for numeric stack" panel * "User experience/requests for typing tools" panel * "Python code quality tools" panel (typing + flake8/PyLint/...) The last tree probably can be organized on the spot (we can just book a room for an hour, like last year). But for the summit I agree we should ask in advance, are you volunteering to take care of organizing the summit? -- Ivan On Wed, 13 Mar 2019 at 10:44, Guido van Rossum <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) _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/
Yes, I am trying to find out whether enough people would show up to make it worth the hassle. On Wed, Mar 13, 2019 at 6:43 PM Ivan Levkivskyi <levkivskyi@gmail.com> wrote:
This is definitely a good idea! IIUC we can have several meeting with different scope/audience. Here are ideas that appeared so far:
* Big typing summit * "Typing for numeric stack" panel * "User experience/requests for typing tools" panel * "Python code quality tools" panel (typing + flake8/PyLint/...)
The last tree probably can be organized on the spot (we can just book a room for an hour, like last year). But for the summit I agree we should ask in advance, are you volunteering to take care of organizing the summit?
-- Ivan
On Wed, 13 Mar 2019 at 10:44, Guido van Rossum <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)
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/
-- --Guido (mobile)
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> 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)
-- --Guido van Rossum (python.org/~guido)
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=>)
I might be able to fly in early on Thursday and come directly to this. What time were you thinking of starting it? martin On Thu, Mar 14, 2019 at 10:27 AM Guido van Rossum <guido@python.org> wrote:
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> 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)
-- --Guido van Rossum (python.org/~guido) _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/
Yes, the PyCharm team is interested in participating in the summit. I'll register via the form Guido just sent to typing-sig. On Tue, 19 Mar 2019 at 01:56 Martin DeMello <mdemello@google.com> wrote:
I might be able to fly in early on Thursday and come directly to this. What time were you thinking of starting it?
martin
On Thu, Mar 14, 2019 at 10:27 AM Guido van Rossum <guido@python.org> wrote:
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> 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)
-- --Guido van Rossum (python.org/~guido) _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/
_______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/
-- Andrey Vlasovskikh Web: http://pirx.ru/
participants (5)
-
Andrey Vlasovskikh -
Guido van Rossum -
Ivan Levkivskyi -
Martin DeMello -
Sinan Cepel