memory safety

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.

RustConf 2020 closing keynote by Sian Griffin that dives into Pokemon Blue glitches, notably Missingno and arbitrary-code-execution tricks. It uses them to explain how memory unsafety works and how memory-safe languages like Rust prevent such bugs.

John McCall of Apple's Swift team presents at CppNow 2023 on introducing a memory-safe successor language into large C++ code bases. He argues incremental improvement of C++ hits hard limits and explains Swift's C++ interoperability for gradual migration.

Robert Miles introduces the first of several videos on the paper 'Concrete Problems in AI Safety', focusing on how AI systems can cause accidental negative side effects. It explains the problem in accessible terms.

A one-minute UK road safety advert showing a family car crash in which an unbelted rear passenger kills his mother in a head-on collision. It is a notoriously graphic public information film.

An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.

A 36-minute animated deep dive from Branch Education into how DRAM works. It shows how memory connects to the CPU and how billions of bits are stored in nanoscale capacitor cells. It also covers why DRAM sits between SSDs and the processor.

CuriousMarc's Apollo Guidance Computer restoration series looks at core rope memory, the ROM that held the Moon landing programs. Mike Stewart builds a custom reader to recover lost AGC programs.

Emery Berger's CppCon 2019 talk introducing Mesh, a drop-in malloc replacement that compacts memory in unmodified C and C++ programs. It tackles fragmentation by merging pages without changing pointers.

A documentary on Clive Wearing, a renowned musician whose brain was damaged by a virus in 1985, leaving him with a memory spanning only about seven seconds. It follows his life and condition.

A short Tesla promotional video touring the company's Crash Lab. It describes using data from the fleet and replicated real-world crash scenarios to engineer vehicle safety.

Benn Jordan details security vulnerabilities in Flock Safety license-plate-reading cameras and how easily they can be compromised. It includes citations from security researchers and discussion of police surveillance.

Bryan Cantrill's QCon SF 2019 talk asking whether operating systems should be rewritten in Rust. He draws on his systems experience to discuss C, memory safety and Rust's fit for system software.

Robert Miles goes through ten common reasons people give for dismissing AI safety, adapted from Stuart Russell's list, and answers each one. It is aimed at skeptics and newcomers.

A Zig SHOWTIME talk by Benjamin Feng on what a memory allocator is, followed by an interview. It covers allocation strategies and different allocator types in Zig.

A short documentary clip of Japanese railway workers and Toyota staff using pointing-and-calling, a safety practice of physically pointing at and naming things while working. It includes examples from several railway companies.

A Last Week Tonight segment on food safety in the US. It looks at the FDA, the USDA and industry groups such as the Association for Dressings and Sauces, and how little enforcement there is.

Grandmaster David Howell tests Magnus Carlsen by showing him chess positions and asking which famous games they come from. Carlsen recognizes many almost instantly.

Louis Brandy presents the most common and infamous recurring C++ bugs seen in Facebook's huge codebase, including shared_ptr data races and operator[] pitfalls. He explains the surprising complexity behind seemingly simple code.

Benn Jordan concludes his Flock trilogy, filmed on a publicly deployed Flock Safety camera, covering a leak of camera feeds reported by 404 Media. He shows the cameras' capabilities, including panning to track people.

Robert Miles gives a remastered introduction to AI safety, adapted from a talk in London. It lays out why advanced AI could go wrong and answers common objections.

Robert Miles examines whether the case for AI safety is a Pascal's mugging, a tiny probability of an enormous payoff. He argues it is not, because AI risk does not depend on vanishingly small probabilities.

A short silent video from the US Consumer Product Safety Commission warning consumers to stop using the Peloton Tread+. It shows a child being pulled under the treadmill, and it preceded Peloton's recall.

In an Ars Technica War Stories episode, Prince of Persia creator Jordan Mechner describes how he made the game on the Apple II, fighting hardware memory limits and the platform's decline. It covers the rotoscoped animation and the engineering tricks involved.

A woodworker shows how his table saw accident happened, why it happened and how to avoid a similar one. He describes severe hand lacerations from a blade contact.

Carol Nichols' Philly ETE 2019 talk on what makes Rust unique. It covers memory safety, how editions let the language evolve without breaking code, and who relies on Rust in production.

Toyota's short promo clip showing a Mirai carbon-fiber hydrogen tank shot with a .50 caliber round at point blank range. The bullet pierces the tank, which does not burst, and the gas simply escapes and disperses.

David Weston's BlueHat IL 2023 talk traces the evolution of Windows security and previews Windows 11 and hardware advances. It ends with upcoming changes such as Rust in the kernel and fonts, signed binaries and adminless Windows.

Joe Duffy's RustConf 2017 closing keynote on his experience at Microsoft building Midori, an operating system written in a Rust-like safe systems language. He covers the technical and cultural challenges of applying those lessons to Windows.

Jon Gjengset's Rust NYC talk explaining what `unsafe` in Rust actually means, why it is dangerous, and why it is sometimes necessary. He works through the Rustonomicon to separate fair concerns from overblown ones.

Mark Russinovich's closing keynote at Rust Nation UK on Microsoft's adoption of Rust, covering security gains, integration challenges, performance results and lessons learned.

Herb Sutter's deep C++ and Beyond 2012 talk on atomics and the C++ memory model, covering why programmers chasing top performance need to understand hardware ordering. This is part one of two.

FortNine argues that e-bikes have injury rates and speeds closer to motorcycles than to pedal bikes. It argues riders should treat them with similar safety gear and caution.

An Al Jazeera English People & Power investigation from 2010 into safety problems with the Boeing 737NG, featuring whistleblowers on cracking parts, hand-made structural components and an alleged cover-up.

Fedor Pikus's CppCon 2017 talk on C++ atomics, looking at what they let the programmer express and what the hardware actually does. It covers memory ordering and lock-free programming from basic to advanced.

Part two of Herb Sutter's C++ and Beyond 2012 session on atomic weapons, a deep dive into the C++ memory model, atomics, memory ordering, and hardware behavior. It ends with the modern meaning of volatile.

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.

John Oliver's Last Week Tonight segment on Boeing, tracing how it went from a quality engineering company to one tied to crashes and 'quality escapes'. It covers the 737 MAX failures and employee concerns about safety.

In this TED talk, Nobel laureate Daniel Kahneman distinguishes the experiencing self from the remembering self, using examples such as vacations and colonoscopies. He explains how the two perceive happiness differently and what that means for economics, policy and self-awareness.

An English-subtitled German workplace safety film about forklift driver Klaus. It is campy and darkly comic, staging an escalating series of forklift accidents.