Stream: t-compiler/wg-rfc-2229

Topic: regular sync time?


nikomatsakis (Mar 18 2019 at 20:13, on Zulip):

We might need to setup a regular sync time here, it's hard for me to carve out time otherwise =)

blitzerr (Mar 18 2019 at 20:18, on Zulip):

@nikomatsakis. Sure thing. :grinning:I am back in my regular time zone.

ange (Mar 19 2019 at 09:27, on Zulip):

@blitzerr what's your regular time zone?

ange (Mar 19 2019 at 09:28, on Zulip):

(I'm in CET ATM FWIW)

blitzerr (Mar 19 2019 at 10:09, on Zulip):

@ange I am in PST

Tom Phinney (Mar 19 2019 at 14:22, on Zulip):

Or is it PDT now that most of the States are on Daylight time?

blitzerr (Mar 19 2019 at 14:24, on Zulip):

Ya, it affected in daylight savings nonsense

nikomatsakis (Mar 20 2019 at 19:15, on Zulip):

@blitzerr you there now?

nikomatsakis (Mar 20 2019 at 19:15, on Zulip):

@blitzerr @ange or maybe @csmoe, if one of you can create a doodle for when to do a regular sync time, that'd be great -- also, should I add you to @WG-rfc-2229

nikomatsakis (Mar 20 2019 at 19:16, on Zulip):

well, I did the latter part :)

blitzerr (Mar 20 2019 at 19:21, on Zulip):

@nikomatsakis :wave:

nikomatsakis (Mar 20 2019 at 19:21, on Zulip):

Hi :)

nikomatsakis (Mar 20 2019 at 19:21, on Zulip):

sorry, trying to give you some feedback at long last!

nikomatsakis (Mar 20 2019 at 19:22, on Zulip):

but yeah regarding establishing a sync time, a doodle would be great

blitzerr (Mar 20 2019 at 19:23, on Zulip):

https://github.com/rust-lang/rust/compare/master...blitzerr:upvar-tuple

The test failure details are gathered here

blitzerr (Mar 20 2019 at 19:25, on Zulip):

The paper doc has the link to the last few commits.

blitzerr (Mar 20 2019 at 19:26, on Zulip):

@nikomatsakis All my changes are committed here in general.

blitzerr (Mar 20 2019 at 19:26, on Zulip):

I will create a doodle tonight.

blitzerr (Mar 21 2019 at 06:11, on Zulip):

Here is the doodle https://doodle.com/poll/tmua4e96px9t5844

blitzerr (Mar 21 2019 at 06:11, on Zulip):

It might have sent you multiple emails. I apologize for that.

blitzerr (Mar 21 2019 at 06:12, on Zulip):

@nikomatsakis @ange @csmoe :point_up:

blitzerr (Mar 21 2019 at 06:18, on Zulip):

Please note that the actual dates of March 25-29 are just placeholders. Think of poll times as the time and day during the week when we are most likely to be available for around 30 mins (should be more like 15-20). We will create a recurring calendar invite based on what most of us agree on.

blitzerr (Mar 22 2019 at 05:20, on Zulip):

@nikomatsakis did you vote ? I didn't find a time slot on which all 4 agreed

blitzerr (Mar 22 2019 at 05:26, on Zulip):

Mon 1500
Tue 1100, 1500
Thurs 1100, 1500
Fri 1000, 1100
These are the times that got maximum (3) votes. I only mention the start time of the meeting as the end time is (start + 30 mins)

blitzerr (Mar 22 2019 at 05:27, on Zulip):

All times are in PDT

nikomatsakis (Mar 22 2019 at 15:55, on Zulip):

@blitzerr sorry, I voted now --

nikomatsakis (Mar 22 2019 at 15:55, on Zulip):

I think I prefer Tue 11-11:30

nikomatsakis (Mar 22 2019 at 15:55, on Zulip):

the only downside is that I have a hard stop, as I have another meeting

nikomatsakis (Mar 22 2019 at 15:55, on Zulip):

but let's run with that, I may also be able to come in a bit earlier to answer questions

nikomatsakis (Mar 22 2019 at 15:55, on Zulip):

e.g., maybe I'll add something like 10:30-11 as my kind of "Sync up" time

nikomatsakis (Mar 22 2019 at 15:56, on Zulip):

I'm trying to ensure we have at least some kind of consistent "slice" of time

nikomatsakis (Mar 22 2019 at 15:56, on Zulip):

sorry I can't do more than that :)

nikomatsakis (Mar 22 2019 at 15:58, on Zulip):

Calendar event created -- seem good?

blitzerr (Mar 22 2019 at 15:58, on Zulip):

That's perfect @nikomatsakis . Given how many things you handle, I very much appreciate you time. Let's run with 10:30 to 11 then

nikomatsakis (Mar 22 2019 at 15:58, on Zulip):

Er, I made the event for 11-11:30

nikomatsakis (Mar 22 2019 at 15:58, on Zulip):

I could also do 10:30-11 actually

nikomatsakis (Mar 22 2019 at 15:58, on Zulip):

I was sort of figuring I'd show up a bit before hand though

nikomatsakis (Mar 22 2019 at 15:58, on Zulip):

to get my head in the right space :)

blitzerr (Mar 22 2019 at 15:59, on Zulip):

11 - 11:30 is fine

csmoe (Mar 22 2019 at 15:59, on Zulip):

it's 2:00am in my timezone :joy: but okay, I'll be there.

blitzerr (Mar 22 2019 at 16:00, on Zulip):

Context switching needs time

blitzerr (Mar 22 2019 at 16:00, on Zulip):

@csmoe you did vote for Tue 11 right ?
That one had 3 votes

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

lol

csmoe (Mar 22 2019 at 16:02, on Zulip):

csmoe you did vote for Tue 11 right ?
That one had 3 votes

yep, I know most of your guys are in that time range, so I tried my best to match you. :slight_smile:

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

time zones are tough :(

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

anyway, I'm earmarking some time for "responding to zulip threads" too

nikomatsakis (Mar 22 2019 at 16:05, on Zulip):

so hopefully that will work :)

blitzerr (Mar 22 2019 at 16:05, on Zulip):

:grinning: @nikomatsakis that's time management at a different level

blitzerr (Mar 22 2019 at 16:06, on Zulip):

Sorry @csmoe .

blitzerr (Mar 22 2019 at 16:06, on Zulip):

You are so kind

ange (Mar 24 2019 at 08:04, on Zulip):

err, the calendar is not publicly viewable, is this 11:00 PDT Tue Mar 26th?

csmoe (Mar 24 2019 at 08:11, on Zulip):

err, the calendar is not publicly viewable, is this 11:00 PDT Tue Mar 26th?

https://calendar.google.com/calendar/embed?src=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com&ctz=Asia%2FShanghai
it's the calendar of compiler team, you can find rfc-2229 there. @ange

ange (Mar 24 2019 at 08:51, on Zulip):

@csmoe thanks!

ange (Mar 24 2019 at 08:53, on Zulip):

oh it's supposed to be a zoom meeting? oops, need to find time to try that out beforehand :-)

csmoe (Mar 24 2019 at 08:54, on Zulip):

I'm not sure about zulip or zoom.

ange (Mar 24 2019 at 12:15, on Zulip):

Zulip sounds great

Last update: Nov 17 2019 at 07:00UTC