Stream: t-lang

Topic: design meeting


nikomatsakis (Jan 06 2020 at 14:39, on Zulip):

Hey @T-lang -- just a remember that today (in a little over two hours) we have our first design meeting, discussing the pin soundness bug. Hopefully @RalfJ will be able to make it. I was wondering if anybody knows if there is a good summary that people can read to get an "overview" of the issue? (I've got to catch up, I stopped looking at some point)

nikomatsakis (Jan 06 2020 at 15:51, on Zulip):

Also, for the next two design meetings, I propose:

I'd like to have a write-up available for each of those meetings.

nikomatsakis (Jan 06 2020 at 15:51, on Zulip):

@pnkfelix and I won't be avail Jan 27, so we could cancel then.

nikomatsakis (Jan 06 2020 at 16:08, on Zulip):

For reference, the internals thread on Pin is here

nikomatsakis (Jan 06 2020 at 16:13, on Zulip):

Created a dropbox paper to take notes, as I've been persuaded hackmd is more annoying

Josh Triplett (Jan 06 2020 at 16:20, on Zulip):

I'm not going to be able to make it today; conflicting personal appointment.

nikomatsakis (Jan 06 2020 at 16:38, on Zulip):

OK. I've been catching up on the background thread but I'm finding I have some embrassingly basic questions around Pin, so I can't really setup the "general summary" I had hoped to

RalfJ (Jan 06 2020 at 16:52, on Zulip):

hi there! yes I'll make it (if Zoom works ;)

nikomatsakis (Jan 06 2020 at 16:54, on Zulip):

Zoom link

nikomatsakis (Jan 06 2020 at 17:01, on Zulip):

Hey @T-lang -- paper link

nikomatsakis (Jan 13 2020 at 17:02, on Zulip):

Hey @T-lang --

nikomatsakis (Jan 13 2020 at 17:02, on Zulip):

paper document link

nikomatsakis (Jan 13 2020 at 20:00, on Zulip):

So let's discuss upcoming design meetings. I was saying to @Josh Triplett that today's meeting was interesting. I was having doubts if it was a good topic or not, but it seemed like it was pretty useful in terms of getting everybody on the same page.

nikomatsakis (Jan 13 2020 at 20:00, on Zulip):

I think the next 2 weeks are probably not good because of hoildays / mozilla all hands

nikomatsakis (Jan 13 2020 at 20:00, on Zulip):

I'd like to be synchronizing more with some of the project groups

nikomatsakis (Jan 13 2020 at 20:00, on Zulip):

I see @Amanieu just posted Inline assembly rust-lang/rfcs#2850

nikomatsakis (Jan 13 2020 at 20:01, on Zulip):

I want to get @RalfJ and talk about the derefernceable attribute and especially the use around UnsafeCell, interactions with MMIO, not sure -- there are many angles of attack here

Lokathor (Jan 14 2020 at 04:35, on Zulip):

Was today's meeting recorded?

nikomatsakis (Jan 14 2020 at 21:21, on Zulip):

Yes, I'll be posting it shortly

RalfJ (Jan 14 2020 at 21:52, on Zulip):

I want to get RalfJ and talk about the derefernceable attribute and especially the use around UnsafeCell, interactions with MMIO, not sure -- there are many angles of attack here

yeah this has plenty of interactions at this pint

nikomatsakis (Jan 14 2020 at 22:03, on Zulip):

@RalfJ would there be some week in February that works better for you to discuss "something about that"? (we can also narrow down which angle is best)

RalfJ (Jan 15 2020 at 09:02, on Zulip):

February doesnt have anything scheduled in it, so any week should be fine

Last update: Jan 28 2020 at 00:40UTC