Next tensor typing meeting: Monday 11th
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
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 <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-Tr1N0IKGwZQcraIlZ0N8ayq....) See you then!
Best, Matthew
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 <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-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)
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 <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 <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-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 <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<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 <typing-sig@python.org<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-ksu<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 <mrahtz@google.com<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-ksu<http://meet.google.com/fft-dzjq-ksu>. (Notes from previous meetings are at https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayqVg8/edit<https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayqVg8/edit>.) See you then! Best, Matthew _______________________________________________ Typing-sig mailing list -- typing-sig@python.org<mailto:typing-sig@python.org> To unsubscribe send an email to typing-sig-leave@python.org<mailto: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.org<mailto:guido@python.org> -- --Guido (mobile)
Of course. Note that I'm not going to organize anything myself -- I am available for advice and as "institutional memory". Note that Alfonso first approached me about this and I think he is interested in (co-)organizing. On Mon, Jan 11, 2021 at 8:36 AM Pradeep Kumar Srinivasan < pradeepkumars@fb.com> wrote:
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 <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 <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-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 van Rossum (python.org/~guido) *Pronouns: he/him **(why is my pronoun here?)* <http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-c...>
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 <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 <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 <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-Tr1N0IKGwZQcraIlZ0N8ayq....) See you then!
Best, Matthew
participants (3)
-
Guido van Rossum -
Matthew Rahtz -
Pradeep Kumar Srinivasan