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 <typing-sig@python.org>
Sent: Monday, January 11, 2021 8:20 AM
To: guido@python.org <guido@python.org>
Cc: Adam Paszke <apaszke@google.com>; Jörg Bornschein <bornschein@google.com>; typing-sig@python.org <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 <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 <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 (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

_______________________________________________
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)