Stream: t-compiler/wg-nll

Topic: Polonius walk through


nikomatsakis (Jan 28 2019 at 20:28, on Zulip):

I would like to do a live meeting where I walk through the Polonius design, as we discussed a bit earlier. The idea is to record it and use it as a kind of "introduction to polonius analysis". I am looking for some "interlocutors" to ask questions about things that are confusing. =)

@lqd, perhaps you would be available for something like that? Also, @Aaron Weiss, you might be interested?

I could imagine doing this on Thursday or Friday.

Aaron Weiss (Jan 28 2019 at 20:30, on Zulip):

Thursday and Friday would both work great for me. :blush:

lqd (Jan 28 2019 at 20:35, on Zulip):

could be interesting :)

lqd (Jan 28 2019 at 20:37, on Zulip):

(even though, with work, chat availability is a bit limited)

nikomatsakis (Jan 28 2019 at 20:42, on Zulip):

yeah that's a challenge

Santiago Pastorino (Jan 28 2019 at 20:46, on Zulip):

great idea :)

Santiago Pastorino (Jan 28 2019 at 20:47, on Zulip):

more or less I know about Polonius but I'm not sure about the very late changes

Santiago Pastorino (Jan 28 2019 at 20:47, on Zulip):

so would be a great way to catch up again

nikomatsakis (Jan 28 2019 at 20:53, on Zulip):

maybe Friday at .. 12:00 UTC-05:00?

nikomatsakis (Jan 28 2019 at 20:55, on Zulip):

I'm flexible-ish, could also do e.g. 11:00 or 13:00 (or even some other times)

Santiago Pastorino (Jan 28 2019 at 20:58, on Zulip):

friday won't work for me because I'm flying to Berlin

Santiago Pastorino (Jan 28 2019 at 20:58, on Zulip):

anyway, I guess I can watch the video later

nikomatsakis (Jan 28 2019 at 21:36, on Zulip):

I could do Thursday, say 14:00 UTC-05:00?

nikomatsakis (Jan 28 2019 at 21:36, on Zulip):

I imagine that works for @Aaron Weiss too

Santiago Pastorino (Jan 28 2019 at 21:37, on Zulip):

that works for me

Jake Goulding (Jan 29 2019 at 00:16, on Zulip):

@nikomatsakis what level would be expected for people joining?

Jake Goulding (Jan 29 2019 at 00:16, on Zulip):

I mentioned it to a few people who are interested in the compiler in general

nikomatsakis (Jan 29 2019 at 15:34, on Zulip):

I don't know :) I'm experimenting with this format -- I guess any level is fine

nikomatsakis (Jan 29 2019 at 15:34, on Zulip):

probably having beginners is good because thy will help ensure I explain things well

nikomatsakis (Jan 31 2019 at 18:21, on Zulip):

In theory this is still happening, but I've got about 40 minutes to prepare =) (I was supposed to do this yesterday but something else came up)

nikomatsakis (Jan 31 2019 at 18:21, on Zulip):

Nicholas Matsakis is inviting you to a scheduled Zoom meeting.

Topic: Polonius Walkthrough
Time: Jan 31, 2019 2:00 PM Eastern Time (US and Canada)

Join Zoom Meeting
https://zoom.us/j/281011986

One tap mobile
+16699006833,,281011986# US (San Jose)
+19294362866,,281011986# US

Dial by your location
+1 669 900 6833 US (San Jose)
+1 929 436 2866 US
Meeting ID: 281 011 986
Find your local number: https://zoom.us/u/anRqzWn04

nikomatsakis (Jan 31 2019 at 18:21, on Zulip):

Unless I call it off ;)

nikomatsakis (Jan 31 2019 at 18:48, on Zulip):

OK, so, @Aaron Weiss, @Santiago Pastorino, I'm thinking about calling this off until after the all hands. In particular, I feel like I need a bit more time to prep, and also — in retrospect — it might be nice to advertise more broadly.

lqd (Jan 31 2019 at 18:51, on Zulip):

alright, after all hands then :)

nikomatsakis (Jan 31 2019 at 18:53, on Zulip):

Yeah I think I need more than an hour to remember the key examples :)

nikomatsakis (Jan 31 2019 at 18:53, on Zulip):

Or at least to prep to explain them

nikomatsakis (Jan 31 2019 at 18:53, on Zulip):

(FYI, I've created a DropBox paper document)

lqd (Jan 31 2019 at 18:55, on Zulip):

the example Matthew pointed out last time we talked about an alternative analysis would probably be interesting

nikomatsakis (Jan 31 2019 at 18:55, on Zulip):

(my plan is for that to be the 'template' for a more live walkthrough)

Zarenor (Jan 31 2019 at 18:57, on Zulip):

I'll try to be on the lookout for it in a couple of weeks, then. I do rather look forward to it.

lqd (Jan 31 2019 at 18:57, on Zulip):

this plan/progressions looks nice

Santiago Pastorino (Jan 31 2019 at 18:57, on Zulip):

OK, so, @Aaron Weiss, @Santiago Pastorino, I'm thinking about calling this off until after the all hands. In particular, I feel like I need a bit more time to prep, and also — in retrospect — it might be nice to advertise more broadly.

@nikomatsakis makes sense!!!

lqd (Jan 31 2019 at 19:06, on Zulip):

(I was planning on telling @Aaron Weiss that I liked their Oxide work — and that there's also a bunch of us who are huge fans of Amal's work / group — so I'll just write it here instead of before the polonius walkthrough ;)

csmoe (Feb 01 2019 at 14:48, on Zulip):

@nikomatsakis will the zoom meeting be recorded? the meeting time is kind of late in my location(3:00am)

nikomatsakis (Feb 01 2019 at 15:28, on Zulip):

@csmoe yes

nikomatsakis (Feb 01 2019 at 15:28, on Zulip):

but not sure when I will reschedule for

nikomatsakis (Feb 15 2019 at 14:26, on Zulip):

PS, @Aaron Weiss, @Santiago Pastorino, @Zarenor, @csmoe, @Jake Goulding -- I am discussing this idea of the polonius walk through over in #t-compiler/wg-polonius

Aaron Weiss (Feb 15 2019 at 22:55, on Zulip):

(I was planning on telling @Aaron Weiss that I liked their Oxide work — and that there's also a bunch of us who are huge fans of Amal's work / group — so I'll just write it here instead of before the polonius walkthrough ;)

@lqd aaa, sorry, I didn't see this before. Thank you! :blush:

Last update: Nov 21 2019 at 15:10UTC