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 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=s..., with slides here https://drive.google.com/file/d/1r61zunW-fUlWd-qR8w-06ZCVk_AhnvZN/view and here https://docs.google.com/presentation/d/16VGNfVo6Kxk9lBhm1cx1-Jr19dqESyy10Wkh... . 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 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