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?