scarf model

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.

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.

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.

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.

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.

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.

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.

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.

PBS Space Time explains the Standard Model Lagrangian, the single equation encapsulating the particle physics theory, and visualizes what its terms mean.

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.

A JuliaCon talk by a NASA Launch Services Program engineer on modeling spacecraft separation dynamics in Julia. He describes replacing a Simulink-based workflow for checking launch vehicle separation requirements with Julia and ModelingToolkit, with large speedups and much shorter code.

A DEF CON 23 talk by Marc Rogers and Kevin Mahaffey walking through the architecture of the Tesla Model S, what Tesla got right and wrong, and how the interconnected systems can be hacked. It also covers the data the car collects.

Munro Live's Model Y episode 36 has Sandy Munro walk through the disassembled Tesla Octovalve and heat pump system. He explains how the components are made and what each one does.

Freeman Dyson recounts how Enrico Fermi rejected his team's meson scattering model, noting that it had too many free parameters. It is the source of the quote about fitting an elephant.

Munro Live's team breaks down the thermal management system of the Ford Mustang Mach-E and compares it with the Tesla Model Y. They look at parts count, coolant loops and heating approaches.

A short demo shows how to use the Tesla Model 3's mechanical emergency door release on the front doors as a backup to the electronic release. It notes an on-screen warning that frequent use could damage the door seals.

An animation presenting a non-standard helical or vortex model of the solar system, in which the planets trail the Sun through space instead of orbiting in flat circles. The model is a non-conventional view that the author says differs from standard diagrams.

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.

A one-minute Tesla clip showing a prototype robotic snake charger that finds a Model S's charge port and plugs itself in.

3Blue1Brown builds toy SIR models to simulate how an epidemic spreads and tests scenarios like social distancing, travel restrictions, central gathering places and quarantine. It was made during the early COVID-19 outbreak.

A short Al Jazeera animation narrated by Amy Goodman presenting Noam Chomsky's five filters of the mass media: ownership, advertising, media elite sourcing, flak and a common enemy. It is part of the MediaTheorised series.

Blender Guru's beginner tutorial series, in which you model, light, texture and render a donut while learning Blender's core features. This is Part 1 of the Blender 3.0 version.

A three-minute demo of ProFORMA, a system from Cambridge that builds textured 3D models live from a video of an object.

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.

Zig creator Andrew Kelley's RedisConf 2020 talk on modeling data flow with asynchronous I/O in Zig. It explains how Zig's async/await avoids function coloring, and Loris Cro demonstrates OkRedis, a zero-allocation Redis client.