(another reminder that I’ll be traveling back today and will miss the meeting tonight)
Should we just cancel it today, @WG-polonius?
The main thing I would like to do is to block out some meeting times on my calendar for next week, if we're going to do this Polonius hack-a-thon thing. I can send out some meeting invites in any case.
That was my main expectation as well, and I guess we could schedule async
skimming our last meeting I see
as three topics to start from?
something else I might like to do
is to review the work that @lqd has done on the datalog compiler and whether we can adopt that to help make iteration faster, as well as what we can do to simplify the current set of analyses
I will strongly prefer not Monday and not Thursday, as I have to be TAing at least intermittently at a lab during 13-17 local time
The other days I can take vacation if I need to (I still haven't talked to my PhD supervisor about this)
So looking at my own schedule
I propose then that on Monday @lqd and I can talk about subset errors and placeholder loans
sounds good to me :)
(you may have seen the WIP PR for placeholder loans already ?)
yeah I read it earlier and was indeed interested :)
maybe if we can bang out e.g. placeholder loans quickly, we can talk about _those_ higher-ranked subtyping requirements a bit more
(I'd surely need to brush up on chalk by then -- as it's been a long time since I contributed to it -- among other things, like the https://github.com/nikomatsakis/teyjus-rust-region-solver prototype, and surely learn a lot more about everything, but I would love to help out for this wherever I can)
I was sort of imagining we might use some of the "polonius" time to explore that idea on chalk -- I may try to do some pre-hacking around that
I'll also check out your PR