Stream: t-compiler/wg-polonius

Topic: roadmap


nikomatsakis (Feb 25 2019 at 21:22, on Zulip):

So I created a Dropbox paper document where I sketched out roughly the work I think is to be done

nikomatsakis (Feb 25 2019 at 21:22, on Zulip):

it's not 100% complete

nikomatsakis (Feb 25 2019 at 21:23, on Zulip):

I am trying to figure out my week but I'd like to maybe schedule some kind of triage meeting to discuss which tasks are good to focus on first

Albin Stjerna (Mar 01 2019 at 05:30, on Zulip):

Hi! Today I have been back at work again in some real capacity, so I'd love to get that triage meeting up and running. I've been reading everything I can get my hands on, but it's mostly directionless at this point and I feel more than a little lost. Ping @nikomatsakis.

nikomatsakis (Mar 01 2019 at 16:38, on Zulip):

@Albin Stjerna :wave:

nikomatsakis (Mar 01 2019 at 16:44, on Zulip):

@Albin Stjerna remind me your time zone? I'll try to get a doodle up and going for us to schedule a regular meeting

nikomatsakis (Mar 01 2019 at 18:03, on Zulip):

("us" in that sentence being "Polonius WG")

Albin Stjerna (Mar 01 2019 at 21:42, on Zulip):

@nikomatsakis The not at all Boston-incompatible Melbourne time, that is GMT + 11 I think (DST active)

nikomatsakis (Mar 01 2019 at 21:43, on Zulip):

@Albin Stjerna I see =) tell you what, can you create a doodle poll for various timeslots that would work for you over the next few weeks and send the link

nikomatsakis (Mar 01 2019 at 21:43, on Zulip):

then the rest of us can fill it out :)

nikomatsakis (Mar 01 2019 at 21:44, on Zulip):

(alternatively doodle makes it easy to just create a poll with the same hours every day, so you can just make a broad-based poll and fill it out yourself later)

Albin Stjerna (Mar 01 2019 at 21:44, on Zulip):

Sure!

nikomatsakis (Mar 01 2019 at 21:44, on Zulip):

great =)

Albin Stjerna (Mar 01 2019 at 22:14, on Zulip):

Ok, here’s a rather high resolution Doodle: https://doodle.com/poll/it8gbfxazcevgc53

Matthew Jasper (Mar 03 2019 at 14:00, on Zulip):

The poll doesn't appear to have a time zone specified

nikomatsakis (Mar 03 2019 at 19:39, on Zulip):

@Albin Stjerna yeah, we definitively want a time zone specified

lqd (Mar 03 2019 at 20:56, on Zulip):

so all the night slots like 3AM were not because of timezone differences ? :joy:

Albin Stjerna (Mar 03 2019 at 21:41, on Zulip):

Oh I just assumed it would use my local time zone when I added options, let me see if I can fix that. Also, I don’t think I have any slots 3AM?!

Albin Stjerna (Mar 03 2019 at 21:44, on Zulip):

Oh right I do, for the part where I manually adjusted for time zones

Albin Stjerna (Mar 04 2019 at 11:09, on Zulip):

Ok, here is a new, shorter Doodle in the right time zone (turns out one has to be using the Web client for making it, it seems). I made it a shorter span: https://doodle.com/poll/586vffqgffydg2qw

nikomatsakis (Mar 04 2019 at 11:10, on Zulip):

@Albin Stjerna oh, nice, I'll fill it out right now. (Trying to lay out my week plan)

nikomatsakis (Mar 04 2019 at 11:12, on Zulip):

That said, those are 2h blocks?

nikomatsakis (Mar 04 2019 at 11:12, on Zulip):

I doubt I can find that much open space anywhere :P

nikomatsakis (Mar 04 2019 at 11:13, on Zulip):

@Albin Stjerna out of curiousity, is there a reason you didn't put any time for tomorrow? (What is my Tuesday, I think you're Wednesday)

nikomatsakis (Mar 04 2019 at 11:14, on Zulip):

it looks like the overlap for me would be Tuesday / Thu late-afternoon (I think that is Wed / Fri mornings for you)

nikomatsakis (Mar 04 2019 at 11:15, on Zulip):

Oh, there were multiple weeks

nikomatsakis (Mar 04 2019 at 11:16, on Zulip):

(Though they still don't include (my) Tuesday)

nikomatsakis (Mar 04 2019 at 20:41, on Zulip):

OK, I scheduled a meeting for Thu 16:00-17:00 UTC-05:00

nikomatsakis (Mar 04 2019 at 20:42, on Zulip):

I could go a bit longer if needed

Albin Stjerna (Mar 04 2019 at 20:46, on Zulip):

Great! I used two-hour blocks in order to avoid having a gazillion options, but meant “available at some point during this slot”. Maybe I should have written that somewhere

Albin Stjerna (Mar 04 2019 at 20:47, on Zulip):

I left out Tuesday because I’m travelling; Friday morning is best for me!

Albin Stjerna (Mar 04 2019 at 20:50, on Zulip):

Should translate to Thursday evening for me

Albin Stjerna (Mar 04 2019 at 20:51, on Zulip):

But that’s great

Albin Stjerna (Mar 04 2019 at 20:52, on Zulip):

@nikomatsakis I didn’t see your event in the shared calendar though

Albin Stjerna (Mar 04 2019 at 20:53, on Zulip):

(By now I’m very time zone paranoid)

Albin Stjerna (Mar 05 2019 at 03:01, on Zulip):

Correction: no you’re right and the time zone calculator I used was wrong; it’s Friday morning for me

nikomatsakis (Mar 05 2019 at 13:45, on Zulip):

very good =)

nikomatsakis (Mar 05 2019 at 13:45, on Zulip):

I'll try to leave some more notes in that paper doc in the meantime

Santiago Pastorino (Mar 05 2019 at 18:01, on Zulip):

oh, I've just voted on the poll but figured that you've already set a time for the meeting, right?

Santiago Pastorino (Mar 05 2019 at 18:03, on Zulip):

Thursday it's impossible for me, it's my daughter's first birthday :)

Santiago Pastorino (Mar 05 2019 at 18:03, on Zulip):

according to the doodle monday same time everyone is able too in case we can change it

Santiago Pastorino (Mar 07 2019 at 15:41, on Zulip):

@nikomatsakis did we set on having the meeting today? or move to monday?

Santiago Pastorino (Mar 07 2019 at 15:41, on Zulip):

I guess I can watch the video later in case you do it today :)

nikomatsakis (Mar 07 2019 at 15:53, on Zulip):

I think we will have it today, but I was expecting a Zulip meeting

nikomatsakis (Mar 07 2019 at 15:54, on Zulip):

Though maybe voice would be better

nikomatsakis (Mar 07 2019 at 15:54, on Zulip):

I was mostly hoping to focus on setting up some concrete next steps, I didn't really prep for a "teach more about polonius session", although I think there are more of those to do

nikomatsakis (Mar 07 2019 at 15:54, on Zulip):

I want to get @Albin Stjerna's hands dirty, they are trying to do a masters in this area :)

Last update: Nov 15 2019 at 21:15UTC