Stream: t-compiler/wg-learning

Topic: meeting 2019-06-25


mark-i-m (Jun 25 2019 at 15:16, on Zulip):

@WG-learning Meeting today in 4.5 hours :)

mark-i-m (Jun 25 2019 at 15:17, on Zulip):

Here is the rolling agenda: https://hackmd.io/s/SysIzeMRE

mark-i-m (Jun 25 2019 at 15:17, on Zulip):

Feel free to add/reorder items

Amanjeev Sethi (Jun 25 2019 at 16:03, on Zulip):

I am on vacation so will miss today’s meeting. #316 was merged, thanks to @mark-i-m. once back i will pick another video from #319.

Santiago Pastorino (Jun 25 2019 at 18:47, on Zulip):

great work @Amanjeev Sethi, let us know when you grab something new

Santiago Pastorino (Jun 25 2019 at 19:30, on Zulip):

@WG-learning meeting time

Santiago Pastorino (Jun 25 2019 at 19:30, on Zulip):

hi everyone! :hi:

Santiago Pastorino (Jun 25 2019 at 19:30, on Zulip):

so ... as @mark-i-m have previously mentioned we have this rolling agenda https://hackmd.io/s/SysIzeMRE

Santiago Pastorino (Jun 25 2019 at 19:31, on Zulip):

first of all we can give a round of updates, @Amanjeev Sethi have already updated us with info

Santiago Pastorino (Jun 25 2019 at 19:31, on Zulip):

does somebody else have updates?

mark-i-m (Jun 25 2019 at 19:32, on Zulip):

I finally got a chance to look at the issues blocking us on adding rustc-guide to toolstate

Santiago Pastorino (Jun 25 2019 at 19:32, on Zulip):

ohh cool

Santiago Pastorino (Jun 25 2019 at 19:32, on Zulip):

where is the progress of that?

mark-i-m (Jun 25 2019 at 19:32, on Zulip):

We are waiting for a bors try and review from kennytm

mark-i-m (Jun 25 2019 at 19:33, on Zulip):

The hope is that the latest changes will make it possible to finally merge the PR

Santiago Pastorino (Jun 25 2019 at 19:33, on Zulip):

cool

lokalmatador (Jun 25 2019 at 19:33, on Zulip):

hi

Santiago Pastorino (Jun 25 2019 at 19:33, on Zulip):

the other thing is that happened since last meeting is that we can use the bot to assign ourselves to issues

mark-i-m (Jun 25 2019 at 19:33, on Zulip):

Also, Niko started filling out the borrow check (NLL) chapter more

mark-i-m (Jun 25 2019 at 19:33, on Zulip):

which is awesome

Santiago Pastorino (Jun 25 2019 at 19:33, on Zulip):

hi @lokalmatador

Santiago Pastorino (Jun 25 2019 at 19:34, on Zulip):

does someone else have updates on the lectures?

lokalmatador (Jun 25 2019 at 19:34, on Zulip):

from my side: I changed the running example to bubblesort to be able to use some borrows - makes the example more interesting in the context of rust; also, i finished the whole part on the HIR and will next look at what happens at the MIR level

Santiago Pastorino (Jun 25 2019 at 19:35, on Zulip):

cool

mark-i-m (Jun 25 2019 at 19:35, on Zulip):

https://github.com/rust-lang/rustc-guide/pull/342 was finally merged after 8 months :tada:

mark-i-m (Jun 25 2019 at 19:35, on Zulip):

There were also some other PRs merged on the guide (mostly fixes), including updating to mdbook 0.3

Santiago Pastorino (Jun 25 2019 at 19:36, on Zulip):

I guess we don't have more updates, right?, should we continue with what's on the agenda?

Santiago Pastorino (Jun 25 2019 at 19:36, on Zulip):

ok, let's continue then

Santiago Pastorino (Jun 25 2019 at 19:37, on Zulip):

Helping out with mdBook

Juan Bono (Jun 25 2019 at 19:37, on Zulip):

Hi! I made a little progress with the coherence in chalk talk. I started moving to a markdown file.

Santiago Pastorino (Jun 25 2019 at 19:37, on Zulip):

this was added by @Iñaki Garay, unsure if you're around Iñaki

Santiago Pastorino (Jun 25 2019 at 19:37, on Zulip):

Hi! I made a little progress with the coherence in chalk talk. I started moving to a markdown file.

great Juan :)

Iñaki Garay (Jun 25 2019 at 19:37, on Zulip):

I am !

Santiago Pastorino (Jun 25 2019 at 19:37, on Zulip):

do you want to explain that a bit better?

Santiago Pastorino (Jun 25 2019 at 19:38, on Zulip):

I remember you had some idea around mdBook

Iñaki Garay (Jun 25 2019 at 19:38, on Zulip):

My status update is that I also made some progress on the ty module doc and to keep it from stalling pushed the WIP to a draft

Santiago Pastorino (Jun 25 2019 at 19:39, on Zulip):

Helping out with mdBook

@Iñaki Garay this was something we talked before and I added it to the agenda, right?

Santiago Pastorino (Jun 25 2019 at 19:39, on Zulip):

sorry, I don't remember exactly

Santiago Pastorino (Jun 25 2019 at 19:40, on Zulip):

if so, tell us what is about :)

Iñaki Garay (Jun 25 2019 at 19:41, on Zulip):

Actually I think we can remove that from the agenda, I had mentioned it in passing here because I was interested in some features in mdbook but work on that by the docs team has started now that DLC is in charge. There is nothing that is specific to the WG-learning regarding that item

Santiago Pastorino (Jun 25 2019 at 19:42, on Zulip):

ok

Santiago Pastorino (Jun 25 2019 at 19:42, on Zulip):

next item then is ...

Santiago Pastorino (Jun 25 2019 at 19:42, on Zulip):

Blog post announcing documentation efforts and tasks, location and contents

Santiago Pastorino (Jun 25 2019 at 19:42, on Zulip):

this would be great, to be honest

mark-i-m (Jun 25 2019 at 19:42, on Zulip):

I believe this was Niko's idea?

Santiago Pastorino (Jun 25 2019 at 19:43, on Zulip):

don't remember exactly but yeah @nikomatsakis wanted that, probably don't have time to do it

Santiago Pastorino (Jun 25 2019 at 19:43, on Zulip):

I guess the main thing is having time to do something like that

mark-i-m (Jun 25 2019 at 19:44, on Zulip):

But I think it does raise the broader point of do we want some sort of dev-blog.rlo?

Santiago Pastorino (Jun 25 2019 at 19:44, on Zulip):

if it were in spanish I'd definitely do but writing in english takes me way more time to end with something with grammatical errors and stuff like that :P

mark-i-m (Jun 25 2019 at 19:44, on Zulip):

Where should announcements of that sort be made?

Santiago Pastorino (Jun 25 2019 at 19:44, on Zulip):

yeah, true, but I'd keep this task simpler

Iñaki Garay (Jun 25 2019 at 19:44, on Zulip):

I think that is the central question, there was some talk but nothing definitive

Santiago Pastorino (Jun 25 2019 at 19:45, on Zulip):

if it's possible to post this on rust blog we can do it otherwise I'd defer this task

Iñaki Garay (Jun 25 2019 at 19:45, on Zulip):

I can draft up a post quicker than the documentation I'm working on and then present it for modification

Iñaki Garay (Jun 25 2019 at 19:45, on Zulip):

It's just an announcement

mark-i-m (Jun 25 2019 at 19:45, on Zulip):

The rust blog seems more user-focused

Santiago Pastorino (Jun 25 2019 at 19:45, on Zulip):

hmmm /cc @nikomatsakis ?

mark-i-m (Jun 25 2019 at 19:46, on Zulip):

I feel like announcements of this sort usually show up on internals.rlo, but even that is not really ideal

Iñaki Garay (Jun 25 2019 at 19:46, on Zulip):

we can also run it by Steve Klabnik who has good experience with these things

Santiago Pastorino (Jun 25 2019 at 19:46, on Zulip):

I think the idea is to reach a wider audience of possible new collaborators and things like that

Santiago Pastorino (Jun 25 2019 at 19:47, on Zulip):

so places like IRLO are ungreat IMO

mark-i-m (Jun 25 2019 at 19:47, on Zulip):

Hmm... yeah

mark-i-m (Jun 25 2019 at 19:47, on Zulip):

but I don't want someone to end up writing a great blog post and then it just gets posted to irlo in the end

mark-i-m (Jun 25 2019 at 19:47, on Zulip):

right?

Santiago Pastorino (Jun 25 2019 at 19:48, on Zulip):

I'd say, let's check with Niko if he thinks that this kind of post is worth, can live on rust blog or we need something like dev-blog.rust-lang.org

Santiago Pastorino (Jun 25 2019 at 19:48, on Zulip):

right?

agree

Santiago Pastorino (Jun 25 2019 at 19:48, on Zulip):

I'd say, let's check with Niko if he thinks that this kind of post is worth, can live on rust blog or we need something like dev-blog.rust-lang.org

I can do this

Santiago Pastorino (Jun 25 2019 at 19:48, on Zulip):

ok, next

Santiago Pastorino (Jun 25 2019 at 19:48, on Zulip):

A way to track the lectures we want to do, the one’s we’ve scheduled, the ones we’ve transcribed, etc

Santiago Pastorino (Jun 25 2019 at 19:49, on Zulip):

I'm still owing playing with Github projects

Santiago Pastorino (Jun 25 2019 at 19:49, on Zulip):

will do this week

Santiago Pastorino (Jun 25 2019 at 19:49, on Zulip):

I think Github projects could be a way to keep track of all that

Iñaki Garay (Jun 25 2019 at 19:50, on Zulip):

do we still agree that we want a single tracking issue with checkboxes for each lecture instead of an issue per lecture?

Santiago Pastorino (Jun 25 2019 at 19:50, on Zulip):

unsure if there's any other idea

mark-i-m (Jun 25 2019 at 19:50, on Zulip):

How do you foresee this working? one project with an issue per desired lecture?

Santiago Pastorino (Jun 25 2019 at 19:50, on Zulip):

I think something like a project and one issue per lecture, yeah

mark-i-m (Jun 25 2019 at 19:50, on Zulip):

iiuc, projects requires a different issue for each item you are tracking

mark-i-m (Jun 25 2019 at 19:50, on Zulip):

I think something like a project and one issue per lecture, yeah

mark-i-m (Jun 25 2019 at 19:51, on Zulip):

That's a _lot_ of issues

Santiago Pastorino (Jun 25 2019 at 19:51, on Zulip):

yeah, I'd get rid of the tracking issue, that's what the project is for

mark-i-m (Jun 25 2019 at 19:51, on Zulip):

Though it would allow us to use rustbot claim for each lecture...

Santiago Pastorino (Jun 25 2019 at 19:51, on Zulip):

That's a _lot_ of issues

well but is an indicator of all the work needed to be done

Santiago Pastorino (Jun 25 2019 at 19:51, on Zulip):

and a good way for people to jump on things

Santiago Pastorino (Jun 25 2019 at 19:51, on Zulip):

Though it would allow us to use rustbot claim for each lecture...

exactly

Santiago Pastorino (Jun 25 2019 at 19:52, on Zulip):

people can just show up and claim what is not taken

mark-i-m (Jun 25 2019 at 19:52, on Zulip):

true

Santiago Pastorino (Jun 25 2019 at 19:52, on Zulip):

at least we can do it with what we already have and check out how it looks like

Santiago Pastorino (Jun 25 2019 at 19:52, on Zulip):

I can also take this task

Santiago Pastorino (Jun 25 2019 at 19:52, on Zulip):

I'm owing this thing since a while

Santiago Pastorino (Jun 25 2019 at 19:52, on Zulip):

are there any other ideas?

mark-i-m (Jun 25 2019 at 19:53, on Zulip):

That seems like the most viable alternative to what we have now

mark-i-m (Jun 25 2019 at 19:53, on Zulip):

It seems worth a try to me :+1:

mark-i-m (Jun 25 2019 at 19:54, on Zulip):

Shall we move on to the next thing?

Santiago Pastorino (Jun 25 2019 at 19:54, on Zulip):

yes

Santiago Pastorino (Jun 25 2019 at 19:55, on Zulip):

Discuss what to add from https://forge.rust-lang.org/bibliography.html to the guide.

Santiago Pastorino (Jun 25 2019 at 19:55, on Zulip):

@mark-i-m if I remember correctly you had some ideas about this one ?

mark-i-m (Jun 25 2019 at 19:56, on Zulip):

My thoughts were pretty vague

mark-i-m (Jun 25 2019 at 19:56, on Zulip):

I was just taking a look at the bibliography again

Santiago Pastorino (Jun 25 2019 at 19:56, on Zulip):

yeah, I have no idea

Santiago Pastorino (Jun 25 2019 at 19:57, on Zulip):

I guess this is a task per se

Santiago Pastorino (Jun 25 2019 at 19:57, on Zulip):

kind of, let's check the bibliography to see if there's something that makes sense to add to the guide

mark-i-m (Jun 25 2019 at 19:57, on Zulip):

It looks like none of the papers are specific to particular parts of the compiler

Santiago Pastorino (Jun 25 2019 at 19:57, on Zulip):

ok

Santiago Pastorino (Jun 25 2019 at 19:57, on Zulip):

let's discard the thing then :)

mark-i-m (Jun 25 2019 at 19:57, on Zulip):

but they are useful reading...

mark-i-m (Jun 25 2019 at 19:58, on Zulip):

perhaps we can add it as an appendix in the guide

mark-i-m (Jun 25 2019 at 19:58, on Zulip):

?

Santiago Pastorino (Jun 25 2019 at 19:58, on Zulip):

yes

mark-i-m (Jun 25 2019 at 19:58, on Zulip):

i can do that

Santiago Pastorino (Jun 25 2019 at 19:58, on Zulip):

I guess it could be nice to have cool things to read linked from the guide

Santiago Pastorino (Jun 25 2019 at 19:58, on Zulip):

like compiler books

Santiago Pastorino (Jun 25 2019 at 19:58, on Zulip):

resources in general

Santiago Pastorino (Jun 25 2019 at 19:58, on Zulip):

to learn about compilers and things like that

mark-i-m (Jun 25 2019 at 19:59, on Zulip):

:+1:

Santiago Pastorino (Jun 25 2019 at 19:59, on Zulip):

btw, could be nice to have an appendix with links to the lectures themselves

lokalmatador (Jun 25 2019 at 19:59, on Zulip):

I guess it could be nice to have cool things to read linked from the guide

hm, maybe I can also link to them from the doc I'm working on

mark-i-m (Jun 25 2019 at 19:59, on Zulip):

yes ^^^

lokalmatador (Jun 25 2019 at 19:59, on Zulip):

also for the lectures probably...would make sense I guess

Santiago Pastorino (Jun 25 2019 at 19:59, on Zulip):

yes

mark-i-m (Jun 25 2019 at 20:00, on Zulip):

might also make sense to link them from the tops of the transcribed chapters?

mark-i-m (Jun 25 2019 at 20:00, on Zulip):

we could do both

Santiago Pastorino (Jun 25 2019 at 20:00, on Zulip):

:+1:

Santiago Pastorino (Jun 25 2019 at 20:00, on Zulip):

I think both things

Santiago Pastorino (Jun 25 2019 at 20:00, on Zulip):

ok, so to sum up

Santiago Pastorino (Jun 25 2019 at 20:01, on Zulip):

I'm going to talk to Niko and create a github project

Santiago Pastorino (Jun 25 2019 at 20:01, on Zulip):

we would need to open issues for these things we talked about and also to transcribe this session

mark-i-m (Jun 25 2019 at 20:02, on Zulip):

"transcribe this session"?

Santiago Pastorino (Jun 25 2019 at 20:02, on Zulip):

I meant, the summaries we do on the repo

Santiago Pastorino (Jun 25 2019 at 20:03, on Zulip):

minutes :)

Santiago Pastorino (Jun 25 2019 at 20:03, on Zulip):

forgot the name for a moment

Santiago Pastorino (Jun 25 2019 at 20:03, on Zulip):

does someone want to volunteer for any of those tasks? :)

mark-i-m (Jun 25 2019 at 20:03, on Zulip):

i can write minutes

mark-i-m (Jun 25 2019 at 20:03, on Zulip):

i usually take notes during the meetings anyway

Santiago Pastorino (Jun 25 2019 at 20:03, on Zulip):

oh cool :)

mark-i-m (Jun 25 2019 at 20:04, on Zulip):

I will also add the appendix with the bibliography

mark-i-m (Jun 25 2019 at 20:04, on Zulip):

@Amanjeev Sethi could you open a PR to add a link to the video at the top of your chapter?

Santiago Pastorino (Jun 25 2019 at 20:04, on Zulip):

ok, I guess after you write down the minutes I could take a look as refresher and open issues but if someone else want to do that more than welcome to do so :)

mark-i-m (Jun 25 2019 at 20:05, on Zulip):

:+1:

mark-i-m (Jun 25 2019 at 20:05, on Zulip):

Is there anything else?

mark-i-m (Jun 25 2019 at 20:05, on Zulip):

seems that time is up

mark-i-m (Jun 25 2019 at 20:07, on Zulip):

I'm going to take the silence as "good bye" :wave:

mark-i-m (Jun 25 2019 at 20:11, on Zulip):

https://github.com/rust-lang/compiler-team/pull/111

Santiago Pastorino (Jun 26 2019 at 14:03, on Zulip):

talked to @nikomatsakis about the blog post, and he wants to create the dev-blog or team blog

Santiago Pastorino (Jun 26 2019 at 14:04, on Zulip):

https://discordapp.com/channels/442252698964721669/579961487578234880

Santiago Pastorino (Jun 26 2019 at 14:04, on Zulip):

unsure if there's a way to link to a Discord specific message, but discussion happened on #website Discord channel

mark-i-m (Jun 26 2019 at 16:12, on Zulip):

Hmm... is there a timeline or a specific person assigned to it?

mark-i-m (Jun 26 2019 at 16:12, on Zulip):

@Santiago Pastorino ?

Santiago Pastorino (Jun 26 2019 at 16:33, on Zulip):

no idea, @nikomatsakis just started a discussion, maybe is better to discuss it on Discord's #website channel

Amanjeev Sethi (Jun 27 2019 at 01:13, on Zulip):

Amanjeev Sethi could you open a PR to add a link to the video at the top of your chapter?

@mark-i-m I am a bit confused. I have the video link on the page at the top.

The material is gathered from YouTube video [Tom Tromey discusses debugging support in rustc.]

Do you mean that I should add this to appendix as well or move the video link somewhere above the top paragraph?

mark-i-m (Jun 27 2019 at 03:20, on Zulip):

@Amanjeev Sethi Oops! You are right... That’s exactly what I meant. Please ignore me.

Last update: Nov 15 2019 at 20:20UTC