dependent types
No strong matches for “dependent types”. Here are the closest videos.
1:33:23Crust of Rust: Lifetime Annotations
299K views • 6 years ago
Jon Gjengset
In this first Crust of Rust episode, Jon Gjengset live-codes an example that needs multiple explicit lifetime annotations. Along the way he covers string types and generics over a custom trait.
16:25Converting devices to USB Type-C
8M views • 6 years ago
DIY Perks
DIY Perks shows how to modify devices that use older USB connectors so they charge and connect over USB Type-C. He solders in a USB-C connector board and works through cases such as dongle-dependent gadgets and a mouse receiver.