Hi all, Our next tensor typing meeting is supposed to be next Monday (the 11th). There are no updates from my end this month (we're just waiting for PEP 646 to be re-reviewed by the steering council); does anyone else have something they want to present? Thanks! Matthew
Ok, Pradeep is going to present on the *state of shape typing* - giving an update on the tensor stubs he's been working on and what work remains. See you all at http://meet.google.com/fft-dzjq-ksu on *Monday the 11th of October* at *6pm London time / 10am San Francisco time*! On Mon, 4 Oct 2021 at 13:49, Matthew Rahtz <mrahtz@google.com> wrote:
Hi all,
Our next tensor typing meeting is supposed to be next Monday (the 11th). There are no updates from my end this month (we're just waiting for PEP 646 to be re-reviewed by the steering council); does anyone else have something they want to present?
Thanks! Matthew
Thanks to everyone who came! The recording is here <https://drive.google.com/file/d/1KMBK_ILyi2MRUCoo26MKvHile2JhickE/view?usp=s...>, and Pradeep's slides are here <https://drive.google.com/file/d/1yyynqagW02xk7EzSq44nuDqrRb50fU6u/view?usp=s...>. (As always, info about past meetings is also here <https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq...>.) To summarise his talk: - Proposal for a minimum number of extra type operators that would enable the majority of remaining tensor-related functions to be typed: RemoveAt, InsertAt, ReplaceAt, Index, Repeat - Almost all tensor-related functions are typeable using these operators + overloads - Next step: dogfooding the stubs ( https://github.com/pradeep90/pytorch_examples) Related to the last point - *if you're working on any PyTorch projects and would be interested in dogfooding our stubs with Pyre, please get in touch!* Our next meeting will tentatively be on *Monday the 15th of November* at 6pm London time / 10am San Francisco time. See you then! On Wed, 6 Oct 2021 at 12:02, Matthew Rahtz <mrahtz@google.com> wrote:
Ok, Pradeep is going to present on the *state of shape typing* - giving an update on the tensor stubs he's been working on and what work remains.
See you all at http://meet.google.com/fft-dzjq-ksu on *Monday the 11th of October* at *6pm London time / 10am San Francisco time*!
On Mon, 4 Oct 2021 at 13:49, Matthew Rahtz <mrahtz@google.com> wrote:
Hi all,
Our next tensor typing meeting is supposed to be next Monday (the 11th). There are no updates from my end this month (we're just waiting for PEP 646 to be re-reviewed by the steering council); does anyone else have something they want to present?
Thanks! Matthew
- Proposal for a minimum number of extra type operators that would enable the majority of remaining tensor-related functions to be typed: RemoveAt, InsertAt, ReplaceAt, Index, Repeat
- Almost all tensor-related functions are typeable using these operators + overloads
Almost all Tensor-related functions are typeable using these operators for *any* arguments. However, overloads are enough right now because real-world code mostly uses the same few arguments, e.g., dim = -1, 0, 1, 2. So, we don't strictly need these new operators right now; if there is user demand for supporting other arguments, we can add these operators in the future. I've added these overloads for key Tensor functions in the stubs linked above. You can use them in Pytorch code right now. On Tue, Oct 12, 2021 at 8:10 AM Matthew Rahtz via Typing-sig < typing-sig@python.org> wrote:
Thanks to everyone who came! The recording is here <https://drive.google.com/file/d/1KMBK_ILyi2MRUCoo26MKvHile2JhickE/view?usp=s...>, and Pradeep's slides are here <https://drive.google.com/file/d/1yyynqagW02xk7EzSq44nuDqrRb50fU6u/view?usp=s...>. (As always, info about past meetings is also here <https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq...>.) To summarise his talk:
- Proposal for a minimum number of extra type operators that would enable the majority of remaining tensor-related functions to be typed: RemoveAt, InsertAt, ReplaceAt, Index, Repeat - Almost all tensor-related functions are typeable using these operators + overloads - Next step: dogfooding the stubs ( https://github.com/pradeep90/pytorch_examples)
Related to the last point - *if you're working on any PyTorch projects and would be interested in dogfooding our stubs with Pyre, please get in touch!*
Our next meeting will tentatively be on *Monday the 15th of November* at 6pm London time / 10am San Francisco time. See you then!
On Wed, 6 Oct 2021 at 12:02, Matthew Rahtz <mrahtz@google.com> wrote:
Ok, Pradeep is going to present on the *state of shape typing* - giving an update on the tensor stubs he's been working on and what work remains.
See you all at http://meet.google.com/fft-dzjq-ksu on *Monday the 11th of October* at *6pm London time / 10am San Francisco time*!
On Mon, 4 Oct 2021 at 13:49, Matthew Rahtz <mrahtz@google.com> wrote:
Hi all,
Our next tensor typing meeting is supposed to be next Monday (the 11th). There are no updates from my end this month (we're just waiting for PEP 646 to be re-reviewed by the steering council); does anyone else have something they want to present?
Thanks! 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: gohanpra@gmail.com
-- S Pradeep Kumar
participants (2)
-
Matthew Rahtz -
S Pradeep Kumar