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

Marques Brownlee walks through Tesla's factory with Elon Musk, showing production lines for the Model S, X and 3.

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

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.

Professor Ruzic explains modular micro-reactors: self-contained nuclear units with passive safety whose fuel lasts about 20 years. He covers their use for process and district heat and where they can compete with diesel generation.

A 2008 Google Tech Talk making the case for the liquid fluoride thorium reactor as an abundant, safe source of electrical power. It covers the technical motivations and design of thorium molten-salt reactors.

A demo of a raycasting 3D engine built entirely from in-game mechanisms in vanilla Factorio 0.17. It renders simple 3D scenes, producing a new frame every 45 game ticks, with the video sped up to compensate for low UPS.

A WSJ report on China's 'dark factories', highly automated plants run by robots with little human presence, visiting Zeekr's EV factory. It covers Chinese labor costs, automation and overproduction in the EV industry.

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.

A 2008 Google Tech Talk in which Slava Pestov introduces Factor, a concatenative language influenced by Forth, Lisp and Smalltalk. It covers the interactive environment, metaprogramming, and the language's modern high-level features and libraries.

Destin Sandlin tours United Launch Alliance's rocket factory with CEO Tory Bruno, showing friction stir welding, structural rocket skins and large milled parts.

Kirk Sorensen's Google Tech Talk on thorium molten-salt reactors (LFTR). He covers why the technology was shelved after early development and argues that now is the right time to revisit it.

Kirk Sorensen's Google Tech Talk on liquid-fluoride thorium reactors, a design that could burn nuclear waste and use thorium as fuel. It draws on Oak Ridge National Laboratory work from the 1950s and 60s.

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.

A behind-the-scenes tour of the ILFORD factory in Mobberley, England, showing how black and white film, paper and chemicals are made. It walks through emulsion making, coating, finishing, QC and distribution.

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.

A video tour of Apple's highly automated Macintosh factory in Fremont, California, where the Mac SE and Macintosh II were built.

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.

Douglas Crockford's code::dive 2022 talk on what the next programming language should look like. He presents ideas behind his Misty language, including message-passing actors.

A short scene from the film Clerks in which two characters debate whether the independent contractors killed on the second Death Star were innocent victims. It is a comedic discussion of moral responsibility.

Sandi Metz takes an ugly section of conditional code and refactors it into a few simple objects, bridging object-oriented theory and practice. The talk includes her take on the Gilded Rose refactoring kata and the idea that duplication is cheaper than the wrong abstraction.

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.

A 2011 remix of over six hours of talks by Kirk Sorensen and other thorium advocates, explaining thorium as a nuclear fuel and the liquid-fluoride thorium reactor (LFTR). It argues LFTRs could produce energy without long-lived transuranic waste.

Strange Parts tours JLCPCB's large PCB factory in Huizhou, China, walking through the printed circuit board manufacturing process step by step. It shows the machinery, quality checks and scale behind cheap prototype boards.

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.

Destin Sandlin of Smarter Every Day tours a Kodak factory to show how photographic film is manufactured. This is part one of a three-part series covering the large-scale coating and production process.

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.