monetary system

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.

Timothy Roscoe of ETH Zurich delivers the joint USENIX ATC/OSDI 2021 keynote arguing that operating systems must reckon with modern hardware, which is a heterogeneous collection of processors, firmware and coprocessors rather than a simple machine. It shows how much runs below and beside Linux.

The first lecture in Martin Kleppmann's 8-lecture distributed systems series from the University of Cambridge undergraduate course. It introduces the subject, and accompanying lecture notes are available.

A Kurzgesagt animation giving a big-picture tour of the human immune system, its organs, transport network, and the cells it produces every day. It accompanies their IMMUNE book.

Marshall Kirk McKusick gives a talk at EuroBSDCon tracing filesystem and storage development from 1979 to today, using the BSD Fast Filesystem as the focus. It covers early disk-geometry optimization through later contiguous layout and small-file performance work.

Primer uses simulations to compare voting systems such as first-past-the-post, approval, ranked choice and others. It shows how each system behaves and can be manipulated, with links to further voting theory resources.

Joran Dirk Greef's Systems Distributed '23 talk on TigerStyle, the engineering methodology behind TigerBeetle. It covers designing safer systems in less time through up-front design, assertions, and deterministic simulation.

Bryan Hunter's GigCityElixir 2023 talk on HCA Healthcare's Waterpark system, built on Elixir/Erlang. It describes how the architecture is distributed and fault-tolerant, with a multi-datacenter cluster and runtime code swapping.

Technology Connections explains weaknesses in the US electrical system, centering on how cord and circuit ratings can mismatch and cause fires. It covers extension cords, power strips and plug history in about 25 minutes.

Technology Connections explains that US household power is split-phase, with two 120V legs that combine to 240V for large appliances. It covers the breaker panel and how the system works.

A Kurzgesagt animation about how the immune system constantly detects and kills cells that are turning cancerous. It explains what cancer cells are and why stopping them is so hard.

Joe Armstrong's Strange Loop 2013 talk on building large scalable systems from small isolated parallel components. It covers detecting and correcting errors at run time, changing code while it runs, and how Erlang embodies these principles.

A short clip from an ACM and Computer History Museum interview in which Leslie Lamport discusses writing his paper on time, clocks and the ordering of events. He explains its link to special relativity.

Out of Spec Reviews takes a one-hour drive in an Avatr 11 running Huawei's Qiankun ADS 3.2 driver assistance system in China, billed as the best FSD-like system there.

Kent Overstreet's Linux Foundation talk about writing a filesystem in Rust. Its Q&A segment, where Rust-for-Linux developers ask about interface semantics, became widely cited.

ElixirConf EU 2023 talk by Giuseppe Castagna and Guillaume Duboc on bringing set-theoretic types to Elixir, and the benefits such a type system could offer such as catching bugs.

The opening lecture of MIT 6.824 Distributed Systems (Spring 2020), introducing the course and core challenges of distributed systems. It begins a playlist that goes on to cover Raft and other consensus papers in Go.

Yuta explains what Japan's 99% conviction rate actually means, noting that prosecutors drop cases unless confidence is very high. He argues that the number is widely misunderstood and cites his sources.

Tom Scott's long explainer on YouTube's copyright system, Content ID and the DMCA. He argues the platform's system is a workaround for a broader copyright system that does not fit the modern world.

A feature-length Defunctland documentary on the history of Disney's FastPass and FastPass+ expedited queue systems. It covers how the systems evolved and how they were designed, with simulation of their effects on park lines.

The first episode of James Burke's Connections series, 'The Trigger Effect', explores how modern society depends on interlinked technological systems and how quickly it breaks down when they fail, starting with a power blackout.

Branch Education's animated deep dive into ASML's EUV photolithography machine and how it prints nanometer-scale transistors onto chips. It covers the system's components and the process of chip manufacturing.

Andreas Kling ports the game Diablo to SerenityOS, his from-scratch Unix-like operating system, using the devilutionX project. The roughly 80-minute session shows what porting third-party software to the OS involves.

Alexis King's ZuriHac 2020 talk on how effect systems in Haskell can be implemented efficiently. It looks at the performance cost of effect libraries and how to reduce it.

Kurzgesagt's animated explainer on the human immune system, describing the body as an ecosystem and how immune defenses cope with the variety of invaders. It promotes their book Immune.

A 2023 LLVM Developers' Meeting keynote by Abdul Dakkak, Chris Lattner and Jeff Niu introducing Mojo, a Python-family systems language built on MLIR and LLVM for heterogeneous computing.

Wendover Productions explains how the US military moves people and materiel worldwide, including prepositioned equipment, sealift and airlift. It shows the scale of the logistics system behind US force projection.

A FoundMyFitness episode on how microplastics and associated chemicals such as BPA and PFAS accumulate in the body, including the brain and reproductive systems. It also discusses ways to reduce exposure.

Matt Risinger covers installing a Zehnder ERV fresh-air system in a tight passive house, explaining balanced ventilation, the benefits of heat recovery and the costs involved.

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.

The first stream in the Emacs From Scratch series, building a custom Emacs configuration from zero while teaching basics. It covers a usable baseline setup and the packages for completion, themes and productivity.

Kurzgesagt examines what individuals can do about climate change, covering lesser-known carbon sources and why systemic and political change matter more than personal footprints.

Casey Muratori's two-hour talk tracing the history of object-oriented programming back to the 1960s and examining how its ideas, and later entity component systems, came about. It is followed by a Q&A.

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.

Ava DuVernay's Oscar-nominated documentary on how the history of racial inequality in the US, from slavery through the 13th Amendment's exception clause, drives mass incarceration. It combines archival footage with testimony from activists and scholars.

PS5 lead system architect Mark Cerny gives a deep dive into the PS5's architecture, covering its SSD, I/O, audio and design goals. He explains how removing bottlenecks shapes future games.

Emery Berger argues that performance is hard to measure and deliver on modern systems, showing how code layout and link order can swamp optimization effects. He presents tools that evaluate performance more reliably.

Keith Packard traces the 35-year history of the X Window System at linux.conf.au 2020. He uses X to examine licensing, corporate interests and community dynamics in free software, including Unix workstation vendors and Stallman's influence.

Isaac Freund, author of the River Wayland compositor, talks about writing a Wayland compositor in Zig. He covers why he chose Zig over C and Rust and how Zig can wrap a hairy C library.

Tom 7's pilot episode of a series that plays with type systems and absurd programming, presented as a parody of the GPL v3 license. It mixes a typesetting experiment with a long, story-driven intro on the origin of TeX. Source code and papers are linked from the author's site.