Type Theory for Busy Engineers - Niko Matsakis

Follow Niko on: twitter: https://twitter.com/nikomatsakis github: https://github.com/nikomatsakis This talk was given at RustNL 2024, in Delft, The Netherlands. Playlist of other talks from RustNL 2024: https://www.youtube.com/playlist?list=PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7 Want to come to RustWeek 2025 in-person? go to https://2025.rustnl.org