safety testing

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.

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.

Sandi Metz's RailsConf 2013 talk offers practical guidelines for deciding what to test and how, so tests stay cheap and stable. She argues for testing the public interface rather than implementation and using mocks appropriately.

Will Wilson explains autonomous testing: using deterministic simulation and fuzzing, building on FoundationDB's approach, to test software continuously. It sets out the ideas behind his later company Antithesis.

John Hughes, co-creator of QuickCheck, talks about property-based testing of hard systems. He shows production examples where it found very low-level bugs, including issues in the CAN bus standard.

Hillel Wayne's PyCon 2018 talk on testing beyond pytest and mypy. It introduces property-based testing with the Hypothesis library and design-by-contract with dpcontracts, and shows how to combine them with an existing test suite.

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.

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.

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.

Deviant Ollam, head of a physical penetration testing team, presents tactics for getting into buildings, from bypassing door levers with a wire to defeating bank doors. He argues that physical security is often surprisingly weak.

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.

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.

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

Alen Ladavac of Croteam talks about continuous integration and automated testing pipelines in games, with case studies from The Talos Principle and Serious Sam.

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.

Ted Young of LightStep proposes trace testing, using distributed tracing data to unify testing and observability. The KubeCon-era talk argues for testing against trace data rather than treating tests and monitoring separately.

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.

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.

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.

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.

Destin of Smarter Every Day goes behind the scenes at the 23andMe lab to show how genotyping works. He also discusses DNA testing and privacy.

Will Wilson of FoundationDB explains how the team tested their distributed database using deterministic simulation. By running the whole system in a simulator with injected faults and reproducible seeds, they could find rare concurrency and network bugs.

Gary Bernhardt's RubyConf 2012 talk on testing in isolation without mocking everything. It goes through behavior versus data, mutation versus immutability, and how a functional core with an imperative shell yields natural isolation and parallelism.

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.

Veritasium tells how Kodak film was fogged by radioactive fallout from the first atomic tests, letting the company detect nuclear testing before anyone announced it. The video also covers the deal to keep it quiet and how fallout contaminated packaging.

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.

MedCram's Dr. Roger Seheult summarizes a discussion with Dr. Michael Mina on cheap, paper-based at-home COVID-19 antigen tests. It explains why lower sensitivity can still work well for screening infectious people.

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

John Oliver's Last Week Tonight segment on freight trains and railroads, covering how profit-driven practices undermine safety. It touches on longer trains and shrinking crews.

Raymond Hettinger's PyBay 2018 keynote on preventing, finding and fixing bugs under a time budget. He covers testing practice, type annotation tradeoffs and the limits of coverage metrics.

An English-subtitled version of Staplerfahrer Klaus, a gory dark-comedy German workplace safety film about the dangers of forklifts in warehouses.

A clip of Milton Friedman answering an audience member about Ford's decision not to recall the Pinto, in which he defends weighing safety costs against benefits. The uploader's framing is strongly hostile to Friedman.

GreatScott! tests ProLogium lithium ceramic batteries, a solid-state design. He measures their volumetric and gravimetric energy density, compares them to Li-ion and LiPo, and runs durability tests at the end.

A short news clip of a test in which a Tesla hits a child-sized dummy while a car equipped with Luminar's lidar stops in time.

John Oliver's Last Week Tonight segment on standardized testing in American schools. It covers how tests drive school funding, the achievement gap, and the testing industry around companies like Pearson.