Next tensor typing meeting
Hi everyone, We tentatively scheduled our next tensor meeting for this coming Monday the 12th of April. As it happens, though, I'm not sure we have anything significant to talk about this time, apart from some quick status updates: - PEP 646 is mostly finalised, apart from one extra section adding a bit more context around shape typing in general ( https://github.com/python/peps/pull/1904). - Guido has kindly submitted PEP 646 to the steering council ( https://github.com/python/steering-council/issues/59) - fingers crossed! Does anyone else have anything they'd like to talk about? If not, I propose we skip this month's meeting, making our next meeting Monday the 10th of May. Best, Matthew
Pradeep rightly points out that the 10th of May would be rather close to the Typing Summit, so let's actually push the next meeting out until *Monday the 7th of June*. On Tue, 6 Apr 2021 at 12:33, Matthew Rahtz <mrahtz@google.com> wrote:
Hi everyone,
We tentatively scheduled our next tensor meeting for this coming Monday the 12th of April. As it happens, though, I'm not sure we have anything significant to talk about this time, apart from some quick status updates:
- PEP 646 is mostly finalised, apart from one extra section adding a bit more context around shape typing in general ( https://github.com/python/peps/pull/1904). - Guido has kindly submitted PEP 646 to the steering council ( https://github.com/python/steering-council/issues/59) - fingers crossed!
Does anyone else have anything they'd like to talk about? If not, I propose we skip this month's meeting, making our next meeting Monday the 10th of May.
Best, Matthew
participants (1)
-
Matthew Rahtz