Stream: t-lang/wg-unsafe-code-guidelines

Topic: meeting-2019-01-24


nikomatsakis (Jan 24 2019 at 16:15, on Zulip):

I'm having some connectivity problems this morning

Alan Jeffrey (Jan 24 2019 at 16:16, on Zulip):

:wave:

RalfJ (Jan 24 2019 at 16:19, on Zulip):

:wave:

Alan Jeffrey (Jan 24 2019 at 16:22, on Zulip):

@avadacatavra is at LCA in NZ, so I'm guessing won't be joining us.

nikomatsakis (Jan 24 2019 at 16:24, on Zulip):

OK

nikomatsakis (Jan 24 2019 at 16:24, on Zulip):

Sorry, I think I am here now

nikomatsakis (Jan 24 2019 at 16:25, on Zulip):

I haven't really had time to follow up on anything lately, what with prep for the upcoming All Hands

nikomatsakis (Jan 24 2019 at 16:25, on Zulip):

but there was something on my mind

nikomatsakis (Jan 24 2019 at 16:26, on Zulip):

I don't think we'll have a lot of folks who are active in this UCG at the all hands specifically, but I know that @RalfJ will be there -- it seems like a good time perhaps to touch base with lang team a bit on some topics. Notably stacked borrows

nikomatsakis (Jan 24 2019 at 16:27, on Zulip):

we could attempt to schedule this in a "remote friendly" way, so people can maybe connect via vidyo, or perhaps to record

RalfJ (Jan 24 2019 at 16:28, on Zulip):

in terms of our usual triage, @Nicole Mazzuca updated her fn ptr PR, but I left a comment there

nikomatsakis (Jan 24 2019 at 16:28, on Zulip):

ok

nikomatsakis (Jan 24 2019 at 16:28, on Zulip):

so progress, if slow

RalfJ (Jan 24 2019 at 16:28, on Zulip):

and https://github.com/rust-rfcs/unsafe-code-guidelines/pull/59 is awaiting your ack, @nikomatsakis :)

nikomatsakis (Jan 24 2019 at 16:29, on Zulip):

:)

nikomatsakis (Jan 24 2019 at 16:29, on Zulip):

yes, looks better

nikomatsakis (Jan 24 2019 at 16:29, on Zulip):

we can merge that I guess

Nicole Mazzuca (Jan 24 2019 at 16:29, on Zulip):

I dunno how I missed that comment

Nicole Mazzuca (Jan 24 2019 at 16:29, on Zulip):

I'll update later

RalfJ (Jan 24 2019 at 16:30, on Zulip):

merge done

RalfJ (Jan 24 2019 at 16:30, on Zulip):

for https://github.com/rust-rfcs/unsafe-code-guidelines/pull/68, I think @nikomatsakis you said you'd take care of the token stuff?

nikomatsakis (Jan 24 2019 at 16:31, on Zulip):

Sigh, yes.

RalfJ (Jan 24 2019 at 16:31, on Zulip):

I dunno how I missed that comment

I was literally just going to ping you in there when you added the :+1:^^

nikomatsakis (Jan 24 2019 at 16:31, on Zulip):

One meta comment: I think it'd be great if we had kind of regular times to "update folks" on what we've been up to, the progress we're making, conversations we are happening. I would particularly like to be bringing the lang team up to speed and getting feedback from them. I expect maybe we can schedule some video conferences for this purpose, probably next month for first one.

nikomatsakis (Jan 24 2019 at 16:31, on Zulip):

(I would send around a doodle or something)

RalfJ (Jan 24 2019 at 16:32, on Zulip):

sure... if we could use this timeslot that'd be even better :P

nikomatsakis (Jan 24 2019 at 16:32, on Zulip):

well my main concern would be having enough time, but I bet we can use this general time slot

RalfJ (Jan 24 2019 at 16:32, on Zulip):

my main concern is how much time this is taking from what I should be doing^^

nikomatsakis (Jan 24 2019 at 16:32, on Zulip):

=)

nikomatsakis (Jan 24 2019 at 16:33, on Zulip):

Fair

nikomatsakis (Jan 24 2019 at 16:33, on Zulip):

well, that's more for future, we don't have to worry about it just now. But I do want to be thinking about it.

nikomatsakis (Jan 24 2019 at 16:33, on Zulip):

Anyway, I may have to run early this week too for various reasons.

RalfJ (Jan 24 2019 at 16:33, on Zulip):

agreed. and we can start that a bit at the all-hands, that week is booked anyway.

RalfJ (Jan 24 2019 at 16:34, on Zulip):

so why is noone commenting about all the validity invariants yet? :P

RalfJ (Jan 24 2019 at 16:34, on Zulip):

(with a few notable exceptions)

nikomatsakis (Jan 24 2019 at 16:34, on Zulip):

They are perfect

nikomatsakis (Jan 24 2019 at 16:34, on Zulip):

:P

nikomatsakis (Jan 24 2019 at 16:35, on Zulip):

I suspect most folks (like me) haven't gotten around to it, but we should all make a sweep...and maybe we can try to encourage more public participatio, e.g. from compiler+lang teams

nikomatsakis (Jan 24 2019 at 16:35, on Zulip):

it seems like we're starting to get into territory that is highly relevant to optimizations and things

nikomatsakis (Jan 24 2019 at 16:35, on Zulip):

at least in some cases

nikomatsakis (Jan 24 2019 at 16:36, on Zulip):

ok, sorry, I'm afraid I have to run =/ I'll try to check back in shortly

RalfJ (Jan 24 2019 at 16:36, on Zulip):

all right, see you!

RalfJ (Jan 24 2019 at 16:36, on Zulip):

I suspect most folks (like me) haven't gotten around to it, but we should all make a sweep...and maybe we can try to encourage more public participatio, e.g. from compiler+lang teams

yeah, so that goes hand-in-hand with talking to those folks more

Last update: Nov 19 2019 at 17:55UTC