prop bet

Andrej Karpathy's first Neural Networks: Zero to Hero lecture, which builds micrograd, a tiny autograd engine, from scratch in Python. It explains backpropagation and neural network training step by step, assuming only basic Python and some high-school calculus.

3Blue1Brown's third deep learning chapter gives a visual, intuitive account of backpropagation and what happens to a neural network as it learns. A follow-up video covers the underlying calculus.

Part one of Technology Connections' account of the VHS versus Betamax format war. It argues Sony was caught off guard by JVC's cheaper, more practical VHS system.

3Blue1Brown's chapter 4 on deep learning gives a more formal, symbol-based account of backpropagation calculus, connecting the intuition from the previous chapter to the math found in textbooks and code.

Declassified footage of 1950s tests of Project Orion, the nuclear pulse propulsion concept, including the Hot Rod prototypes flown on conventional high explosives. It shows the pusher-plate idea working in small scale.

Chuck Cook films Tesla FSD Beta 8.2 attempting unprotected left turns across forward-facing traffic, using a drone for a third-person view. Eight tests are shown with the car's on-screen visualizations.

A four-minute clip of Milton Friedman, from a 1978 address, discussing property taxes and land value taxation. He says property tax is the least bad tax and explains why it is so unpopular.

Dr. Sarah Hallberg argues in a TEDx talk that type 2 diabetes can be treated and potentially reversed through diet, especially by restricting carbohydrates. TED flagged the talk as outside its guidelines and warned against taking it as medical advice.

A 1996 BBC interview in which Noam Chomsky explains his propaganda model of the media to Andrew Marr, including how filters shape what journalists report and the role of self-censorship.

A 2015 CNBC Mad Money interview in which Jim Cramer gives Theranos CEO Elizabeth Holmes a platform to answer accusations about her company after critical press coverage. It captures her public persona at the height of the company's hype.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

Tech Ingredients explains the principles of magnetohydrodynamics and builds several demonstrations, including propelling liquid metal and electrolytes with magnets and a railgun-style setup.

A 1966 NASA safety film teaching workers how to handle toxic rocket propellants such as hydrazine and nitrogen tetroxide. It explains the hazards of these corrosive, flammable and toxic chemicals and what to do after contamination.

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

A Microsoft Research talk on BetrFS, a file system built on B-epsilon trees, a write-optimized data structure. It covers WODS such as LSM-trees, how to design a file system around them, and benchmark wins over ext4 and xfs.

Technology Connections compares Betamax and VHS picture quality using footage from a 1979 RCA VCR and argues the Beta quality advantage was largely marketing.

AI Addict reviews a Tesla Full Self-Driving Beta drive, showing hard braking, red-light running, wrong-way turns and a collision with a bollard. The video is timestamped by incident.

Elizabeth Warren's 2007 Berkeley lecture, when she was a Harvard law professor, on why middle-class families are under growing financial strain. She draws on bankruptcy research to examine rising costs of housing, health care and education.

John Hughes, co-creator of QuickCheck, talks about property-based testing of hard systems. He shows production examples where it found very low-level bugs, including issues in the CAN bus standard.

The Center for Election Science explains favorite betrayal in instant-runoff voting: in some elections, ranking your favorite first can cause your least favorite to win. It contrasts this with plurality voting's spoiler problem.

Veritasium recounts a $10,000 bet with a UCLA physics professor over whether a vehicle can travel downwind faster than the wind. He presents the professor's reasoning and demonstrations, including one without aerodynamics.

An ABC 20/20 investigation into whether the Better Business Bureau sells its ratings. It looks at BBB finances, executive pay and how grades relate to paid accreditation.

Part 3 of WIRED's Future Cities series on Shenzhen. It examines how attitudes toward patents and intellectual property differ from the West, and how shanzhai (copycat) manufacturing created an ecosystem of rapid iteration and distribution.

A 1968 NASA film from the US National Archives explaining why the US needed a nuclear rocket and how the engine works. It also shows combined nuclear and chemical stages for a manned Mars mission.

Chuck Marohn of Strong Towns explains how a land value tax differs from an ordinary property tax, why it makes economic sense, and why it is rarely used. It is a short six-minute explainer.

The Hated One argues that Kurzgesagt acts as a propaganda vehicle for its billionaire-linked sponsors, citing funding it received. The video prompted a response from Kurzgesagt.

AI Addict films a Tesla FSD Beta 8.2 drive through Oakland, annotating close calls, disengagements, pedestrians and wrong-lane moments with timestamps.

A short Boeing piece on the retirement of the voice behind the F/A-18 Super Hornet cockpit warning system, nicknamed Bitchin' Betty. It touches on why the stern voice alerts are used.

PBS Space Time surveys five realistic options for interstellar travel, from conventional rocket fuel to antimatter and nuclear pulse propulsion. The options rely only on known physics.

A man with no flight instruction and only desktop flight simulator experience attempts to take off and land a Cessna 172, with a commercial airline instructor aboard who gives no help. The flight came out of a prop bet.

A clip from the sitcom Better Off Ted in which a team gives a presentation about the Jabberwocky Project without having anything to present.

Rick Hartley gives a roughly two-hour live training on proper grounding in PCB design. He explains how energy actually flows in the space between conductors, and how that governs noise, EMI, return paths and signal reflections.

A short Al Jazeera animation narrated by Amy Goodman presenting Noam Chomsky's five filters of the mass media: ownership, advertising, media elite sourcing, flak and a common enemy. It is part of the MediaTheorised series.

Sean Parent's CppCon 2015 talk on better use of standard containers and the goal of having no incidental data structures. It argues that proper containers can greatly simplify code.

Accursed Farms' hour-plus critique of the modern desktop GUI. It argues that current interfaces are a regression from older designs such as Windows 7 and proposes principles for better ones.

jan Misali traces the history of the letter W, including why it is called double u. The video is part of a series of deep dives into individual letters.

A nine-minute excerpt from the 1992 documentary Manufacturing Consent in which Noam Chomsky summarizes how corporate media shapes public discourse.

A 1947 US military film that deconstructs how the Nazi regime used divisive propaganda and prejudice to split and control a population. It teaches viewers to recognise demagoguery tactics.

Scott Manley explains rotating detonation engines, how they differ from pulsed detonation engines, and why thermodynamics predicts they beat traditional jet and rocket engines.

Adam Curtis's 2016 BBC documentary arguing that politicians, financiers and technologists retreated into a simplified, fake version of the world because reality became too complex. It ranges across Trump, Brexit, Syria, Surkov's Russia and more.