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

Topic: meeting-2019-01-31


avadacatavra (Jan 31 2019 at 16:01, on Zulip):

We are having a meeting today!

avadacatavra (Jan 31 2019 at 16:01, on Zulip):

Agenda requests here please :)

avadacatavra (Jan 31 2019 at 16:02, on Zulip):

Apologies for my disappearance—I was in New Zealand. Also I’m in the middle of moving from the UK to the US so I’ll be a little out of the loop

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

:wave:

avadacatavra (Jan 31 2019 at 16:11, on Zulip):

How goes validity invariants

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

Hello

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

I was just spending time reading over the various issues and threads

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

So far, not a ton of activity

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

Perhaps because a lot of things are uncontroversial =)

avadacatavra (Jan 31 2019 at 16:19, on Zulip):

i've just tweeted it out

avadacatavra (Jan 31 2019 at 16:20, on Zulip):

let's give it another week

avadacatavra (Jan 31 2019 at 16:20, on Zulip):

and if it's still uncontroversial, start with writeups

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

A couple of notes re: all hands:

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

We may be able to record it, though, and at minimum we'll keep and publish minutes

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

(I think we should maybe think about a UCG live get-together, though I'm not sure when that would happen)

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

My schedule at least is pretty constrained. Piggy-backing on RustConf or RustBeltRust could work for me maybe.

avadacatavra (Jan 31 2019 at 16:21, on Zulip):

i agree that we should think about it--perhaps around rustconf

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

(That's a bit for the future)

avadacatavra (Jan 31 2019 at 16:21, on Zulip):

i won't be at the all hands (because i'm moving in 17 days and not freaking out at all)

avadacatavra (Jan 31 2019 at 16:22, on Zulip):

but i'll likely do some remote participation

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

ok

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

btw

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

Lang Team is going to be discussing this at All Hands, but I am arguing for us to change Lang Team processes to be much more composed of "active working groups giving periodic updates".

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

Regardless, I think we should think about having some kind of periodic updates of this kind -- I imagine a kind of video call that we record and publish where we talk over what we decided

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

perhaps at each change of topic

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

we could do this retroactively for the repr invariants?

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

or wait a bit

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

i think that we should do both invariants at a time

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

but I think it'd be a good way to help people follow along

avadacatavra (Jan 31 2019 at 16:25, on Zulip):

so we can start working on it

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

i think that we should do both invariants at a time

yeah, I was going to suggest that as an alternative

avadacatavra (Jan 31 2019 at 16:26, on Zulip):

i see that we still have a pr for function pointers

avadacatavra (Jan 31 2019 at 16:26, on Zulip):

ready to merge?

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

seems ok to me. It does contain a bit of content that -- strictly speaking -- is more about validity invariants

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

but otoh not a controversial part

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

so I say just merge it who cares

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

we can always amend

avadacatavra (Jan 31 2019 at 16:28, on Zulip):

that is the magic of computers

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

this PR has been open too long :)

avadacatavra (Jan 31 2019 at 16:29, on Zulip):

not anymore!

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

<3

avadacatavra (Jan 31 2019 at 16:29, on Zulip):

/me embraces her gh konmarie

avadacatavra (Jan 31 2019 at 16:29, on Zulip):

ok, so what's going on with @RalfJ's stacked borrows spec

avadacatavra (Jan 31 2019 at 16:29, on Zulip):

good to merge?

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

I'm inclined to merge

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

and to do further work with new PRs

avadacatavra (Jan 31 2019 at 16:35, on Zulip):

we are very aligned on this

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

no pun..intended

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

well, I guess stacked borrows doesn't have much to do with alignemtn

avadacatavra (Jan 31 2019 at 16:36, on Zulip):

it still works

avadacatavra (Jan 31 2019 at 16:40, on Zulip):

next week is the rust all hands, so i'm not surprised it's been a quiet meeting. maybe we can do a virtual f2f next thursday?

gnzlbg (Jan 31 2019 at 16:41, on Zulip):

@avadacatavra i'm moving tomorrow and i'm totally freaking out

avadacatavra (Jan 31 2019 at 16:42, on Zulip):

i share your panic. panic shared is panic...probs exponentiated tbh

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

I won't be available next week

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

I am confident I will be consumed by other stuff

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

I'd be happy to just meet again in 2 weeks

avadacatavra (Jan 31 2019 at 16:44, on Zulip):

wfm

avadacatavra (Jan 31 2019 at 16:45, on Zulip):

good chat people--see you on github or in 2 weeks!!!

RalfJ (Jan 31 2019 at 17:06, on Zulip):

sorry I completely forgot about this

RalfJ (Jan 31 2019 at 17:06, on Zulip):

but seems like I didn't miss much^^

Last update: Nov 20 2019 at 13:15UTC