Stream: t-compiler/wg-polonius

Topic: sprint week


nikomatsakis (May 20 2020 at 14:29, on Zulip):

So I think we should do another sprint week -- which really I think means like 3 dedicated mornings? maybe 4? :) Or at least I would like to do that. Probably early to mid June.

nikomatsakis (May 20 2020 at 14:29, on Zulip):

Maybe we can start planning a bit the dates and agenda?

nikomatsakis (May 20 2020 at 14:29, on Zulip):

As usual I feel completely lost and don't remember where we were, but it'd be cool to line up some goals etc

lqd (May 20 2020 at 14:31, on Zulip):

early to mid june sounds good to me

lqd (May 20 2020 at 14:51, on Zulip):

as for agenda, what I had in mind was:

lqd (May 20 2020 at 15:06, on Zulip):

@Jake Goulding is that a good :astonished: emoji or a bad :astonished: emoji ? :)

Jake Goulding (May 20 2020 at 15:10, on Zulip):

It's me being a spoiled brat, really... I'm super excited to see Polonius happen, but I haven't seen any progress here so I figured that everyone was busy with other things. I'm happy to see that the work just wasn't being logged here (which I don't have any right to expect in the first place).

lqd (May 20 2020 at 15:16, on Zulip):

ah sorry about that, I should have thought more about the people following the work here

Jake Goulding (May 20 2020 at 15:23, on Zulip):

Not at all. If the choice is between y'all making 2x progress vs 1x progress and 1x progress updates, I'm OK with the former.

Albin Stjerna (May 28 2020 at 13:29, on Zulip):

I guess I would be a good candidate for looking at emitting move errors, and documenting the new rules in the Book

Albin Stjerna (May 28 2020 at 13:30, on Zulip):

(I'm still here, but I have done exactly nothing since my thesis, so it's exactly what it looks like)

Albin Stjerna (May 28 2020 at 13:31, on Zulip):

Early June may work for me, but I also have vacation basically late June to early August

nikomatsakis (May 28 2020 at 16:26, on Zulip):

Early June is coming up

lqd (May 29 2020 at 07:16, on Zulip):

(as I'll take vacation days off of work for this, the exact scheduling is open for me, to whenever y'all are available)

Last update: Jun 20 2021 at 00:30UTC