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

Topic: meeting-2019-02-14


avadacatavra (Feb 14 2019 at 15:50, on Zulip):

Agenda:
- How was all hands?

RalfJ (Feb 14 2019 at 15:54, on Zulip):

Agenda:
- How was all hands?

I collected some links in my blog post

nikomatsakis (Feb 14 2019 at 16:15, on Zulip):

:wave:

avadacatavra (Feb 14 2019 at 16:15, on Zulip):

both @nikomatsakis and i have been fairly overwhelmed with stuff, so the goal for this meeting is to chat and catch up after all hands afaik

nikomatsakis (Feb 14 2019 at 16:16, on Zulip):

hi all. I've been running around like a chicken with my head cut off after the all hands, indeed. The main thing on my mind is (a) trying to catch up on all the interesting stuff @RalfJ wrote about (I wasn't able to attend any of the meetings) and (b) trying to "connect" this group with the lang team in a better way

nikomatsakis (Feb 14 2019 at 16:17, on Zulip):

The lang team agreed, in principle, to establish a structure where the lang team meetings consist largely of "checking in" with working groups periodically, though we've not worked out the details. The idea would be that, at such a meeting, the working group attends, and we kind of discuss what's been going on

nikomatsakis (Feb 14 2019 at 16:17, on Zulip):

I'm kind of excited to get this going because I've noticd that there is definitely some "disconnect"

nikomatsakis (Feb 14 2019 at 16:18, on Zulip):

i.e., we've been having conversations, but lots of people (both in lang team and without) aren't really following -- which is to be expected! -- and are sometimes confused or surprised by the results

nikomatsakis (Feb 14 2019 at 16:18, on Zulip):

and/or imagine that we're talking about stuff we're actually not

nikomatsakis (Feb 14 2019 at 16:18, on Zulip):

so finding more effective ways to circulate summaries and get feedback seems pretty key

Alan Jeffrey (Feb 14 2019 at 16:18, on Zulip):

:wave:

avadacatavra (Feb 14 2019 at 16:20, on Zulip):

i think that a really good checkpoint will be when we finish validity invariants

avadacatavra (Feb 14 2019 at 16:20, on Zulip):

and can circulate the writeups we've done on this

nikomatsakis (Feb 14 2019 at 16:20, on Zulip):

I agree, though I think going forward we should expect to do more like "time-based" reports -- i.e., it doesn't have to be when we finish something (and maybe better if it's not)

nikomatsakis (Feb 14 2019 at 16:21, on Zulip):

but it seems like most imporant step is to start producing write-ups, whenever, however

nikomatsakis (Feb 14 2019 at 16:21, on Zulip):

:)

nikomatsakis (Feb 14 2019 at 16:21, on Zulip):

actually @RalfJ I have a question

avadacatavra (Feb 14 2019 at 16:21, on Zulip):

but it seems like most imporant step is to start producing write-ups, whenever, however

that's a really good takeaway

nikomatsakis (Feb 14 2019 at 16:21, on Zulip):

we talked about the idea of a "hybrid" validity invariant for references, where &T is not fully recursive but T must be bitstring valid

nikomatsakis (Feb 14 2019 at 16:22, on Zulip):

although I realize I am jumping right in the middle of this and that's bad, sorry

nikomatsakis (Feb 14 2019 at 16:22, on Zulip):

anyway I was just wondering if you felt like that worked at all, but I realize now I should ask that in a separate topic :P

nikomatsakis (Feb 14 2019 at 16:22, on Zulip):

/me crawls back to their hole

RalfJ (Feb 14 2019 at 16:22, on Zulip):

I think I posted this in the relevant GH issue

nikomatsakis (Feb 14 2019 at 16:22, on Zulip):

ok

RalfJ (Feb 14 2019 at 16:23, on Zulip):

but it's kind of weird

RalfJ (Feb 14 2019 at 16:23, on Zulip):

with &! being uninhabited but &&! not

nikomatsakis (Feb 14 2019 at 16:24, on Zulip):

(true)

nikomatsakis (Feb 14 2019 at 16:24, on Zulip):

I actually have to run, but will read backscroll

avadacatavra (Feb 14 2019 at 16:25, on Zulip):

i'm moving next week from the uk to the us, so i'm actually also going to peace. try not to go too in the weeds--i'll be reading later! <3

RalfJ (Feb 14 2019 at 16:26, on Zulip):

well, not many people left then it seems^^

RalfJ (Feb 14 2019 at 16:26, on Zulip):

@Alan Jeffrey if you have any questions...

Alan Jeffrey (Feb 14 2019 at 16:28, on Zulip):

@RalfJ no I'm good.

Alan Jeffrey (Feb 14 2019 at 16:28, on Zulip):

Short meeting!

RalfJ (Feb 14 2019 at 16:30, on Zulip):

seems like it. ttyl!

gnzlbg (Feb 18 2019 at 13:32, on Zulip):

sorry about missing the meeting, been quite busy with moving to munich while trying to turn in my phd thesis, i hope i will have more time soon

Last update: Nov 19 2019 at 18:35UTC