Can we add a brief chat about organizing a typing summit “at” Pycon? On Mon, Jan 11, 2021 at 02:39 Matthew Rahtz via Typing-sig < typing-sig@python.org> wrote:

Hey all,

We'll be meeting tonight (or tomorrow morning, depending on your timezone) at *6:00 PM London time/10:00 AM San Francisco time* at http://meet.google.com/fft-dzjq-ksu. Our updated agenda is:

- Status updates - TensorAnnotations https://github.com/deepmind/tensor_annotations (quick overview, discussion) - Changes to typing.py to support TypeVarTuple

See you there! Matthew

On Wed, 6 Jan 2021 at 12:49, Matthew Rahtz wrote:

...

Hey all,

Happy New Year! Hope everyone had a good rest over the holidays.

Our next tensor typing meeting will be on *Monday the 11th of January *at *6:00 PM London time/10:00 AM San Francisco time*. Our tentative agenda is:

- Status updates - TensorAnnotations (https://github.com/deepmind/tensor_annotations): I'll give a quick introduction about how it works and how to use it, followed by discussion. (Have you used it? What's your experience been like? Any feature requests?)

If anyone else would like to talk about something, let me know.

As always, we'll meet at http://meet.google.com/fft-dzjq-ksu. (Notes from previous meetings are at https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq....) See you then!

Best, Matthew

_______________________________________________ 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/ Member address: guido@python.org

-- --Guido (mobile)

Guido: A brief chat seems fine to gauge interest. Can we discuss details in a separate meeting with a broader audience (or a typing-sig thread)? I'm sure other members of Pyre and other typecheckers will be interested in that discussion 🙂 ________________________________ From: Matthew Rahtz via Typing-sig Sent: Monday, January 11, 2021 8:20 AM To: guido@python.org Cc: Adam Paszke ; Jörg Bornschein ; typing-sig@python.org Subject: [Typing-sig] Re: Next tensor typing meeting: Monday 11th For sure! On Mon, 11 Jan 2021 at 15:35, Guido van Rossum mailto:guido@python.org> wrote: Can we add a brief chat about organizing a typing summit “at” Pycon? On Mon, Jan 11, 2021 at 02:39 Matthew Rahtz via Typing-sig mailto:typing-sig@python.org> wrote: Hey all, We'll be meeting tonight (or tomorrow morning, depending on your timezone) at 6:00 PM London time/10:00 AM San Francisco time at http://meet.google.com/fft-dzjq-ksuhttp://meet.google.com/fft-dzjq-ksu. Our updated agenda is: * Status updates * TensorAnnotationshttps://github.com/deepmind/tensor_annotations (quick overview, discussion) * Changes to typing.py to support TypeVarTuple See you there! Matthew On Wed, 6 Jan 2021 at 12:49, Matthew Rahtz mailto:mrahtz@google.com> wrote: Hey all, Happy New Year! Hope everyone had a good rest over the holidays. Our next tensor typing meeting will be on Monday the 11th of January at 6:00 PM London time/10:00 AM San Francisco time. Our tentative agenda is: * Status updates * TensorAnnotations (https://github.com/deepmind/tensor_annotations): I'll give a quick introduction about how it works and how to use it, followed by discussion. (Have you used it? What's your experience been like? Any feature requests?) If anyone else would like to talk about something, let me know. As always, we'll meet at http://meet.google.com/fft-dzjq-ksuhttp://meet.google.com/fft-dzjq-ksu. (Notes from previous meetings are at https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq...https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq....) See you then! Best, Matthew _______________________________________________ Typing-sig mailing list -- typing-sig@python.orgmailto:typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.orgmailto:typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: guido@python.orgmailto:guido@python.org -- --Guido (mobile)

Thanks everyone for coming! Here's what happened: - Video recording: https://drive.google.com/file/d/1C5V5ckQn3LiZo_OCT0HYVTDg1STX_nYf - TensorAnnotations overview slides: https://docs.google.com/presentation/d/1w_vCa9fD2c2JoZUYauMPkpptgvSucLZvwVN3... - TypeVarTuple in typing.py slides: https://docs.google.com/presentation/d/1NzUz3Az5ehTqZQcBOgFAI9ZI-ZU5JaKs3Jis... Next steps: - Shannon and Alfonso will explore the possibility of organising a virtual typing summit (looking forward!) - Matthew and Pradeep will reach out to PEP 637 authors to clarify whether their spec will allow for our use-cases, and to ask where they're at with implementation - Matthew and Pradeep will continue working on PEP for variadic generics, and start implementation in typing.py - Matthew will continue working on TensorAnnotations As always, these are all recorded in the notes at https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq... . Our next meeting will tentatively take place on *Monday the 8th of February* at 6:00 PM London time/10:00 AM San Francisco time. Cheers, Matthew On Mon, 11 Jan 2021 at 10:38, Matthew Rahtz wrote:

Hey all,

We'll be meeting tonight (or tomorrow morning, depending on your timezone) at *6:00 PM London time/10:00 AM San Francisco time* at http://meet.google.com/fft-dzjq-ksu. Our updated agenda is:

- Status updates - TensorAnnotations https://github.com/deepmind/tensor_annotations (quick overview, discussion) - Changes to typing.py to support TypeVarTuple

See you there! Matthew

On Wed, 6 Jan 2021 at 12:49, Matthew Rahtz wrote:

...

Hey all,

Happy New Year! Hope everyone had a good rest over the holidays.

Our next tensor typing meeting will be on *Monday the 11th of January *at *6:00 PM London time/10:00 AM San Francisco time*. Our tentative agenda is:

- Status updates - TensorAnnotations (https://github.com/deepmind/tensor_annotations): I'll give a quick introduction about how it works and how to use it, followed by discussion. (Have you used it? What's your experience been like? Any feature requests?)

If anyone else would like to talk about something, let me know.

As always, we'll meet at http://meet.google.com/fft-dzjq-ksu. (Notes from previous meetings are at https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq....) See you then!

Best, Matthew