Tensor typing meeting 14/09/2020
Hey everyone, It's somehow September already, and time for our next tensor typing meeting! WHEN? Monday 14th September, 9:30am San Francisco time, 5:30pm London time. WHERE? Cyberspace, Google Meet. I'll post the link closer to the time. WHAT? 1. Status updates 2. Alfonso: Arithmetic on tensor dimensions (Alfonso, do you wanna say anything more on this?) 3. Matthew (short): Benchmarking stubs with thousands of overloads I *might* also have something to present on the use of Ellipsis in the annotations setup that Jörg and I and are working, depending on how this week goes/how much time we have in the meeting. Looking forward! Matthew
Hi Matthew, Thanks for the update! If possible let's use the same Meet link every time, last time was: meet.google.com/fft-dzjq-ksu I will be talking about type arithmetic for tensor typing, this time not just about design ideas but about a more concrete implemented proposal. Thus, Numpy/TF/PyTorch contributors are more than welcome to the meeting. I expect to take < 30 minutes, but considering that we will also spend time on status updates and questions I would try not to add much more to the agenda. Best, Alfonso.
See you tonight, everyone! As Alfonso suggested, let's use the same Meet link as last time: http://meet.google.com/fft-dzjq-ksu On Tue, 8 Sep 2020 at 12:14, Alfonso L. Castaño <alfonsoluis.castanom@um.es> wrote:
Hi Matthew,
Thanks for the update!
If possible let's use the same Meet link every time, last time was: meet.google.com/fft-dzjq-ksu
I will be talking about type arithmetic for tensor typing, this time not just about design ideas but about a more concrete implemented proposal. Thus, Numpy/TF/PyTorch contributors are more than welcome to the meeting. I expect to take < 30 minutes, but considering that we will also spend time on status updates and questions I would try not to add much more to the agenda.
Best, Alfonso. _______________________________________________ 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: mrahtz@google.com
This was very interesting. Thanks. Sorry I'm new here and didn't realize I should connect, configure and fix my microphone before everyone started giving introductions. In the meeting it was said that there are recordings of previous meetings. Where are these available? Thanks, Peilonrayz On 14/09/2020 10:09, Matthew Rahtz via Typing-sig wrote:
See you tonight, everyone! As Alfonso suggested, let's use the same Meet link as last time: http://meet.google.com/fft-dzjq-ksu
On Tue, 8 Sep 2020 at 12:14, Alfonso L. Castaño <alfonsoluis.castanom@um.es <mailto:alfonsoluis.castanom@um.es>> wrote:
Hi Matthew,
Thanks for the update!
If possible let's use the same Meet link every time, last time was: meet.google.com/fft-dzjq-ksu <http://meet.google.com/fft-dzjq-ksu>
I will be talking about type arithmetic for tensor typing, this time not just about design ideas but about a more concrete implemented proposal. Thus, Numpy/TF/PyTorch contributors are more than welcome to the meeting. I expect to take < 30 minutes, but considering that we will also spend time on status updates and questions I would try not to add much more to the agenda.
Best, Alfonso. _______________________________________________ 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/ Member address: mrahtz@google.com <mailto:mrahtz@google.com>
_______________________________________________ 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: peilonrayz@gmail.com
No worries, Peilonrayz. Thanks for coming! And thanks everyone else, too! Great discussion as always. The recording is here <https://drive.google.com/file/d/158ok6yp4bZ-tqMr6kL11eiWD3y20X7Pf/view?usp=sharing>, with slides here <https://drive.google.com/file/d/1r61zunW-fUlWd-qR8w-06ZCVk_AhnvZN/view> and here <https://docs.google.com/presentation/d/16VGNfVo6Kxk9lBhm1cx1-Jr19dqESyy10WkhtMgUeDY/edit#slide=id.g9706e4c7e7_0_146> . For our next meeting, let's tentatively say Monday the 12th of October. If anyone wants to present something, give me or Alfonso a shout. Until then everyone (and especially folks in California), take care! On Tue, 15 Sep 2020 at 09:02, Alfonso L. Castaño <alfonsoluis.castanom@um.es> wrote:
Here is the doc:
https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayq... _______________________________________________ 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: mrahtz@google.com
participants (3)
-
Alfonso L. Castaño
-
Matthew Rahtz
-
Peilonrayz