incremental builds

Yaron Minsky of Jane Street shows how the OCaml Incremental library lets trading UIs express data transformations that are easy to read and efficient on streaming data. It includes a live table demo.

A five-minute SuperMemo demo of incremental reading: importing a Wikipedia article on nutrition, extracting passages, making cloze deletions and finishing the item. It lists the keyboard shortcuts used.

Daniel Dunbar of Apple presents llbuild, a framework for building build systems, at the 2016 LLVM Developers' Meeting. He argues that the traditional way C compilers integrate with build systems limits compile speed, and proposes a new architecture.

Alan Kay speaks at the DEMO Founder School session on why real progress takes invention rather than incremental innovation. He argues for problem-oriented thinking and long-term research funding.

Konrad Malawski's Strange Loop 2023 talk shows how the FoundationDB team adopted Swift incrementally in a C++ codebase. It covers Swift's C++ interoperability, which let them move single functions or entire types over one at a time.

Max Brunsfeld of GitHub presents Tree-sitter, a parsing system for programming tools that supports incremental, error-tolerant parsing. He demos its integration into GitHub.com and Atom for syntax highlighting and code navigation.

Max Brunsfeld introduces Tree-sitter, a parsing system for developer tools that offers incremental parsing and robust error recovery through a uniform C API. The talk explains the design, based on LR extended to GLR parsing.

Anders Hejlsberg whiteboards how compilers are taught versus how modern ones are actually built. He explains the shift to compilers as services with incremental, error-tolerant, IDE-oriented design, as in Roslyn and TypeScript.

Charles Marohn of Strong Towns presents, in a Talks at Google session, the ideas from his book on why many North American towns struggle financially despite decades of growth. He argues for incremental, bottom-up city building as a path to local prosperity.

Rachel and Jun film Toyota Home Aichi installing a prefabricated house unit in Japan, with the assembly and roof waterproofing completed in about half a day.

Paul Phillips, a former Scala core contributor, argues after moving a million lines of code that much of what the software industry does is wrong. He critiques Scala and compiler design and calls for better approaches.

A short scene from the British sitcom Yes Prime Minister in which officials describe 'salami tactics' for invading a country slice by slice. Each small step is too minor to justify a major response.

Adam Savage and engineer Kipp Bradford build a compact wearable refrigeration system to keep Adam cool under costumes, modeled on the cooling unit in a NASA spacesuit simulator. It is a long, hands-on build session.

Linus Tech Tips replicates the Threadripper workstation Linus Torvalds built for himself, discussing the parts such as the CPU and cooler.

A Motherboard documentary on Rich, who buys wrecked Teslas, rebuilds them from salvaged parts and shares the process as Rich Rebuilds. It shows the obstacles to repairing cars Tesla won't service.

Martin Odersky's JVM Language Summit 2015 talk argues that compilers can be thought of as databases. It describes design ideas for the Scala compiler and for developer tools.

A 1993 VHS demo of Lucid Energize, a database-backed, incremental C/C++ programming environment built on XEmacs. It shows features like incremental compilation, live debugging and hyperlinked output.

The final chapter of Rich Rebuilds' saga about buying a used Tesla Model X that went missing, with cameo appearances and the end of the dispute. It is part of a longer series on the problems he had with Tesla.

Quint BUILDs tests a rooftop water storage setup in which solar power pumps water up to the roof and a turbine generates power later. He works through the numbers to show how much energy it actually stores.

Andrej Karpathy's first Neural Networks: Zero to Hero lecture, which builds micrograd, a tiny autograd engine, from scratch in Python. It explains backpropagation and neural network training step by step, assuming only basic Python and some high-school calculus.

Applied Science builds a replica Apollo DSKY using an electroluminescent driver circuit and screen-printed conductive ink, with source and PCB files published.

The first chapter of 3Blue1Brown's Essence of Linear Algebra series, introducing vectors with animated geometric visuals. It begins a series that builds intuition for linear algebra from the basics.

Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.

Rich Hickey's JaxConf 2012 keynote examines what values are and why immutable values matter as information systems grow more complex and data gets bigger. It contrasts places with values and builds the case for immutability.

Rich Hickey's Clojure/Conj 2018 keynote argues that Maybe/Option types and rigid type signatures are a poor way to model data that changes over time. He builds the case around optionality, schema growth and compatibility, and presents the ideas behind Clojure spec as an alternative.

Guy Steele's 1998 OOPSLA keynote on designing a programming language that its users can grow. He builds the talk using only one-syllable words and terms he has defined, to demonstrate the idea.

Tom7 (suckerpinch) builds and evaluates a series of absurd hard drives, including storage made from ping packets across the internet. The video accompanies his paper and mixes deep technical hacking with comedic storytelling.

Catherine West's RustConf 2018 closing keynote on building a game in Rust and organizing a large codebase. It builds up an entity component system and generational indices step by step.

Jason Turner's CppCon 2016 talk builds a simple Commodore 64 game using C++17, showing how constexpr and const let a modern compiler produce tight 6502 code. He walks through assembly output to show abstractions being optimized away.

The first video of 3Blue1Brown's Essence of Calculus series, which builds toward integrals, derivatives, and the fundamental theorem of calculus from a simple geometry question. It aims to make viewers feel they could have invented calculus themselves.

A lecture from MIT's Missing Semester course covering version control with git. It builds up git from its data model rather than from commands.

Andrej Karpathy builds a GPT from scratch in code, following Attention Is All You Need and GPT-2/3, in about two hours using PyTorch. He connects it to ChatGPT and assumes familiarity with his earlier makemore videos.

AlphaPhoenix builds a scaled-down version of the Veritasium electricity thought experiment using about a kilometer of wire and an oscilloscope. He measures how the signal actually propagates and explains the result.

DIY Perks builds a realistic artificial sun for dark winters, using a powerful water-cooled LED, a satellite dish reflector for near-parallel rays, and a scattering layer to mimic the blue sky. The video explains the optics behind why most lamps do not look like sunlight and shows the build and its results.

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.

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.

A 10-minute 3Blue1Brown chapter explaining the determinant as the factor by which a linear transformation scales area or volume. It builds the idea geometrically with animations before any formulas.

Chris Ford builds up from a single sine wave through layered abstractions to a Bach canon, using Clojure and the Overtone audio environment. The talk shows music theory as a natural fit for functional programming.

The first of Richard Feynman's 1964 Cornell Messenger Lectures, The Character of Physical Law, focusing on the law of gravitation. Feynman builds up from planetary motion to the nature of physical laws.

Chris McCord's ElixirConf EU 2019 keynote introducing Phoenix LiveView, which builds interactive server-rendered apps without writing JavaScript. It explains how only changed dynamic parts are sent over a websocket.