model predictive control

Dashcam footage of a Tesla Model S on adaptive cruise control hitting a stopped van, with the driver listing the safety systems that failed to react. The uploader still calls the Model S the best car in the world.

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.

A standing whiteboard conversation at Lang.NEXT 2012 among Carl Hewitt, Erik Meijer and Clemens Szyperski about the actor model. Hewitt, who originated the model, explains its foundations.

The opening lecture of Steve Brunton's Control Bootcamp, covering the kinds of control and why closed-loop feedback matters. It starts a series that follows the control chapter of the Brunton and Kutz data-driven science book.

Tom Scott tells how John Reber's plan to dam San Francisco Bay was disproved by the Army Corps of Engineers' giant hydraulic Bay Model in Sausalito. The model showed the plan would have been dangerously wrong.

A clip from Jim Jefferies' Netflix special BARE in which he comedically dissects American gun culture and gun control arguments.

The official tour video of Miniatur Wunderland in Hamburg, the world's largest model railway. It shows the 1,300 square meter layout with trains, aircraft, cars and ships moving around.

Dave Jones of EEVblog looks at a sub-3-cent microcontroller from Padauk and other obscure Chinese manufacturers. He shows how to find such parts and where to buy them in stock.

A Daily Show segment in which John Oliver examines the argument that gun control does not work, using Australia's experience after the Senate rejected the Manchin-Toomey amendment. It is a comedic, man-on-the-street style piece.

John Oliver's Last Week Tonight segment covers the working conditions of US air traffic controllers and the understaffing, outdated equipment (including floppy disks) and funding structure of the FAA. It mixes comedy with policy criticism.

A 2018 vlog showing how to use the windshield wipers on a Tesla Model 3, including auto mode, manual settings and voice commands. It is labeled outdated.

Boston Dynamics shows its Atlas humanoid robot performing a gymnastics and parkour routine, using optimization-generated motions and a model predictive controller.

Imphenzia's 83-minute tutorial covers the low poly modeling techniques he learned over five years of Blender use, with timestamps from navigation and extrusion onward. It uses Blender 2.83 with default keys.

Rob Miles explains on Computerphile how language models generate plausible text and how transformers improved on recurrent networks, with a look at what comes next.

A short cartoon explaining how language models like ChatGPT work, from autocomplete and conditional probabilities to neural networks, gradient descent and backpropagation. It shows how networks act as universal function approximators.

Rob Miles discusses GPT-3 on Computerphile, covering how scaling parameters kept improving results over GPT-2 and how the model nearly learned arithmetic without anyone knowing exactly how.

Scott Wlaschin's NDC talk on using statically typed functional programming, F# in particular, to model a business domain. Types are used to represent the domain precisely and to encode business rules so that illegal states cannot be built, with the compiler acting as an instant unit test.

An Autoline After Hours episode with teardown expert Sandy Munro and a panel of auto journalists. It covers his Tesla Model 3 teardown, including the battery, drive modules, build quality and manufacturing automation.

Sasha Rush surveys linear RNNs and state space models as replacements for attention in transformer-style models, in a talk for MLSys. It covers the foundational preliminaries and predates Mamba.

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.

Andrej Karpathy builds a bigram character-level language model from scratch, introducing torch.Tensor and the framework of training, sampling and loss evaluation. It is the first step toward a GPT-style Transformer in his makemore series.

An engineering explainer on why Tesla abandoned the induction motor for the Model 3 and used an IPM-SynRM design. It covers the reluctance torque and permanent magnet principles behind the choice.

Andreas Antonopoulos argues that money has a fourth function beyond store of value, medium of exchange and unit of account, which is as a system of control. He covers the history of money and why it does not flow freely.

Autoline's John McElroy visits Sandy Munro's shop, where a Tesla Model 3 is being prepared for a teardown benchmarking study. Munro, with deep design and manufacturing experience, points out issues he dislikes about the car's build.

Real air traffic control audio of the Air Astana flight whose flight controls had been wired in reverse by a maintenance error. The pilots struggle to keep control while ATC tries to help.

Richard Feldman's elm-conf talk on designing models so that bugs from impossible application states cannot occur, using Elm's compiler and types. It demonstrates techniques for making invalid states unrepresentable.

A 1953 US Navy training film explaining the basic mechanisms in mechanical fire control computers aboard ships. It shows how gears, differentials and cams solved mathematical problems in permanent mechanical form.

A 1953 US Navy training film on the basic mechanisms in fire control computers: shafts, gears, cams and differentials. It shows how these mechanical parts compute ship and target firing solutions.

Jeremy Howard's 90-minute practical tour of language models. It covers how they work, GPT-4's capabilities and limits, using the OpenAI API, code writing, data analysis and fine-tuning.

The first lecture of Andy Pavlo's CMU 15-445 Intro to Database Systems (Fall 2019), covering course introduction and the relational model.

Andrej Karpathy gives a one-hour general-audience introduction to large language models, covering what they are, how they are trained, comparisons to operating systems, and security challenges such as jailbreaks.

Jay Parlar's Strange Loop talk shows how model checkers such as Alloy can find complex bugs in a system's design without running or reading any code. He walks through modeling architectures and checking every possible sequence of operations, including a real security bug and a UI feature-interaction bug.

Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.

Robert Miles explains reward modelling, in which an AI learns what humans want from their preference comparisons instead of a hand-written reward function. He walks through the 2017 paper on deep reinforcement learning from human preferences.

A panel with Tony Hoare, Joe Armstrong and Carl Hewitt, hosted by Francesco Cesarini, on the history and future of concurrency. The three creators of CSP, Erlang and the actor model discuss their differing approaches.

Luke Wagner of Fastly explains what a WebAssembly component is, how it relates to familiar concepts, and what the Component Model enables. It emphasizes security, composability and modularity.

Simon Brown's Agile on the Beach 2019 talk presents the C4 model, a lightweight approach to diagramming software architecture with a shared vocabulary and simple notation.

A special lecture from MIT's Private Pilot Ground School in which Lt. Col. Randy Gordon, a fighter and test pilot, describes F-22 flight controls. Topics include thrust vectoring, the pilot command system and how software handles failures.

Part one of Sandia National Labs' first-person documentary on the use control, detonation safety and survivability of US nuclear weapons. It covers nuclear sharing in NATO and how control of use was separated from possession, leading to the always/never problem.

A short demo of an open-source Krita plugin that uses Stable Diffusion to generate and edit images in place. It adds ControlNet scribble and line-art support. You select an area, push a button, and new matching content appears.