Type Theory for the Working Rustacean - Dan Pittman
17:55
The Death and Rebirth of Docs.rs - Quiet Misdreavus
18:36
You Should Really Know These Traits in Rust
35:29
Polonius: Either Borrower or Lender Be, but Responsibly - Niko Matsakis
35:08
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
16:37
In Search of Code Purity
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
51:01