dependent 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.

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.

Louis Rossmann argues that Apple's Independent Repair Program is a PR stunt that misleads the public and burdens independent repair shops. He discusses parts access restrictions and program limits.

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.

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.

Not Just Bikes explains why the channel exists, through the creator's walk in suburban Houston. It shows how car-dependent design makes cities hostile to pedestrians.

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.

Louis Rossmann criticizes Apple's independent repair provider program as a PR move with invasive contract terms. He argues it does little for independent shops or customers.

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.

Not Just Bikes explains that car-dependent suburbs are not the only option, using Toronto's Riverdale as an example of a pre-war streetcar suburb. These walkable neighborhoods are popular but are now effectively illegal to build.

Musician Benn Jordan explains how all of his music was removed from Spotify and walks through the history of digital music distribution and fake streams. He argues that Spotify's anti-bot measures are mostly a phony war.

Footage of CNN reporter Omar Jimenez and his crew being arrested live on air while covering the Minneapolis protests after the killing of George Floyd. He identified himself as press and offered to move.

Not Just Bikes explains the Strong Towns argument that car-dependent American suburbs cost more to maintain than they generate in taxes. It describes the growth Ponzi scheme that props up municipal finances.

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.

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.

Not Just Bikes argues that car-dependent suburbs rob children of independence, contrasting North American suburbia with Dutch cities where kids walk and bike on their own. It is the creator's remake of an earlier video on the topic.

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.

Kurzgesagt argues that Facebook's claimed 8 billion daily video views are inflated by freebooting, meaning re-uploads of creators' videos. It describes how this harms independent creators.

Not Just Bikes explains, using Urban3's property-tax analysis, why car-dependent suburbs generate less tax revenue than they cost to maintain, so dense urban cores effectively subsidize them. It is part of a Strong Towns series.

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.

Not Just Bikes argues that people in walkable, bikeable Dutch cities stay healthy because exercise is built into daily life, which he calls the gym of life. It contrasts this with car-dependent cities that require deliberate workouts.

Oh The Urbanity! questions the framing that urban planning reforms like bike lanes and traffic calming wage war on suburbanites. It argues that suburban and urban residents alike want less traffic on their own streets.

PBS Space Time explains the Hubble constant tension, in which two precise, independent methods of measuring the universe's expansion rate disagree. It covers why this calls some standard cosmology into question.

Matthias Wandel tests old and new code on a range of PCs, including a new mini PC, to measure how much faster modern hardware really is. He also shows optimization techniques such as branchless code, with benchmark programs on GitHub.

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.

Louis Rossmann, an independent Apple repair shop owner, explains why he does not use Apple products, drawing on his experience of repairing devices he considers designed to fail and hard to fix.

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.

Not Just Bikes contrasts typical car-dependent North American business parks with one near the airport in the Netherlands that works for driving, cycling and transit. It looks at how the design makes commuting easier.

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.

Benn Jordan concludes his Flock trilogy, filmed on a publicly deployed Flock Safety camera, covering a leak of camera feeds reported by 404 Media. He shows the cameras' capabilities, including panning to track people.

A short PBS Eons episode on carcinization, the repeated independent evolution of crab-like bodies in unrelated crustaceans, and what makes that form so successful.

Not Just Bikes looks at the cancelled plan to spend over $200 million widening Wonderland Road, a stroad in his hometown of London, Ontario. He asks whether the cancellation marks a turning point away from car-dependent development.

Jensen Harris of the Office 2007 design team tells the behind-the-scenes story of the Ribbon at MIX08. He covers early prototypes, mistakes, and the UX principles used to design and validate it.

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.

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.

Quanta Magazine explains the 2022 experiment that claimed to create a holographic wormhole on Google's quantum computer. The description now notes that a later independent analysis questioned whether any wormhole was created.

Not Just Bikes examines Toronto's GO Transit commuter rail, arguing it is a costly system with park-and-ride stations and rush-hour-only service that subsidizes car-dependent suburbs.