Stream: t-compiler

Topic: minutes for past meetings


nikomatsakis (Dec 20 2019 at 17:34, on Zulip):

Hey @pnkfelix I'm going to try and create minutes for those past design meetings. Did you want to talk 1 of them?

pnkfelix (Dec 20 2019 at 17:34, on Zulip):

yeah i'll take one

pnkfelix (Dec 20 2019 at 17:35, on Zulip):

there are three, right? So I'll let you pick which one you want me to take.

pnkfelix (Dec 20 2019 at 17:35, on Zulip):

Or I can roll a handy three-sided die

nikomatsakis (Dec 20 2019 at 17:35, on Zulip):

I think there are two?

nikomatsakis (Dec 20 2019 at 17:36, on Zulip):

hmm maybe I screwd up the labels?

nikomatsakis (Dec 20 2019 at 17:36, on Zulip):
nikomatsakis (Dec 20 2019 at 17:36, on Zulip):
pnkfelix (Dec 20 2019 at 17:36, on Zulip):

and also today's

pnkfelix (Dec 20 2019 at 17:36, on Zulip):

or did you already do that?

nikomatsakis (Dec 20 2019 at 17:37, on Zulip):

Ah, and today's, yes

nikomatsakis (Dec 20 2019 at 17:37, on Zulip):

I was expecting to do that

nikomatsakis (Dec 20 2019 at 17:37, on Zulip):

I took the minutes as we went for the most part

nikomatsakis (Dec 20 2019 at 17:37, on Zulip):

so i'll just upload what we have I think

pnkfelix (Dec 20 2019 at 17:37, on Zulip):

okay

pnkfelix (Dec 20 2019 at 17:37, on Zulip):

maybe I'll take compiler-team#222 then

nikomatsakis (Dec 20 2019 at 17:37, on Zulip):

which is definitely a best practice... but sometimes hard to achieve

pnkfelix (Dec 20 2019 at 18:17, on Zulip):

do you know what the "type:" field in the .md file is for? it seems like all the design-meeting minutes have 'type: docs' but I don't know if that's an artifact of cargo-cult-based authoring?

nikomatsakis (Dec 20 2019 at 18:27, on Zulip):

@pnkfelix no idea

nikomatsakis (Dec 20 2019 at 18:27, on Zulip):

I hate that metadata, I know that :)

nikomatsakis (Dec 20 2019 at 18:28, on Zulip):

I want to rewrite the website to be an mdbook

nikomatsakis (Dec 20 2019 at 18:28, on Zulip):

like forge

nikomatsakis (Dec 20 2019 at 18:29, on Zulip):

OK, I pushed the minutes for 2019-12-06 meeting

Last update: Jan 21 2020 at 08:20UTC