Stream: t-compiler

Topic: upcoming design meeting 2019-10-11


pnkfelix (Oct 08 2019 at 13:32, on Zulip):

Hey @Zoxc , I keep forgetting to ping you about the meeting this Friday

pnkfelix (Oct 09 2019 at 13:58, on Zulip):

the reason I wanted to ping @Zoxc is because I want to try to make a goal-oriented writeup of their internals post

pnkfelix (Oct 09 2019 at 13:59, on Zulip):

but perhaps an even more important short-term Q is: @Zoxc , do you think you will attend the design meeting this coming Friday?

pnkfelix (Oct 09 2019 at 13:59, on Zulip):

(because if you cannot, then it might make more sense to swap in a different topic this week...)

Zoxc (Oct 09 2019 at 15:26, on Zulip):

What time of day is it? I can probably attend if I'm awake =P

pnkfelix (Oct 10 2019 at 11:41, on Zulip):

the design meetings are at 16:00 CET on Fridays. (Same time as the triage meetings that are on Thursdays.)

pnkfelix (Oct 10 2019 at 11:41, on Zulip):

@Zoxc ^

Zoxc (Oct 10 2019 at 12:40, on Zulip):

So 15:00 CET? =P

pnkfelix (Oct 10 2019 at 12:44, on Zulip):

what?

pnkfelix (Oct 10 2019 at 12:44, on Zulip):

triage meetings are at 16:00 CET, no?

pnkfelix (Oct 10 2019 at 12:45, on Zulip):

am I using the wrong acronym here?

pnkfelix (Oct 10 2019 at 12:45, on Zulip):

oh is this a CET vs CEST thing?

centril (Oct 10 2019 at 12:45, on Zulip):

@pnkfelix blame Germany :frown:

pnkfelix (Oct 10 2019 at 12:46, on Zulip):

okay okay then

pnkfelix (Oct 10 2019 at 12:46, on Zulip):

the design meetings are at 16:00 UTC+2

DPC (Oct 10 2019 at 12:55, on Zulip):

CET Is invalid in summer ;)

pnkfelix (Oct 10 2019 at 12:56, on Zulip):

I didn't realize it was still summer

pnkfelix (Oct 10 2019 at 12:56, on Zulip):

(its too cold outside for it to be summer)

nikomatsakis (Oct 10 2019 at 14:19, on Zulip):

Just to put this note here:

I think it might be reasonable for tomorrow's meeting to discuss PR #62038. @Zoxc prepared a summary of the PR here. Ideally we'd also touch on the larger plans reflected in #60035.

mw (Oct 10 2019 at 15:09, on Zulip):

I'd be fine with either topic but I'd like to know in advance so I can prepare a bit

nikomatsakis (Oct 10 2019 at 15:38, on Zulip):

Agreed, I'd like to spend some time reading the PR / that summary, if that's what we will talk about

nikomatsakis (Oct 10 2019 at 15:38, on Zulip):

@pnkfelix thoughts?

pnkfelix (Oct 10 2019 at 15:44, on Zulip):

I say we should switch it

pnkfelix (Oct 10 2019 at 15:44, on Zulip):

I won’t have time to do write up tonight

Zoxc (Oct 10 2019 at 15:59, on Zulip):

Sounds fine

nikomatsakis (Oct 11 2019 at 13:16, on Zulip):

Seems like @pnkfelix won't make it today

nikomatsakis (Oct 11 2019 at 13:16, on Zulip):

Due to personal emergency

nikomatsakis (Oct 11 2019 at 13:16, on Zulip):

But I'll be here

Last update: Nov 22 2019 at 05:30UTC