HackerTube

dependent types

2020s×Tutorial×Play all on YouTube
No strong matches for “dependent types”. Here are the closest videos.
Crust of Rust: Lifetime Annotations1:33:23

Crust 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.
Converting devices to USB Type-C16:25

Converting 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.