type inference

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.

CuriousMarc inspects a newly arrived Teletype Model 19, an early military unit built around a Model 15 keyboard and printer, after an initial rough cleaning. It is the first part of a restoration series and touches on 5-bit Baudot code.

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.

CuriousMarc connects a restored 1930 Model 15 Teletype to a Linux machine and uses it as a terminal, after commenters requested it. The video shows the challenges of linking a 5-bit mechanical device to a modern OS.

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.

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.

Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries. It explains why treating vectors as matrices causes trouble in languages.

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.

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.

A demonstration of loading Altair 4K BASIC on an Altair 8800 clone, using a front-panel bootloader and an ASR-33 Teletype. It shows the full sequence of entering boot code, loading BASIC and running a program.

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.

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.

DIY Perks shows how to modify devices that use older USB connectors so they charge and connect over USB Type-C. He solders in a USB-C connector board and works through cases such as dongle-dependent gadgets and a mouse receiver.

Archival footage of Boeing test pilot Tex Johnston barrel-rolling the 707 prototype, the Dash-80, over Lake Washington in 1955 during a demonstration.

Linus Tech Tips tests whether USB Type-C connectors are more durable than Micro-B by repeatedly plugging and unplugging them. In the test, Micro-B failed at around 8000 insertions while USB-C kept working.

A four-minute minutephysics video arguing that causal models and causal networks let statistics infer causation from correlation. It touches on Reichenbach's principle, common causes, feedback and quantum causal discovery.

A short clip of the Super Mario Bros 3 proof-of-concept PC port built by id Software's founders to pitch Nintendo on a PC version. Nintendo passed, and the same technology led to Commander Keen.

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.

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.

A short demo of Code Bubbles, an IDE interface built around editable code fragments in bubbles instead of files. It was a research prototype for Java development.

Neuroscientist Karl Friston gives a 15-minute talk on the free energy principle, covering Markov blankets, Bayesian model evidence and global brain theories.

A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe. He describes languages converging, with ideas such as STM and LINQ moving between them.

Brian Leroux's dotJS 2012 talk WTFJS is a quick, humorous tour of JavaScript's odd behaviors and quirks.

A 1968 Firing Line interview in which Milton Friedman explains the negative income tax, a proposal to replace welfare bureaucracy with direct payments.

An 11-minute clip of Milton Friedman explaining the incentives of unions and how they affect employment. He argues unions restrict labor supply, raising pay for some workers while hurting low-skill workers.

Milton Friedman explains why the US tax code is enormously complex and why meaningful reform is unlikely. He argues that politicians profit from the complexity, since tax breaks are products they sell and the code works as a tool of reward and punishment. The clip is about 14 minutes from his lecture series.

A short clip of economist Milton Friedman discussing the dynamics of illegal immigration and its relationship with the welfare state. It is part one of two.

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

A short clip of Milton Friedman clearing up misconceptions about redistribution of wealth and inheritance tax, arguing that a heavy inheritance tax encourages wasteful behavior.

A short clip of Milton Friedman arguing with students that equal pay laws are counterproductive, and that markets penalize discrimination because cheaper equally productive workers are an advantage to hire.

A short clip of Milton Friedman explaining his free-market view of monopoly, namely that monopolies persist mainly through government help. It is excerpted from the Milton Friedman Speaks series.

Practical Engineering's explanation of the February 2021 Texas winter storm and the resulting power grid outage. It lays out the facts about ERCOT, the grid's isolation, and how generation across fuel types failed in the cold.

Symbolics developer Kalman Reti gives a short introductory demo of a Symbolics Lisp Machine running Genera in an emulator. It shows the context-aware command line, typed on-screen objects, and the live-editable system, including swapping in a C-compiled JPEG decoder.

Veritasium explains why clickbait titles and thumbnails work, how he tests them, and why educational creators feel pushed to use them. He classifies types of clickbait and discusses the trade-offs.

Numberphile's James Grime introduces quaternions, a type of number beyond the complex numbers, building up from real and complex numbers and explaining why they are useful.

Aaron Francis walks through how PHP has changed from 2012 to 2023, covering traits, array destructuring, generators, typed properties and more. It is a quick chaptered tour of modern PHP features.

Guitarist Jim Lill spends a year testing where guitar amplifier tone comes from, swapping tubes, rectifiers and bias types. He finds that much of it can be reproduced with EQ and distortion in different orders.

A hands-on comparison of how jet fuel, diesel, heating oil, kerosene, avgas and gasoline burn and what color they are. It shows that gasoline ignites more easily than jet fuel.

Disney Research presents Touche, a swept frequency capacitive sensing technique that recognizes complex hand and body configurations, and adds touch sensitivity to humans, liquids and everyday objects.

Defense analyst H I Sutton argues that a new type of Chinese landing barge can only be explained by planning for an amphibious assault, in particular on Taiwan.