dependent types
No strong matches for “dependent types”. Here are the closest videos.
53:30Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
6.6M views • 17 years ago
MIT OpenCourseWare
First lecture of MIT 6.00, an introductory computer science course taught in Python by Eric Grimson and John Guttag. It covers the goals of the course, what computation is, and data types, operators and variables.
10:01MIX08 Microsoft Office 2007: The Story of the Ribbon (1 of 10)
32K views • 17 years ago
creativecrewchannel
Jensen Harris of the Office 2007 design team tells the behind-the-scenes story of the Ribbon at MIX08. He covers early prototypes, mistakes, and the UX principles used to design and validate it.
2:52"Weird Al" Yankovic - White & Nerdy (Official 4K Video)
186.9M views • 17 years ago
alyankovicVEVO
Weird Al Yankovic's official music video for White & Nerdy, a parody of Chamillionaire's Ridin' about being a nerd.
3:44Damn It Feels Good to be Banker -- A Wall Street Musical
2.2M views • 18 years ago
Nate Houghteling
A 2008 comedic rap musical pitting Wall Street bankers against consultants, produced by Leveraged Sell-Out.
3:23Clerks - Death Star Contractors
781K views • 17 years ago
Abs
A short scene from the film Clerks in which two characters debate whether the independent contractors killed on the second Death Star were innocent victims. It is a comedic discussion of moral responsibility.