un

Dr. Mark Cucuzzella of the Natural Running Center gives a short instructional video on natural running form. It describes the principles of good technique, including barefoot-style mechanics.

David and Ben Crystal introduce the Original Pronunciation production of Shakespeare and show what it reveals about the history of English, including puns and rhymes lost in modern speech.

Physicist Jacob Barandes discusses his view that quantum mechanics can be formulated without wave functions, using a stochastic, probabilistic approach. The long interview covers measurement, the foundations of quantum theory and the history of the field.

A Hagerty documentary on a 1979 Lamborghini Countach LP400 S and how it ended the Cannonball Baker Sea-to-Shining-Sea Memorial Trophy Dash. It tells the story of the illicit race started by Brock Yates and its Hollywood adaptation.

Thunderf00t's second video critiquing SpinLaunch, the company that proposes flinging rockets and payloads into space with a giant centrifuge. He argues the idea is physically unworkable.

A short pronunciation clip showing how to say the word 'synecdoche'. It has almost no other content.

A 1982 Bell Labs film hosted by Victor Vyssotsky on the origins and design philosophy of the UNIX operating system, with appearances by Kernighan, Thompson and Ritchie. It shows pipes, filters and a shell one-liner spell checker being built.

Dr. Roger Seheult of MedCram reviews the benefits of sunlight beyond vitamin D, covering the solar spectrum, circadian rhythm, melatonin and infrared light. The lecture runs nearly two hours with timestamps.

Paul Chiusano's Strange Loop 2019 talk introduces Unison, an open-source functional language for distributed, elastic systems. It covers content-addressed code identified by hashes of the syntax tree, a codebase manager, and algebraic effects called abilities.

Brian Lonsdorf explains why Underscore.js falls short as a functional programming library, then introduces currying, composition and point-free style in JavaScript. He argues for data-last argument ordering.

A short animated simulation comparing how Multics and Unix were developed, showing why Unix's small composable programs and pipes gave it a efficiency advantage. It frames Unix as a moonshot achievable by a small team.

Mark Seemann argues that functional programming naturally yields many of the best practices object-oriented developers learn painfully. He shows how functional architecture leads to a pit of success, with a pure core and impure shell.

3Blue1Brown shows how the uncertainty principle arises from Fourier transforms. A wave packet cannot be narrow in both position and frequency, so the principle is a property of waves rather than of measurement.

Irving Finkel of the British Museum lectures at the Royal Institution on the invention and decipherment of cuneiform writing in Mesopotamia, and why it is so hard to translate.

A 1982 AT&T Bell Labs film for students about the Unix system and how it can be used practically. It includes Lorinda Cherry building a talking calculator by piping together Unix commands, and a spell checker made from Unix utilities.

An 11-minute clip of Milton Friedman explaining the incentives of unions and how they affect employment. He argues unions restrict labor supply, raising pay for some workers while hurting low-skill workers.

Benno Rice's linux.conf.au 2020 talk asks whether UNIX was the best design we could have had. He looks at what alternatives existed, what was gained and lost, and what could be re-learned, including the limits of treating everything as a file.

Summoning Salt traces the speedrunning history of Mario Kart 64's Choco Mountain track and its famous shortcut, through the successive record holders and discoveries. It carries an epilepsy warning for flickering lights.

A clip from Jim Jefferies' Netflix special BARE in which he comedically dissects American gun culture and gun control arguments.

The American Museum of Natural History's film flies from the Himalayas out through the atmosphere and solar system to the afterglow of the Big Bang, using its Digital Universe Atlas four-dimensional map.

Tom Scott argues that grammatical gender is a silly concept and that the singular 'they' is an established gender-neutral pronoun. The description carries later corrections and reflections he added in 2019.

Stephen Kell's Strange Loop talk argues that C and Unix already contain Smalltalk-like dynamism and introspection that can be exposed. He presents his liballocs research on bridging dynamic and compiled languages.

Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.

A three-minute clip from BBC's Planet Earth narrated by David Attenborough about Cordyceps, the fungus that infects insects and takes over their behavior. It shows an infected ant and its demise.

A video essay explaining hauntology, Mark Fisher's idea of lost futures, and 80s nostalgia. It uses the Fallout games and other media as examples of a retro-futurism that mourns futures that never arrived.

A Kurzgesagt animation giving a big-picture tour of the human immune system, its organs, transport network, and the cells it produces every day. It accompanies their IMMUNE book.

A Kurzgesagt animation of how the immune system responds to a bacterial infection, depicting immune cells as an army defending the body.

Tracy Young, a former construction engineer and cofounder of PlanGrid, speaks at the 2015 Y Combinator Female Founders Conference. She talks about building software for construction superintendents and about customer success.

British Museum curator Irving Finkel teaches how to write cuneiform, with a colleague following along. It is a short, lively introduction to the script.

Gary Bernhardt's Cascadia Ruby Conference 2011 talk on using the Unix shell for practical problem solving. He builds pipelines interactively by iterative refinement, using small tools as levers.

Kurzgesagt's animated explainer on the human immune system, describing the body as an ecosystem and how immune defenses cope with the variety of invaders. It promotes their book Immune.

Bryan Cantrill presents Manta, an object store with in-situ compute that lets tools like grep, awk, and sed run map-reduce style over huge data. He frames it as bringing the Unix philosophy to big data.

A clip from George Carlin's "You Are All Diseased" special in which he riffs on germs, the immune system and white blood cells. It argues that modern obsession with cleanliness is misplaced.

Ned Batchelder's PyCon 2012 talk gives a quick overview of what Unicode is, then focuses on what a Python programmer needs to handle text correctly. It presents the 'Unicode sandwich' strategy: decode bytes at input, work with Unicode internally, encode at output.

A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse. It covers existential variables, unification and expressions yielding multiple values.

A one-minute clip of Jacob Collier tuning a piano, remarking that it is not in tune at all. It touches on his views on equal temperament and tuning.

Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.

A 60 Minutes report on neurosurgeon Ali Rezai using focused ultrasound on the brain to treat Alzheimer's and addiction. It shows experiments opening the blood-brain barrier and targeting addiction-related regions.

A short clip of Richard Feynman on the difference between merely knowing how to reason mathematically and understanding why physical theories work. He discusses holding multiple equivalent ideas and guessing new laws.

Linus Tech Tips covers Intel's CES 2024 demos, focusing on Thunderbolt Share and Wi-Fi 7 improvements.