borrow checker

Jonathan Blow's hour-long livestreamed response to a RustConf 2018 closing keynote about entity systems in Rust. He argues that index-based entity systems amount to manual memory management that sidesteps the borrow checker, and he talks about friction for game developers.

Chandler Carruth's CppNow 2023 talk describes Carbon as a successor language to C++ rather than a superset, focusing on C++ interop and a path to memory safety in large existing codebases. It explains why Carbon takes a different approach from Cpp2 and Circle.

A short ProPublica video explaining the "Buy, Borrow, Die" strategy wealthy Americans use to cut taxes. They borrow against appreciating assets instead of selling, and the gains are never taxed at death.

Richard Feldman's GOTO Copenhagen 2022 talk on why dynamic languages like Python, Ruby, PHP and JavaScript rose in the 1990s and why each now has a popular static type checker. It argues that modern static typing recovers the advantages that made dynamic languages attractive.

A 1982 Bell Labs film hosted by Victor Vyssotsky on the origins and design philosophy of the UNIX operating system, with appearances by Kernighan, Thompson and Ritchie. It shows pipes, filters and a shell one-liner spell checker being built.

Stefan Karpinski's European Lisp Symposium 2016 talk asks whether Julia is a Lisp. He covers the features it borrows from Lisp, such as macros and closures, and where it departs, including syntax and its type system, with generated machine code shown.

Dan Geer's Black Hat 2014 keynote argues that cybersecurity is a matter of power and policy rather than wishful thinking. He covers surveillance, the vulnerability market, software liability and privacy as the capacity to misrepresent yourself.

Aaron Bieber, a longtime Vim user, describes his experience trying Emacs with evil mode. He covers what he found, what he missed from Vim, and what Vim could borrow from Emacs.

A 1982 AT&T Bell Labs film for students about the Unix system and how it can be used practically. It includes Lorinda Cherry building a talking calculator by piping together Unix commands, and a spell checker made from Unix utilities.

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.

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.

John Oliver's Last Week Tonight segment on payday loans and predatory lending, covering how they trap borrowers and target the elderly and military. It features Sarah Silverman.

A 70-minute video essay by Jimmy McGee on gambling, addiction and game design, tracing horse racing, slot machines and collectible card markets. It is the first in a series on making money from games.

The original Amiga Boing Ball demo, written at the Winter CES in January 1984 to show off the Amiga's hardware, with a bouncing, spinning checkered ball running while the system multitasked. It became the Amiga's unofficial emblem.

A clip from the 2015 film The Big Short in which FrontPoint Partners investigate mortgage lending in Florida and place their first trade. It shows brokers and a stripper-adjacent loan scene illustrating subprime lending to unverified borrowers.

An Extra Credits episode on how MMO economies get overrun by inflation when players can mint unlimited gold by killing monsters. It covers approaches borrowed from real-world economics, such as anchoring or pegging currency, as alternatives to simple gold sinks.

A short video telling how Xerox PARC invented the graphical user interface and how Steve Jobs's 1979 visit influenced Apple's Lisa.

Tom Scott borrows a Nio electric car in China and shows its automated battery swap station replacing the whole battery in minutes. He explains how swapping serves as an alternative to charging.

A three-minute side-by-side comparison of scenes from Star Wars (1977) and the WWII film The Dam Busters (1955). It shows how closely the Death Star trench run mirrors the earlier film.