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_vCa9fD2c2JoZUYauMPkpptgvSucLZvwVN3oYS-Txs
TypeVarTuple in typing.py slides: https://docs.google.com/presentation/d/1NzUz3Az5ehTqZQcBOgFAI9ZI-ZU5JaKs3Jisy3s265A

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-Tr1N0IKGwZQcraIlZ0N8ayqVg8.

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 <mrahtz@google.com> 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 (quick overview, discussion)
Changes to typing.py to support TypeVarTuple
See you there!
Matthew

On Wed, 6 Jan 2021 at 12:49, Matthew Rahtz <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-ksu. (Notes from previous meetings are at https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayqVg8/edit.) See you then!

Best,
Matthew