HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

type-level programming

2020s×Lecture×Play all on YouTube

Upload date

Past year2020s2010s2000s

Type

TalkLectureExplainerTutorialDocumentaryInterviewDemoCommentaryComedyMusic

Duration

Under 4 minutes4-20 minutes20-60 minutesOver 1 hour

Features

Hidden gemsEvergreen only

Sort by

RelevanceRecently recommendedUpload dateOldest firstView countLike ratioMost recommended
No strong matches for “type-level programming”. Here are the closest videos.
Simple Code, High Performance2:50:14

Simple 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.
How did consciousness evolve? - with Nicholas Humphrey49:35

How 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. Introduction for 15.S12 Blockchain and Money, Fall 20181:02:04

1. 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.
Automation Dependency - Part One, by Capt. VanderBurgh (restored)11:29

Automation 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.
Where Does Bad Code Come From?42:21

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