type-level programming
No strong matches for “type-level programming”. Here are the closest videos.
2:50:14Simple Code, High Performance
463K views • 5 years ago
Molly Rocket
Casey Muratori's University of Twente guest lecture is a case study in how straightforward code can cut thousands of lines and tens of seconds of runtime down to a few dozen lines running in under a second. It uses concrete examples to show why software is often an order of magnitude slower than it should be.
49:35How did consciousness evolve? - with Nicholas Humphrey
333K views • 3 years ago
The Royal Institution
A Royal Institution lecture in which Nicholas Humphrey presents his theory of phenomenal consciousness and its evolution. He draws on the book Sentience and discusses evidence for animal sentience.
1:02:041. Introduction for 15.S12 Blockchain and Money, Fall 2018
7.2M views • 6 years ago
MIT OpenCourseWare
The opening lecture of MIT's Blockchain and Money course taught by Gary Gensler, covering the course plan, the history of failed digital currencies, cryptography and what a blockchain is.
11:29Automation Dependency - Part One, by Capt. VanderBurgh (restored)
18K views • 5 years ago
flightcrewguide.com
Part one of an American Airlines training video presented by Captain Warren VanderBurgh on automation dependency. It grew out of a program on wake turbulence avoidance, and this restored version has the audio cleaned up.
42:21Where Does Bad Code Come From?
282K views • 5 years ago
Molly Rocket
Casey Muratori's invited lecture on where bad code comes from, rebroadcast from a Twitch stream. He critiques conventional wisdom such as SOLID and Clean Code and argues about how those habits lead to slow, poorly structured software.