constructive logic

Andrej Bauer's IAS talk introduces constructive mathematics and what it feels like to do mathematics without excluded middle. It is framed as a tour for classical mathematicians.

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.

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.

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.

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.

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.

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 2012 debate between Peter Thiel and George Gilder on whether technological progress and economic growth are accelerating or decelerating, moderated by William Davidow.

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.

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.

A 2012 Fortune dinner debate between Peter Thiel and Eric Schmidt over whether technological progress is healthy or stalling and whether Google can still innovate.

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

Arthur Keller gives a roughly half-hour crash course on environmental collapse, covering exponential growth, carrying capacity and ecological overshoot.

Tom Scott visits Onkalo in Finland, the planned deep geologic repository for high-level nuclear waste intended to be sealed for 100,000 years.

A clip of a 1984 interview with KGB defector Yuri Bezmenov describing Soviet ideological subversion and demoralization of a target society, uploaded with a politically charged framing.

A long interview with former KGB agent Yuri Bezmenov describing what he calls ideological subversion, a process of demoralizing a nation. He claims it works by influencing academia and media over years.

The 1972 documentary based on Alvin Toffler's book Future Shock, narrated by Orson Welles. It is a dystopian look at the accelerating pace of technological change and its psychological toll.

Tyler Cowen interviews Peter Thiel about technological stagnation, innovation, and lessons from Zero to One. The conversation ranges over business, startups and how Thiel thinks about progress.

A short clip from the British panel show QI in which the panel discusses why there is no such thing as a fish as a biological category.

Short archival film footage of an 87-year-old farmer interviewed in 1929, born in 1842, talking about life and change.

Louis Rossmann, an independent repair shop owner, explains a recurring MacBook logic board design problem that leads to failures such as a black screen. The video is part of his right-to-repair advocacy.

Ben Eater's short update announcing his plan to build another 8-bit computer from scratch on camera. It kicks off the breadboard computer series that became widely known.

A DevGAMM talk by Jonathan Blow arguing that civilizations can lose technological capability and that software quality is already deteriorating. He discusses how knowledge fails to transfer between generations.

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 2012 Harvard Institute of Politics conversation between Peter Thiel and historian Niall Ferguson. Thiel discusses technology, politics and his stagnation hypothesis.

Dan Britt lectures on the history of climate, covering orbital cycles, ice ages and conditions millions of years ago. It frames current climate debate with deep-time context.

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

Ben Eater finishes building a minimal VGA video card from logic circuits. He explains analog RGB signals, stores an image in an EEPROM and builds a simple digital-to-analog converter to display it.

A short sketch from That Mitchell and Webb Look in which the characters cheerfully propose a drastically callous solution to poverty. It is dark satirical comedy about cold policy logic.

Michael Levin's NeurIPS 2018 talk on bioelectric computation outside the nervous system, showing how cell electrical networks shape development and regeneration. It covers morphological information processing in living tissue.

The first episode of James Burke's 1978 BBC series Connections traces modern dependence on complex technological networks, starting with the 1965 New York blackout, and moves through ancient agriculture to Kuwait's oil-driven leap.

Dr. Russell Barkley gives a nearly three-hour lecture of essential ideas about ADHD for parents, covering what ADHD is, its effects on executive function, motivation and emotion, and how it affects children.

A three-minute parody of Adam Curtis's documentary style, assembled from archive footage with his typical narration and leaps of logic.

Pete Hunt of Facebook and Instagram introduces React at JSConf EU 2013 and explains its design principles. He argues that separating templates from logic only separates technologies, not concerns, and makes the case for components.

Deviant Ollam's two-hour conference talk explains how elevators work, from the pit and buffers to the car top, controller logic and access-control features. It shows how this knowledge can be used for optimization and for bypassing building security.

Fredrik Knudsen's 86-minute documentary on Terry A. Davis, creator of TempleOS, tracing his work, his schizophrenia and his decline. It is a chronological video essay built on his public posts and videos.