Thanks to everyone who came for the great discussion! I've added links to the recording and slides to the meeting doc. 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 <mrahtz@google.com> 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 <mrahtz@google.com> wrote:
Hi everyone,

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=NzY5cXM1am5uNDNkMW1lMnUybnBucnY1dWwgY19sam1ta2E2M3Bwb2FhZWpoNWJzdnR1a2ZlNEBn&tmsrc=c_ljmmka63ppoaaejh5bsvtukfe4%40group.calendar.google.com

WHERE? Google Meet. We'll post the link on the day itself.

WHAT?
1. Status updates. What have folks been working on over the past month?
2. 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?

Cheers!
Matthew