efi

Chandler Carruth's CppCon 2016 talk tries to defuse the heated debate over undefined behavior in C and C++. He explains from the compiler writer's perspective why UB exists and how it enables optimization.

Matthew Garrett's linux.conf.au 2012 talk covers EFI and UEFI from the Linux point of view: why the PC BIOS was bad, what EFI changes, the issues it brings, and Secure Boot.

Cody's Lab collects a sample of dust from the side of a highway and refines it to recover platinum-group metals deposited by catalytic converters. The video walks through the chemistry of separating and assaying the precious metals.

Veritasium explains why the kilogram is being redefined in terms of Planck's constant rather than a physical metal artifact. It visits NIST to show the Kibble balance and why measuring mass precisely is hard.

Techmoan demonstrates the Tefifon, a vintage German audio player that combines elements of record and tape with a grooved elastic loop. He shows how it works and plays it.

A short clip of Milton Friedman explaining who benefits from occupational licensing requirements, arguing they mainly protect practitioners from competition.

A one-minute clip from the 1966 film A Man for All Seasons. Thomas More refuses to arrest the Devil, saying he would give even the Devil the benefit of law for his own safety's sake.

A short TED-Ed animated lesson by Anita Collins on what happens in the brain when people play a musical instrument. It argues that playing engages many brain areas at once, like a full-body workout, with long-term benefits.

A 38C3 talk on how advanced chips are made, centered on EUV lithography and the global supply chain behind it. It covers technical challenges from raw materials to finished chips and the geopolitical weight of semiconductors.

A short BicycleDutch episode showing how people with disabilities use Dutch cycle tracks on hand-cycles, tricycles and mobility scooters.

Steve Jobs's 2005 Stanford commencement address, in which he tells three stories about connecting the dots, love and loss, and death, including his remarks on typography.

A NANOG 64 panel with speakers from Comcast, APNIC, T-Mobile and Facebook on deploying IPv6-only networks, including performance data showing IPv6 outperforming NAT-ed IPv4.

Anders Puck Nielsen clears up common misunderstandings about what legally counts as genocide, then compares the situation in Gaza with the genocide case against Putin. The chapters cover the definition, individual intent, and the two case comparisons.

MSNBC's clip of the April 2020 White House coronavirus briefing in which President Trump responds to a DHS presentation on disinfectants by musing about injecting disinfectant into the body. The segment is three minutes long.

Veritasium explains the effort to redefine the kilogram, which was still defined by a physical artifact, and how a near-perfect silicon sphere from the Avogadro project helps. It also covers the history of the unit's odd naming.

Ronald Minnich of Google explains how UEFI firmware is a large closed attack surface and describes Google's work replacing it with Linux-based boot firmware. It also touches on Intel ME and other security coprocessors.

hbomberguy's long video dissects the anti-vaccine movement, analyzing Andrew Wakefield's fraudulent MMR-autism study, the media's role and Wakefield's loss of his license. It combines detailed research with humor.

A clip of Milton Friedman answering an audience member about Ford's decision not to recall the Pinto, in which he defends weighing safety costs against benefits. The uploader's framing is strongly hostile to Friedman.

Dave Ackley presents robust-first computing and the ULAM programming language for the Movable Feast Machine, a cellular-automata-like architecture. It was a short video for the Future Programming Workshop 2015.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

The US Chemical Safety Board's updated animation of the 2005 BP Texas City refinery explosion, which killed 15 workers. It was released ahead of a process safety training application.

Cathode Ray Dude covers two bizarre HP 'Quick Start' features: QuickLook, an offline email client built on EFI firmware, and Daystarter, which hijacks the Windows boot process. It includes an explanation of EFI applications and why HP built these things.

John Oliver covers student debt and the for-profit colleges that push students into it, including Corinthian-style schools and ITT Tech. It is a segment from Last Week Tonight.

Urs Hoelzle, Google's SVP of infrastructure, gives the 2012 Open Networking Summit keynote on how Google adopted OpenFlow and software-defined networking in its own networks. The slides are linked in the description.

A Telegraph news clip of the April 2020 White House briefing in which President Trump wondered aloud about disinfectants and sunlight as coronavirus treatments, prompting a backlash from medical experts.

A SAAMI-produced training video for firefighters explaining what happens when sporting ammunition burns, including that unchambered cartridges lack the energy to penetrate much. It includes test footage of ammunition in fires.

A short 'How It's Made' television segment showing the industrial process of turning canola seed into cooking oil. It walks through pressing, solvent extraction and refining steps.

A one-minute clip of Donald Rumsfeld's 'known knowns, unknown unknowns' remarks at a Pentagon briefing.

A CNN clip from February 2002 of Donald Rumsfeld explaining the idea of known knowns, known unknowns, and unknown unknowns at a press briefing.

A panel from the Beneficial AI 2017 conference moderated by Max Tegmark, with Elon Musk, Stuart Russell, Kurzweil, Hassabis, Harris, Bostrom, Chalmers and others. They discuss likely outcomes of human-level AGI and what outcomes are desirable.

Thunderf00t applies a simple energy mass balance to weight loss, showing how much exercise is needed to burn off extra calories compared with eating less. He concludes that cutting intake is the easier route and that hunger fades after the first week.

A six-minute explainer from Undefined Behavior on range (score) voting. It follows an earlier video on Arrow's Theorem and shows how range voting seems to satisfy the criteria Arrow's Theorem says no ranked system can.

Larry McEnerney of the University of Chicago Writing Program argues that good writing is defined by what readers value, not by rules or the writer's own ideas. He explains why academic habits fail outside academia and how to write so readers find the work valuable.

Stuart Halloway argues that simplicity is objective, with a definition and etymology useful to programmers, rather than a subjective buzzword. He shows how this view informs Clojure's design and how to make programs simpler.

An hour-long, carefully sourced video essay from Ahoy asking what counts as a video game and which one was truly first. It examines Tennis for Two, Spacewar, Pong, the Brown Box and a 1947 CRT device.

Dave Ackley gives a high-level introduction to robust-first computing, which prioritizes robustness over efficiency in computer architecture. A sorting demo illustrates the idea.

A Healthcare Triage episode summarizing the evidence on the health benefits of exercise, made in response to people misreading the host's column on exercise and weight. It argues exercise offers large benefits.

CNLohr explains how he made an ESP32 produce valid LoRa packets without a LoRa radio, using aliasing and clever signal tricks. It walks through the RF math and shows how far the signals reach.

Practical Engineering explains how engineers and agencies put a dollar value on a human life to weigh cost against safety. It covers the legal and regulatory basis for these calculations.

A two-minute clip from the film Fight Club in which the narrator, a former recall coordinator, explains the formula companies use to decide whether a recall costs more than paying out settlements.