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: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.
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?