Stream: t-compiler/wg-learning

Topic: rustc lecture series: tys


Santiago Pastorino (Apr 26 2019 at 16:04, on Zulip):

Opening this to start figuring out what and how to document what just happened in the lecture

Santiago Pastorino (Apr 26 2019 at 16:04, on Zulip):

I guess would be nice to wait for the video though :)

lokalmatador (Apr 26 2019 at 16:12, on Zulip):

guess I'll just start then

lokalmatador (Apr 26 2019 at 16:12, on Zulip):

video for sure makes sense

lokalmatador (Apr 26 2019 at 16:14, on Zulip):

what I also think is that providing the dropbox notes as kind of handout or similar would make sense - maybe it already allows for that (i.e., forking a doc)...

lokalmatador (Apr 26 2019 at 16:14, on Zulip):

initial notes that one can adapt to his personal needs

lokalmatador (Apr 26 2019 at 16:16, on Zulip):

apart from that, by probably adding some more details to this doc it can already work as solid documentation for the video I guess

Santiago Pastorino (Apr 26 2019 at 17:11, on Zulip):

what I also think is that providing the dropbox notes as kind of handout or similar would make sense - maybe it already allows for that (i.e., forking a doc)...

unsure I got what you meant here

Santiago Pastorino (Apr 26 2019 at 17:12, on Zulip):

you meant forking https://paper.dropbox.com/doc/Ty-lecture--Ab9cDJX4rl92PTfWs02X8MfBAg-8hOUpAEhOvoBQC5EYXKJM ?

Santiago Pastorino (Apr 26 2019 at 17:13, on Zulip):

I'm pretty sure @nikomatsakis wanted to use that doc to give the talk and then to being re-worked/re-used by use in the way we want

Santiago Pastorino (Apr 26 2019 at 17:13, on Zulip):

I guess he doesn't care that much about it

Santiago Pastorino (Apr 26 2019 at 17:13, on Zulip):

maybe worth checking /cc @nikomatsakis

Santiago Pastorino (Apr 26 2019 at 17:13, on Zulip):

the important thing is having people learning and having all the information being documented on API docs and rustc guides

Santiago Pastorino (Apr 26 2019 at 17:13, on Zulip):

so the document itself right now I'd say that is only interesting to document stuff

Iñaki Garay (Apr 26 2019 at 17:14, on Zulip):

Yeah the goal is to get it in the guide

Iñaki Garay (Apr 26 2019 at 17:18, on Zulip):

I think this isn't the topic for this but I wanted to ask you guys about prioritizing video transcription. In which order should we proceed? Does it matter?

Santiago Pastorino (Apr 26 2019 at 17:20, on Zulip):

I guess the wise thing to do is to organize ourselves a bit

Santiago Pastorino (Apr 26 2019 at 17:21, on Zulip):

what we can do is have a place where we have the videos that we want to transcript and an assignee next to it

Santiago Pastorino (Apr 26 2019 at 17:21, on Zulip):

we can use the existing paper doc for that and add names next to it

Santiago Pastorino (Apr 26 2019 at 17:21, on Zulip):

@Iñaki Garay as a way to start I'd say, pick a topic and let's write your name next to it

Santiago Pastorino (Apr 26 2019 at 17:22, on Zulip):

if others want to take another part say so and write your name next to the topic

Santiago Pastorino (Apr 26 2019 at 17:22, on Zulip):

so we don't step with each other

nikomatsakis (Apr 26 2019 at 17:26, on Zulip):

video is uploaded: https://youtu.be/c01TsOsr3-c

nikomatsakis (Apr 26 2019 at 17:29, on Zulip):

See also this internals post

nikomatsakis (Apr 26 2019 at 17:38, on Zulip):

lol, the video already has one :-1:

nikomatsakis (Apr 26 2019 at 17:38, on Zulip):

youtube commenters are harsh, man!

Santiago Pastorino (Apr 26 2019 at 17:39, on Zulip):

hahahaha

Santiago Pastorino (Apr 26 2019 at 17:39, on Zulip):

2 downvotes already

Santiago Pastorino (Apr 26 2019 at 17:39, on Zulip):

do not underestimate the possibility of a mistake

Santiago Pastorino (Apr 26 2019 at 17:39, on Zulip):

ehmm sorry, 2 mistakes

Santiago Pastorino (Apr 26 2019 at 17:39, on Zulip):

:P

nikomatsakis (Apr 26 2019 at 17:39, on Zulip):

I..am not particularly concerned :)

Santiago Pastorino (Apr 26 2019 at 17:40, on Zulip):

hehe, yeah care < 0

Last update: Nov 15 2019 at 20:00UTC