Stream: t-compiler/wg-meta

Topic: meeting 2019.05.16


nikomatsakis (May 16 2019 at 18:01, on Zulip):

Hello @T-compiler/WG-meta =) Meeting

nikomatsakis (May 16 2019 at 18:02, on Zulip):

I guess let's start by looking at the open pull requests on https://github.com/rust-lang/compiler-team/pulls

nikomatsakis (May 16 2019 at 18:02, on Zulip):

https://github.com/rust-lang/compiler-team/pull/94 -- triage notes -- I'll merge

nikomatsakis (May 16 2019 at 18:03, on Zulip):

Add a repository for cargo-lockfile-sync compiler-team#89 -- this is still waiting for "checkboxes" from @Zoxc, @pnkfelix @nagisa and @varkor. Hard to imagine it's that controversial. =)

nikomatsakis (May 16 2019 at 18:03, on Zulip):

[WIP] Create static web page for the compiler team with zola compiler-team#83

nikomatsakis (May 16 2019 at 18:04, on Zulip):

From most recent comment by @Federico Carrone

Tasks left:
- add removed files by mistake
- manually add title to all documents and dates to all files
- add links between files
- only entries from a blog folder should be added to the blog index that sits at the root. i don't know why some entries are being added by zola automatically.
- clean commits

davidtwco (May 16 2019 at 18:04, on Zulip):

I've not had a chance to run this locally since the most recent changes to it, I might try take a look at it soon or just wait until it's ready.

Federico Carrone (May 16 2019 at 18:07, on Zulip):

Today I will add the title and dates to all the files and readd 3 missing files. After that most of the work that is left is to change the markdown contents and add links between the documents. It is easy but boring work :P

centril (May 16 2019 at 18:07, on Zulip):

@nikomatsakis btw, once folks have ticked their boxes on https://github.com/rust-lang/compiler-team/issues/80, should I then turn it into a proper RFC?

nikomatsakis (May 16 2019 at 18:07, on Zulip):

@centril I don't know that you have to wait

nikomatsakis (May 16 2019 at 18:07, on Zulip):

that was just a poll

centril (May 16 2019 at 18:08, on Zulip):

@nikomatsakis ah; OK; i'll make it into a proper RFC soon-ish then

centril (May 16 2019 at 18:08, on Zulip):

(some nits to work out first)

nikomatsakis (May 16 2019 at 18:08, on Zulip):

OK, next PR..

nikomatsakis (May 16 2019 at 18:09, on Zulip):

Er, that's it

nikomatsakis (May 16 2019 at 18:09, on Zulip):

OK, looking at the issues list...

nikomatsakis (May 16 2019 at 18:09, on Zulip):

contributor RFC compiler-team#88 is assigned to me

nikomatsakis (May 16 2019 at 18:09, on Zulip):

I thnk I updated the PR now, so it should hopefully land soon, and then I just have to make an announcement

nikomatsakis (May 16 2019 at 18:09, on Zulip):

I probably want to update the compiler-team repository to also include some definitions here

nikomatsakis (May 16 2019 at 18:10, on Zulip):

i.e., taking the text of the RFC and adding it

nikomatsakis (May 16 2019 at 18:11, on Zulip):

create a help-wanted thread on internals compiler-team#77

nikomatsakis (May 16 2019 at 18:11, on Zulip):

assigned to me but i"ve still not done anything here

nikomatsakis (May 16 2019 at 18:11, on Zulip):

it's not like it's very hard :)

davidtwco (May 16 2019 at 18:11, on Zulip):

And the initial post you had in mind is moot now.

nikomatsakis (May 16 2019 at 18:11, on Zulip):

Yeah, that's part of it

nikomatsakis (May 16 2019 at 18:11, on Zulip):

I guess I could do it and try to drive attention to some P-high bugs

nikomatsakis (May 16 2019 at 18:12, on Zulip):

it can also wait; I still thikn it's probably a good idea but ... maybe not. unclear. :)

nikomatsakis (May 16 2019 at 18:12, on Zulip):

the only other assigned issue is:

nikomatsakis (May 16 2019 at 18:12, on Zulip):

Improve the working group check-in schedule. #60

nikomatsakis (May 16 2019 at 18:12, on Zulip):

which I think is blocked on the zola work?

davidtwco (May 16 2019 at 18:12, on Zulip):

create a help-wanted thread on internals compiler-team#77

It's sort of related to compiler-team#62.

davidtwco (May 16 2019 at 18:12, on Zulip):

which I think is blocked on the zola work?

Yeah.

nikomatsakis (May 16 2019 at 18:13, on Zulip):

It's sort of related to compiler-team#62.

yeah, it is

nikomatsakis (May 16 2019 at 18:13, on Zulip):

so, I guess we could chat a bit about next steps here; it seems lke we're reaching a certain "calm point", at least once the zola work proceeds

nikomatsakis (May 16 2019 at 18:13, on Zulip):

i.e., we've kind of setup some basic infrastructure

Santiago Pastorino (May 16 2019 at 18:14, on Zulip):

about compiler-team#87, I think I can open a PR with at least one directory filled, so others can jump and make suggestions which would be easy

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

so maybe worth thinking about what we want to focus on next, or if we want to keep it moving slow, finish up the zola stuff, and then revisit

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

about compiler-team#87, I think I can open a PR with at least one directory filled, so others can jump and make suggestions which would be easy

sounds good

Santiago Pastorino (May 16 2019 at 18:14, on Zulip):

about compiler-team#87, I think I can open a PR with at least one directory filled, so others can jump and make suggestions which would be easy

or I can even continue and do it all :)

Santiago Pastorino (May 16 2019 at 18:14, on Zulip):

but at least is a way to start moving the thing

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

I assigned to you

nikomatsakis (May 16 2019 at 18:15, on Zulip):

I think the "big ticket" things that remain are kind of

davidtwco (May 16 2019 at 18:15, on Zulip):

so maybe worth thinking about what we want to focus on next, or if we want to keep it moving slow, finish up the zola stuff, and then revisit

What do you think is the next most important thing to tackle?

davidtwco (May 16 2019 at 18:15, on Zulip):

I suppose that question has been answered.

nikomatsakis (May 16 2019 at 18:15, on Zulip):

sorry, improving zola probably isn't really a big ticket item

nikomatsakis (May 16 2019 at 18:15, on Zulip):

I'm not sure what I meant by that actually :)

nikomatsakis (May 16 2019 at 18:16, on Zulip):

I think I was thinking about

nikomatsakis (May 16 2019 at 18:16, on Zulip):

that list that we made where we enumerated "all the tasks" in/around compiler-team

nikomatsakis (May 16 2019 at 18:16, on Zulip):

let me go looking...

davidtwco (May 16 2019 at 18:16, on Zulip):

let me go looking...

@nikomatsakis here

nikomatsakis (May 16 2019 at 18:16, on Zulip):

this list

nikomatsakis (May 16 2019 at 18:17, on Zulip):

that's a different list, @davidtwco, but also relevant, yes...

davidtwco (May 16 2019 at 18:17, on Zulip):

We were thinking of different lists.

nikomatsakis (May 16 2019 at 18:17, on Zulip):

right, the one I put, I feel like at some point I had hoped to kind of think about how to ensure that each of those things happens

davidtwco (May 16 2019 at 18:17, on Zulip):

Let's go with that list then.

nikomatsakis (May 16 2019 at 18:18, on Zulip):

maybe a good starting point would be trying to assess which of them we do well now

davidtwco (May 16 2019 at 18:18, on Zulip):

Would it make sense to rank them?

davidtwco (May 16 2019 at 18:19, on Zulip):

Which you feel are most pressing/would be most beneficial to resolve?

nikomatsakis (May 16 2019 at 18:19, on Zulip):

perhaps. I was debating about throwing them in a spreadsheet or something

davidtwco (May 16 2019 at 18:20, on Zulip):

Could make another unwieldy markdown table.. :stuck_out_tongue:

nikomatsakis (May 16 2019 at 18:20, on Zulip):

lol

nikomatsakis (May 16 2019 at 18:20, on Zulip):

I guess we can start with this, skimming the list, throw some things onto Zulip that catch your eye

nikomatsakis (May 16 2019 at 18:21, on Zulip):

either because "that's really important" or "we do that pretty well" or "I have an idea for that" :)

Santiago Pastorino (May 16 2019 at 18:21, on Zulip):

is the idea to put this document on the repo?

nikomatsakis (May 16 2019 at 18:22, on Zulip):

Well, I don't know.

nikomatsakis (May 16 2019 at 18:22, on Zulip):

I thnk this list doesn't necessarily want to go into any repo but

nikomatsakis (May 16 2019 at 18:22, on Zulip):

I do think trying to document out the things a wg should be doing

nikomatsakis (May 16 2019 at 18:22, on Zulip):

and some ideas for how to achieve them

nikomatsakis (May 16 2019 at 18:22, on Zulip):

is probably a good idea

nikomatsakis (May 16 2019 at 18:23, on Zulip):

and that is kind of "contained within" this doc

nikomatsakis (May 16 2019 at 18:23, on Zulip):

anyway, my hunch is that, in this meeting, it's ok to just land the compiler contributors RFC, work on zola, at least for a bit. I feel like we're still "getting a feeling" for how WGs will work, and if the design meetings will pan out as a way to talk over changes etc

davidtwco (May 16 2019 at 18:24, on Zulip):

In no particular order, these are the key ones in my mind:

But also, "Surfacing larger tasks - ie. reasonably-well-documented things-we-want-to-do (such that someone could just go and start on) that aren't just in people's minds".

nikomatsakis (May 16 2019 at 18:27, on Zulip):

This feels right. I am thinking about that middle one a lot.

nikomatsakis (May 16 2019 at 18:27, on Zulip):

But not just tracking but like focusing attention

nikomatsakis (May 16 2019 at 18:28, on Zulip):

Well, our times almost up in any case :) we can kind of think about that. The most actionable of those 3 might be the "mentoring" idea

davidtwco (May 16 2019 at 18:29, on Zulip):

You did have a decent draft of the journeyperson role already written.

nikomatsakis (May 16 2019 at 18:29, on Zulip):

I think I'm partially just thinking about how I want us to be kind of "coming together" around some concrete goals -- e.g., a super reactive IDE, or 10x improvement in compile time on certain tests, or something -- and that is often hard to achieve. Partially cause those goals are really hard. :)

nikomatsakis (May 16 2019 at 18:29, on Zulip):

You did have a decent draft of the journeyperson role already written.

Yeah. Probably what's needed is just to kind of try it

Santiago Pastorino (May 16 2019 at 18:29, on Zulip):

the mentoring idea seems super nice and important

Santiago Pastorino (May 16 2019 at 18:30, on Zulip):

I think I'm partially just thinking about how I want us to be kind of "coming together" around some concrete goals -- e.g., a super reactive IDE, or 10x improvement in compile time on certain tests, or something -- and that is often hard to achieve. Partially cause those goals are really hard. :)

but it's really that part of this WG?

nikomatsakis (May 16 2019 at 18:30, on Zulip):

Do we have an open issue on that, @davidtwco? (The "mentoring" thing?)

davidtwco (May 16 2019 at 18:30, on Zulip):

It sort of ties into my fourth point in that it would surface these large tasks that normally just exist in people's minds for contributors to work on.

davidtwco (May 16 2019 at 18:31, on Zulip):

Do we have an open issue on that, davidtwco? (The "mentoring" thing?)

compiler-team#56

nikomatsakis (May 16 2019 at 18:31, on Zulip):

but it's really that part of this WG?

No, I mean, not really. :) I guess I would say only to the extent of providing a place to organize those things.

Santiago Pastorino (May 16 2019 at 18:31, on Zulip):

ahhh :)

nikomatsakis (May 16 2019 at 18:31, on Zulip):

It sort of ties into my fourth point in that it would surface these large tasks that normally just exist in people's minds for contributors to work on.

I see, yes. So let's focus on that for a second--

nikomatsakis (May 16 2019 at 18:31, on Zulip):

one thing we might do is sketch a policy

Santiago Pastorino (May 16 2019 at 18:31, on Zulip):

sounded a bit crazy when I read it :P

nikomatsakis (May 16 2019 at 18:31, on Zulip):

and then maybe tlak to people to try and nominate some ideas for projects that might be a good fit?

centril (May 16 2019 at 18:31, on Zulip):

@nikomatsakis pre-triage :slight_smile:

nikomatsakis (May 16 2019 at 18:31, on Zulip):

try to cajole @eddyb

nikomatsakis (May 16 2019 at 18:32, on Zulip):

:)

nikomatsakis (May 16 2019 at 18:32, on Zulip):

oh, that reminds me, I'll be traveling next week

nikomatsakis (May 16 2019 at 18:32, on Zulip):

if y'all want to hold the meeting, seems fine, but I think it's also ok to skip it

nikomatsakis (May 16 2019 at 18:33, on Zulip):

I'll delete from calendar, thanks all :heart:

Last update: Nov 11 2019 at 22:00UTC