sum types

The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.

Professor Brailsford of the University of Nottingham describes how the university set out to print its own mathematics exam papers in the 1980s. The story centers on getting a Mergenthaler Linotron 202 typesetter to work with their own software.

Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling. He demos compiling VS Code and explains where the speedup comes from.

Computerphile with Professor Brailsford on how a 1979 Bell Labs team reverse engineered a Linotron 202 phototypesetter over a summer to get high-quality print output. It covers typesetting history and the later 2013 rebuild of the famous vacation memo.

George Carlin's classic stand-up routine about 'stuff' and how much of life is spent accumulating and storing it, from Comic Relief 1986. It satirizes American consumerism and possessions.

A short excerpt of Jon Stewart interviewing former Treasury Secretary Larry Summers about the causes of inflation and whether workers or corporate profits are to blame. It comes from an episode of The Problem With Jon Stewart.

Tom Wildenhain's SIGBOVIK 2018 presentation of WordTeX, a Microsoft Word template that mimics LaTeX typesetting output. It is a joke research project executed with serious effort.

Andreas Antonopoulos answers a Bitcoin Q&A question about energy consumption in mining. He argues that mining is arbitrage for the cheapest electricity, drives investment in renewables, and that the traditional financial system has hidden externalities.

3Blue1Brown explores infinite sums from convergent to divergent, with an introduction to the 2-adic metric, themed on the cycle between discovering and inventing mathematics.

Kurzgesagt makes a selfish case for improving the world, arguing that helping people far away raises prosperity and innovation for everyone, including yourself. The animated video frames this as egoistic altruism and positive-sum cooperation.

First of an 18-part lecture series by engineer Dan Gelbart on building prototypes. The series covers practical mechanical design and fabrication of precision machines.

An RSA Animate adaptation of a Slavoj Zizek talk on charitable giving and ethical consumerism. It argues that buying products that bundle a charity donation can sustain the system that causes the problems.

Alexander Nix of Cambridge Analytica presents at the 2016 Concordia Summit on using big data, psychographic profiling and behavioral microtargeting in elections.

A five-minute demo of the Common Lisp debugger fixing a bug, recompiling a single function, and resuming execution from the failed stack frame. It shows how to avoid re-running long computations.

Numberphile with Tim Browning on the sum-of-three-cubes problem and why 33 was the lowest unsolved case. The description notes a later solution for 33.

A Ray Summit 2022 keynote fireside chat between OpenAI's Greg Brockman and Anyscale's Robert Nishihara. They discuss how OpenAI's training infrastructure evolved and its use of Ray.

A short George Carlin stand-up bit about humanity's obsession with owning stuff and needing a place to put it. It satirizes consumerism and houses full of possessions.

A Washington Post clip of President Trump and NATO Secretary General Jens Stoltenberg in a tense exchange at the July 2018 NATO summit, where Trump criticized Germany's reliance on Russian energy.

Steve Cutts' dark animated short follows a rat chasing happiness through consumerism and endless work. It satirizes materialism and the rat race.

CGP Grey explains split-brain patients, where severing the corpus callosum lets the two hemispheres act independently. He uses this to explore the idea of two minds in one head.

Matt Parker of Stand-up Maths asks whether a country's reported land area accounts for hills and mountains, working through how surface area depends on the resolution of elevation data. It follows up on a question from a viewer and work by researchers who measured it.

Part 10 of Dan Gelbart's prototype-building lecture series, covering flexures: flexible joints that give precise, frictionless motion. It shows how a cheap piece of aluminum can become a nanometer-accurate mechanism.

A Wendover Productions video on how dollar store chains expanded across America and why they displace grocery stores in small towns. It covers their business model and supplier leverage.

Destin of Smarter Every Day goes behind the scenes at the 23andMe lab to show how genotyping works. He also discusses DNA testing and privacy.

Veritasium explains why the one-way speed of light has never been measured, only the round-trip speed, since measuring it requires synchronized clocks that assume the answer. It explores the implications for relativity.

Matt Parker talks Numberphile through the different kinds of numbers: algebraic, transcendental, computable, normal, and beyond. It shows how few numbers we can actually name or describe.

Hans Rosling's TEDxSummit talk asks whether some religions have higher birth rates and how that affects population growth. He charts data across time and religions and reaches a surprising conclusion about fertility.

Veritasium explores planned obsolescence, from the Phoebus lightbulb cartel to printers and phones. It explains how companies deliberately shortened product lifetimes and why products aren't better.

A 60 Minutes segment on Luxottica, the company that owns most major eyewear brands and retailers and dominates the market. It shows how consolidation of brands and manufacturing affects glasses prices.

David Epstein argues in this TED talk that improving athletic records owe much to technology, training and the selection of specialized body types, not just humans getting inherently better. He gives counter-intuitive examples across sports.

Louis Rossmann gives a basic, non-technical introduction to right to repair legislation for people new to the issue.

John Oliver's Last Week Tonight segment on payday loans and predatory lending, covering how they trap borrowers and target the elderly and military. It features Sarah Silverman.

A Numberphile video in which physicists Tony Padilla and Ed Copeland show a seemingly astounding result that 1+2+3+4+... equals -1/12. The argument is informal and has drawn criticism for glossing over what the result actually means.

Engineering Explained examines new research suggesting corn ethanol in US gasoline may emit as much or more carbon than gasoline. It covers the Renewable Fuel Standard and why ethanol was assumed to be a green fuel.

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.

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.

Linus Tech Tips warns against cheap Android TV boxes, many of which ship with preinstalled malware. It looks at several boxes and suggests safer alternatives such as Chromecast and Nvidia Shield.

A five-minute clip of a George Carlin routine arguing that the education system is designed to produce compliant citizens rather than critical thinkers. It ties schooling to the interests of the people who own the country.

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.

Louis Rossmann reacts to a CBC News segment in which an Apple Genius Bar quoted a costly logic board and display replacement for a MacBook that had only a bent pin. He explains why the repair is simple and what the case shows about Apple's repair practices.