HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

dependent types

2020s×Explainer×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 “dependent types”. Here are the closest videos.
Suburbs that don't Suck - Streetcar Suburbs (Riverdale, Toronto)16:51

Suburbs that don't Suck - Streetcar Suburbs (Riverdale, Toronto)

2.2M views • 5 years ago
Not Just Bikes
Not Just Bikes explains that car-dependent suburbs are not the only option, using Toronto's Riverdale as an example of a pre-war streetcar suburb. These walkable neighborhoods are popular but are now effectively illegal to build.
Why American Cities Are Broke - The Growth Ponzi Scheme [ST03]9:39

Why American Cities Are Broke - The Growth Ponzi Scheme [ST03]

3.8M views • 5 years ago
Not Just Bikes
Not Just Bikes explains the Strong Towns argument that car-dependent American suburbs cost more to maintain than they generate in taxes. It describes the growth Ponzi scheme that props up municipal finances.
Brown; color is weird21:15

Brown; color is weird

5.3M views • 6 years ago
Technology Connections
Technology Connections explains why brown is not a spectral color but a context-dependent perception, essentially dark orange seen against brighter surroundings.
What Really Happened During the Texas Power Grid Outage?16:48

What Really Happened During the Texas Power Grid Outage?

3.7M views • 5 years ago
Practical Engineering
Practical Engineering's explanation of the February 2021 Texas winter storm and the resulting power grid outage. It lays out the facts about ERCOT, the grid's isolation, and how generation across fuel types failed in the cold.
Why We Won't Raise Our Kids in Suburbia12:14

Why We Won't Raise Our Kids in Suburbia

5.2M views • 4 years ago
Not Just Bikes
Not Just Bikes argues that car-dependent suburbs rob children of independence, contrasting North American suburbia with Dutch cities where kids walk and bike on their own. It is the creator's remake of an earlier video on the topic.
Suburbia is Subsidized: Here's the Math [ST07]10:16

Suburbia is Subsidized: Here's the Math [ST07]

1.5M views • 4 years ago
Not Just Bikes
Not Just Bikes explains, using Urban3's property-tax analysis, why car-dependent suburbs generate less tax revenue than they cost to maintain, so dense urban cores effectively subsidize them. It is part of a Strong Towns series.
The Gym of Life11:47

The Gym of Life

1.3M views • 4 years ago
Not Just Bikes
Not Just Bikes argues that people in walkable, bikeable Dutch cities stay healthy because exercise is built into daily life, which he calls the gym of life. It contrasts this with car-dependent cities that require deliberate workouts.
Humidifiers: Simpler is better?28:34

Humidifiers: Simpler is better?

3.4M views • 5 years ago
Technology Connections
Technology Connections explains why humidity matters and compares the main types of humidifiers, including evaporative and ultrasonic designs. It covers how and why you would add moisture to indoor air.
New computers don't speed up old code19:25

New computers don't speed up old code

187K views • 1 year ago
Matthias random stuff
Matthias Wandel tests old and new code on a range of PCs, including a new mini PC, to measure how much faster modern hardware really is. He also shows optimization techniques such as branchless code, with benchmark programs on GitHub.
Business Parks Suck (but they don't have to)15:43

Business Parks Suck (but they don't have to)

1.6M views • 4 years ago
Not Just Bikes
Not Just Bikes contrasts typical car-dependent North American business parks with one near the airport in the Netherlands that works for driving, cycling and transit. It looks at how the design makes commuting easier.
How Do Night Vision Goggles Work?27:16

How Do Night Vision Goggles Work?

8.4M views • 3 years ago
Veritasium
Veritasium visits the US Navy's Crane facility to test top night vision goggles. It explains how image intensifier tubes and thermal or digital systems work and compares the generations of the technology.
Why Everywhere in the US is Starting to Look the Same20:09

Why Everywhere in the US is Starting to Look the Same

4M views • 4 years ago
Wendover Productions
Wendover Productions explains why American towns, retail and buildings increasingly look alike, covering zoning pressures, corporate standardization and cheap construction types like 5-over-1 buildings.
Why Do Things Keep Evolving Into Crabs?7:28

Why Do Things Keep Evolving Into Crabs?

10.9M views • 6 years ago
PBS Eons
A short PBS Eons episode on carcinization, the repeated independent evolution of crab-like bodies in unrelated crustaceans, and what makes that form so successful.
The Best-Designed Town in the Netherlands (and therefore, the world)25:05

The Best-Designed Town in the Netherlands (and therefore, the world)

1.2M views • 1 year ago
Not Just Bikes
Not Just Bikes tours Houten, a Dutch town designed around cycling, explaining how its layout makes most trips by bike safe and easy. It also promotes a book about the town.
How Physicists Created a Holographic Wormhole in a Quantum Computer17:05

How Physicists Created a Holographic Wormhole in a Quantum Computer

2.4M views • 3 years ago
Quanta Magazine
Quanta Magazine explains the 2022 experiment that claimed to create a holographic wormhole on Google's quantum computer. The description now notes that a later independent analysis questioned whether any wormhole was created.
The Trains that Subsidize Suburbia - GO Transit Commuter Rail15:49

The Trains that Subsidize Suburbia - GO Transit Commuter Rail

1.3M views • 5 years ago
Not Just Bikes
Not Just Bikes examines Toronto's GO Transit commuter rail, arguing it is a costly system with park-and-ride stations and rush-hour-only service that subsidizes car-dependent suburbs.