Hah, turns out the 7th of September is a holiday in the US, so let's go with the week after - the 14th of September.
On Tue, 4 Aug 2020 at 19:03, Matthew Rahtz email@example.com wrote:
Thanks to everyone who came for the great discussion! I've added links to the recording and slides to the meeting doc https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayqVg8/edit. Let's do our next meeting on the 7th of September (since the 31st of October is a holiday here in the UK). Until then!
On Mon, 3 Aug 2020 at 10:32, Matthew Rahtz firstname.lastname@example.org wrote:
Looking forward to seeing you all soon! Our Meet link will be meet.google.com/fft-dzjq-ksu - 9:30am SF time, 5:30pm London time.
On Mon, 27 Jul 2020 at 16:59, Matthew Rahtz email@example.com wrote:
Next week we'll be holding our next tensor typing meeting.
WHEN? Monday 3rd August, 9:30am SF time. GCal link: https://calendar.google.com/event?action=TEMPLATE&tmeid=NzY5cXM1am5uNDNk...
WHERE? Google Meet. We'll post the link on the day itself.
- Status updates. What have folks been working on over the past month?
- What should symbols mean? Jörg and I would like to make a second
attempt at making the case that symbols should by default refer to semantic axis types (e.g. `Batch` => a batch-like axis) rather than actual shapes (`Batch` => a concrete value of '32'). We'll have a short presentation and then we'll open it up for discussion. 3. Other. Is there anything else folks would like to talk about?