January Typing Meetup: January 22, 18:00 UTC (10am PST)

Typing
1

Hi folks!

For our next typing meetup, @erictraut will be presenting his research into type systems that can work with tensor shapes.

We’ll have the meeting at 18:00 UTC / 10am PST on Wednesday, January 22.

The meeting link is:

Meeting ID: 934 3670 3627
Passcode: 031083

I hope everyone has a good new year, and I’m looking forward to the next meetup!

5 Likes
2

Just a reminder that this meetup is scheduled for this week Wednesday. I will be presenting some ideas on how to potentially extend the type system to support tensor shape validation. If you’re interested in this topic, please join us. If you’re unable to attend, we will post slides and a recording afterward.

3 Likes
3

Here’s a link to the slides for the typing meetup.

2 Likes
4

Thanks @erictraut for presenting, and for all the research you’ve done on the topic!

A recording of the presentation and discussion is available at

2 Likes