Stream: t-compiler/wg-mir-opt

Topic: place/mir 2.0 next meeting


Santiago Pastorino (Dec 23 2019 at 16:04, on Zulip):

I have been talking with @oli and @nikomatsakis about things to do related to MIR, now that PlaceBase is gone (this lives in a PR for now)

Santiago Pastorino (Dec 23 2019 at 16:05, on Zulip):

we commented the need of having a meeting with some other people to discuss ideas, possible designs, etc

Santiago Pastorino (Dec 23 2019 at 16:05, on Zulip):

have build this document https://hackmd.io/aQ8y79EfS72VCUoEmzLQpg out of the things that I had on my todo list :)

Santiago Pastorino (Dec 23 2019 at 16:06, on Zulip):

shall we do a meeting?, if so, what about this friday at the time we use to have design meetings given that nothing is planned

Santiago Pastorino (Dec 23 2019 at 16:07, on Zulip):

/cc @eddyb @RalfJ @Wesley Wiser and of course I've already pinged @nikomatsakis and @oli above :)

Wesley Wiser (Dec 23 2019 at 16:43, on Zulip):

This Friday sounds great to me!

nikomatsakis (Dec 23 2019 at 16:44, on Zulip):

I might be able to attend on Friday

nikomatsakis (Dec 23 2019 at 16:45, on Zulip):

not sure tho

nikomatsakis (Dec 23 2019 at 16:45, on Zulip):

I can certainly try to catch up

nikomatsakis (Dec 23 2019 at 16:45, on Zulip):

I'm looking over the list now

RalfJ (Dec 23 2019 at 18:04, on Zulip):

I'll be at 36C3 and not be able to attend the meeting... but I'll probably only be loosely involved in this anyway, I dont think I can commit to more than that.

RalfJ (Dec 23 2019 at 18:05, on Zulip):

most of it seems to be very compiler-internal anyway. removing Deref is interesting to me though :D

nikomatsakis (Dec 23 2019 at 18:12, on Zulip):

Removing deref means removing * projections?

nikomatsakis (Dec 23 2019 at 18:12, on Zulip):

That's the one that requires the most discussion and feels pretty distinct from the others

Santiago Pastorino (Dec 23 2019 at 18:35, on Zulip):

Removing deref means removing * projections?

took this one from https://paper.dropbox.com/doc/Place-2.0--ArBgF_YScsRX~TFkzv30lchCAg-9NjhX4N9I3dEt6YCJM8Ln

oli (Dec 28 2019 at 11:01, on Zulip):

I totally forgot about this. I thought friday was today

Santiago Pastorino (Dec 28 2019 at 11:02, on Zulip):

I did not forget about it, I wanted Niko and eddyb to be around

Santiago Pastorino (Dec 28 2019 at 11:02, on Zulip):

I've already pinged Niko to make it happen next week in case you're also able

Santiago Pastorino (Dec 28 2019 at 11:03, on Zulip):

it would be nice if we can do it on monday

Santiago Pastorino (Dec 28 2019 at 11:03, on Zulip):

otherwise I guess a doodle would work :)

oli (Dec 28 2019 at 11:12, on Zulip):

we can try monday

Wesley Wiser (Dec 28 2019 at 11:13, on Zulip):

Is it possible to do it later in the day Monday? I'd like to attend but Monday mornings are bad for me in general.

oli (Dec 28 2019 at 11:15, on Zulip):

eddyb wants after 2pm UTC-2

Wesley Wiser (Dec 28 2019 at 11:17, on Zulip):

That's fine for me

Santiago Pastorino (Dec 28 2019 at 11:23, on Zulip):

:+1:

Santiago Pastorino (Dec 28 2019 at 11:23, on Zulip):

if we can get Niko to do it at that time it would be great

Wesley Wiser (Dec 28 2019 at 11:34, on Zulip):

I'm finishing up some changes to const prop so we lint overflowing integer casts and then I'll finish up the perf improvement for large inhabited ZST arrays

Santiago Pastorino (Dec 28 2019 at 13:39, on Zulip):

eddyb wants after 2pm UTC-2

it's actually UTC+2

oli (Dec 28 2019 at 13:51, on Zulip):

damn

oli (Dec 28 2019 at 13:51, on Zulip):

there we go

oli (Dec 28 2019 at 13:51, on Zulip):

so... let's move it to whenever niko and wesley can be there

Santiago Pastorino (Dec 28 2019 at 14:14, on Zulip):

yes

Santiago Pastorino (Dec 30 2019 at 19:22, on Zulip):

this meeting is clearly not happening today, going to try to schedule for next week

Wesley Wiser (Dec 30 2019 at 19:54, on Zulip):

I've seen a scheduling tool somebody has used before to find common meeting times (Doodle perhaps?). Perhaps we could post a survey and the interested people could mark their availability?

Santiago Pastorino (Dec 30 2019 at 20:04, on Zulip):

yeah Doodle is a pretty common thing to use, gonna start one but I'd like to keep it as short as possible

Santiago Pastorino (Dec 30 2019 at 21:30, on Zulip):

Doodle for the meeting: https://doodle.com/poll/76sz773axq5rnf4x

Santiago Pastorino (Dec 30 2019 at 21:31, on Zulip):

@nikomatsakis @oli @eddyb @Wesley Wiser :point_up:

Santiago Pastorino (Jan 03 2020 at 04:15, on Zulip):

@nikomatsakis @oli @eddyb meeting next tuesday the 7th 12pm GMT-3, if I’m not wrong that’s 10am Niko’s time, 4pm Oli’s time and 5pm Eddyb’s time, just in case check the doodle link above and you will find out the right time in your timezone there

Santiago Pastorino (Jan 03 2020 at 04:17, on Zulip):

have created an event on the compiler calendar too

Last update: Sep 18 2020 at 20:45UTC