logic gates

Ben Eater shows how to build logic gates out of transistors, including NOR gates. It is part of his clear hardware-from-scratch teaching style.

Tom Murphy (suckerpinch) presents a deliberately trollish computer architecture built on IEEE-754 floating point, using NaN and infinity to define logic gates. He builds working hardware around the idea.

Unreleased 1996 footage of the Wired editors interviewing Bill Gates when he visited their office. Gates talks about software, the internet and Microsoft's thinking at the time. The video is about 53 minutes long.

A one-minute clip from The Simpsons in which Homer is bought out by Bill Gates. It is a short cartoon scene that parodies Gates and Microsoft.

A short news clip of Bill Gates being hit with a pie in the face in Belgium around 1999.

On The Ellen Show, Bill Gates plays a game guessing the prices of grocery items.

Bill Gates at Stanford's Global Energy Forum argues that cheaper solar, wind and storage are not nearly enough to stop climate change. He discusses natural gas, a carbon tax, nuclear, battery costs and the responsibilities of developing versus developed economies.

Ben Eater writes a program in a made-up machine language and walks through the control logic an 8-bit breadboard CPU needs to execute it. It is part of his build-an-8-bit-computer series.

Technology Connections takes apart the step-by-step electromechanical logic of a 1970s pinball machine. He shows how relays, steppers and switches track state and score without electronics.

Bill Gates' TED2010 talk on the energy future, arguing for zero global carbon emissions by 2050 and the need for energy miracles. He explains why he is backing a different type of nuclear reactor.

A 39-minute highlights reel of Bill Gates being deposed by David Boies in the 1998 to 2001 United States v. Microsoft antitrust case.

The 2007 D5 conference joint interview of Steve Jobs and Bill Gates, hosted by Walt Mossberg and Kara Swisher, discussing the history of Apple and Microsoft, partnership, competition and computing's future.

Mark Rober makes a plant-based burger for Bill Gates and explains why meat production strains the environment. Gates also appears and discusses his worry about steel and cement.

The full 1984 interview with Yuri Bezmenov, a former KGB operative, in which he lays out four stages of ideological subversion. It is a long interview with G. Edward Griffin.

A 1983 Los Angeles lecture by KGB defector Yuri Bezmenov on how the Soviets carried out ideological subversion of target societies through propaganda. He walks through demoralization and normalization stages.

Bill Gates's 2015 TED talk, given after the 2014 Ebola outbreak, argues the world is unprepared for the next fast-spreading epidemic. He calls for scenario planning, vaccine research, and trained health workers, in the way countries prepare for war.

A short clip of Bill Gates demonstrating Visual Basic in 1991, showing drag-and-drop building of a Windows GUI.

A very short clip of Bill Gates hitting a Blue Screen of Death while demonstrating plug and play on Windows 98 on stage.

A short clip from Microsoft's 1995 Judgement Day event in which Bill Gates is inserted into Doom as a promo for Windows 95 and DirectX gaming. It was never publicly released at the time.

A 1995 Letterman appearance in which Bill Gates explains the origins of Microsoft and tries to convince Dave to get a computer and get online.

A short clip of Bill Gates appearing on David Letterman's show in 1995 trying to explain the value of the internet. Letterman is visibly unconvinced.

A clip from a 1995 Late Show with David Letterman in which Bill Gates discusses Microsoft's origins and the internet while Dave is skeptical of computers.

A very short clip from Yes, Prime Minister in which Sir Arnold and Sir Humphrey run through a piece of circular political reasoning. It is the origin of the so-called politician's logic.

A 1985 interview by G. Edward Griffin with former KGB operative Yuri Bezmenov. He describes long-running Soviet efforts at ideological subversion and manipulation of US public opinion.

Robert Sapolsky's Stanford lecture on the biological underpinnings of religiosity, from his human behavioral biology course. It covers theories linking religion to stress, and schizotypal traits.

A 1984 interview with former KGB agent Yuri Bezmenov on ideological subversion and psychological warfare, reposted in 2020 with a modern political framing.

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.

Ben Eater explains how VGA signals work and builds a breadboard circuit that produces correct sync timing so a monitor recognizes the signal. He then builds toward displaying an image from simple logic chips.

Technology Connections takes a long, detailed look at how a 1970s electromechanical pinball machine works, from relays to stepper motors and mechanical logic. It is the first part of a series.

Chris Domas's DEF CON 23 talk on psychological warfare against reverse engineers. He builds code whose disassembly and control flow graphs mislead, intimidate and demoralize anyone analyzing it.

Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.

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 short clip of former KGB defector Yuri Bezmenov in 1984 describing Soviet ideological subversion of Western societies. It is a political commentary excerpt from his longer lecture.

A 2012 debate between Peter Thiel and George Gilder on whether technological progress and economic growth are accelerating or decelerating, moderated by William Davidow.

An 88-minute Microsoft Research talk that explains how quantum computers beat classical ones using basic linear algebra, qubits, superposition and gates. It works through the Deutsch oracle problem and ends with entanglement, teleportation and a live demo.

Lawrence Krauss's 2009 talk on the current picture of the universe, how it will end and how it could have come from nothing. It covers the expanding universe, cosmic background radiation and the cosmological constant.

Peter Thiel is the first guest on Eric Weinstein's The Portal, in a nearly three-hour conversation about technological stagnation, institutional failure and the link between growth and violence. They discuss universities, the economy and the search for a more ambitious future.

Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

Gerald Sussman's 2011 Strange Loop keynote argues we still do not know how to compute, comparing biological systems with how we program machines. It touches on propagators, constraint programming and robustness.

The first episode of James Burke's Connections series, 'The Trigger Effect', explores how modern society depends on interlinked technological systems and how quickly it breaks down when they fail, starting with a power blackout.