[tracking issue] Transcribe the Compiler Lecture Series into chapters

[mark-i-m]

• Tom Tromey discusses debugging support in rustc
  • assigned to @amanjeev, Debugging support in rustc #316
  • Video: https://www.youtube.com/watch?v=elBxMRSNYr4
  • Lecture notes:
• How Salsa Works (2019.01)
  • Video: https://www.youtube.com/watch?v=_muY4HjSqVw
  • Lecture notes:
• Salsa In More Depth (2019.01)
  • Video: https://www.youtube.com/watch?v=i_IhACacPRY
  • Lecture notes:
• RLS 2.0, Salsa, and Name Resolution
  • Video: https://www.youtube.com/watch?v=Xr-rBqLr-G4
  • Lecture notes:
• Cranelift
  • Video: https://www.youtube.com/watch?v=9OIA7DTFQWU
  • Lecture notes:
• Rust analyzer guide
  • Video: https://www.youtube.com/watch?v=ANKBNiSWyfc
  • Lecture notes:
• Rust analyzer syntax trees
  • Video: https://www.youtube.com/watch?v=DGAuLWdCCAI
  • Lecture notes:
• rust-analyzer type-checker overview by flodiebold
  • Video: https://www.youtube.com/watch?v=Lmp3P9WNL8o
  • Lecture notes:
• oli-obk on miri and constant evaluation
  • Video: https://www.youtube.com/watch?v=5Pm2C1YXrvM
  • Lecture notes:
• Polonius-rustc walkthrough
  • Video: https://www.youtube.com/watch?v=i5KdU0ieb_A
  • Lecture notes:
• rustc-chalk integration overview
  • Video: https://www.youtube.com/watch?v=MBWtbDifPeU
  • Lecture notes:
• Coherence in Chalk by Sunjay Varma - Bay Area Rust Meetup
  • assigned to @juanbono
  • Video: https://www.youtube.com/watch?v=rZqS4bLPL24
  • Lecture notes:
• How the chalk-engine crate works
  • Video: https://www.youtube.com/watch?v=Ny2928cGDoM
  • Lecture notes:
• How the chalk-engine crate works 2
  • Video: https://www.youtube.com/watch?v=hmV66tB79LM
• RFC Add some extra pointers for rustdoc frontend devs #2229 Disjoint Field Capture plan
  • Video: https://www.youtube.com/watch?v=UTXOptVMuIc
  • Lecture notes:
• closures and upvar capture
  • Video: https://www.youtube.com/watch?v=fMopdkn5-Xw
  • Lecture notes:
• blitzerr closure upvar tys
  • Video: https://www.youtube.com/watch?v=pLmVhSB-z4s
  • Lecture notes:
• Convert Closure Upvar Representation to Tuples with blitzerr
  • Video: https://www.youtube.com/watch?v=2QCuNtISoYc
  • Lecture notes:
• async-await implementation plans
  • Video: https://www.youtube.com/watch?v=xe2_whJWBC0
  • Lecture notes:
• async-await region inferencer
  • Video: https://www.youtube.com/watch?v=hlOxfkUDLPQ
  • Lecture notes:
• Universes and Lifetimes
  • Video: https://www.youtube.com/watch?v=iV1Z0xYXkck
  • Lecture notes:
• Representing types in rustc
  • assigned to @igaray
  • Video: https://www.youtube.com/watch?v=c01TsOsr3-c
  • Lecture notes: +Ty lecture
• Polonius WG: Initialization and move tracking
  • Video: https://www.youtube.com/watch?v=ilv9V-328HI
  • Lecture notes:

cc @spastorino

[mark-i-m]

Recording new sessions ideas

• The ty module -- how it works (3 votes) (coming on friday 26th)
  • The arenas, the 'tcx and 'gcx lifetimes
  • The TypeFoldable trait and the TyRelate trait
  • Maybe covering the basics of type inference
  • Candidates: @nikomatsakis, @varkor, perhaps @eddyb?
• HAIR, MIR, and MIR construction (3 votes)
  • Covering the definition of MIR
  • Covering the HAIR construction
  • Covering MIR building
  • (This is actively changing as part of #t-compiler/wg-mir-opt, so that's a downside, but otoh maybe the coverage of MIR building would be helpful for Place 2.0 work)
  • Candidates: @nikomatsakis, @oli, @eddyb, maybe others?
• Typeck tables and the type checker (2 votes)
  • Covering how the type checker works at a high-level and the role of the typeck tables
• HIR (1 vote)
  • Covering the role of HIR, how the HIR lowering code works
  • Candidates: @nikomatsakis, @taylor Cramer, perhaps @eddyb?

Other ideas (some are already covered):

• Debugger integration (@tromey)
• Chalk (@nikomatsakis)
• prusti (@vakaras)
• Polonius (@nikomatsakis)
• Name resolution (@petrochenkov)
• Macro expansion (@pnkfelix, maybe?)
• RLS (@Xanewok)
• rust-analyzer (@matklad)
• rustdoc (@QuietMisdreavus)
• incremental compilation and/or salsa (@michaelwoerister, @nikomatsakis)
• Const eval
• Diagnostics
• LLVM/codegen (@nagisa, @alexcrichton )

[shepmaster]

Note that YouTube will auto generate transcriptions, which might be a good place to start.

[igaray]

ssshhhh 🤐 they think I'm hard at work!

[igaray]

In all seriousness, this is exactly what I did:

• click on the gear icon of the youtube video player
• select 'subtitles' submenu
• select 'add subtitles' item
• select language -> 'english'
• click on 'actions' button
• select 'download'
• open .sbv file with vim and create macro to delete timestamps

[igaray]

@mark-i-m Can you add

- [ ] How the chalk-engine crate works 2
    - Video: https://www.youtube.com/watch?v=hmV66tB79LM

right after "How the chalk-engine crate works" ? TY!

[eddyb]

The arenas, the 'tcx and 'gcx lifetimes

@Zoxc is planning to remove that split in rust-lang/rust#57214, FWIW.

[amanjeev]

Opened and assigned to myself

• async-await implementation plans #352
• async-await region inferencer  #353
• Universes and Lifetimes #354

[mark-i-m]

@spastorino perhaps we can play with a project now?

[spastorino]

@mark-i-m yes, hope to be able to do it today :).

[spastorino]

This is superseeded by https://github.com/rust-lang/rustc-guide/projects/2