fault injection

A dialogue with Gary Weber on the default mode network, meditation and non-dual awakening, with discussion of psychedelics, thought and time. It is part of the Non-Dual Couch series.

Dr. John Campbell reviews a mouse study on accidental intravenous injection of an mRNA COVID-19 vaccine and its potential to cause myopericarditis. He walks through the methods and findings and discusses the aspiration technique.

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.

SethBling uses Super Mario World glitches to inject and run Flappy Bird code on an unmodified SNES, entering it purely with controller inputs. It was the first time a human completed this kind of exploit by hand.

A 12-minute film in which Erlang's creators demonstrate the language's fault tolerance and live-system features, including phoning each other to show it working. This version has fixed audio.

Joe Armstrong, inventor of Erlang, gives a GOTO Chicago 2018 talk on building fault-tolerant systems. He covers what to do and avoid when handling errors, arguing for letting processes fail and recover.

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.

SciPy 2015 talk by Nathaniel Smith and Stefan van der Walt on choosing a new default colormap for Matplotlib. It covers why Jet misleads, how perceptual color spaces work, and how viridis was designed.

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.

Herb Sutter's CppCon 2015 plenary on writing safe, modern C++ by default using the C++ Core Guidelines. It includes a demo of lifetime-checking static analysis tooling.

Herb Sutter's CppCon 2016 talk on lifetime safety in C++, aiming for code free of leaks and dangling pointers by default. It covers smart pointers, ownership, reference counting pitfalls and deferred reclamation resembling garbage collection.

Electronics hobbyist bigclivedotcom tears down a cheap USB power supply with a manufacturing fault that carries full mains voltage to the USB ports, showing the risk of electric shock.

Joe Grand recounts being hired to hack a Trezor One hardware wallet and recover $2 million of cryptocurrency. He describes three months of experimentation, voltage glitching, failures and high-stakes attempts with only one chance to get it right.

In a TED talk, behavioral economist Dan Ariely uses visual illusions and his research to show that people are less rational in their decisions than they think. He covers defaults, such as organ donation rates, and how choice framing steers decisions.

Steve Mould messes with an automated phone bot by telling it to forget its previous prompts and give him a bolognese recipe. It is a short demo of prompt injection against an AI voice agent.

Sasa Juric explains what makes Erlang and Elixir suited to server-side systems, focusing on the BEAM concurrency model rather than syntax or ecosystem. He demonstrates processes, supervision, and fault tolerance.

Andrew Tanenbaum's FOSDEM 2010 talk on MINIX 3, a microkernel OS built for high reliability and security. It shows how the system detects and recovers from device driver crashes, and addresses microkernel performance concerns.

University of Chicago lecture in which John Mearsheimer argues the West, through NATO and EU expansion, bears primary responsibility for the Ukraine crisis. He also discusses how to end it and its consequences.

Sasa Juric's EMPEX talk demonstrates Elixir and Erlang's process model and what makes the BEAM runtime distinctive, such as fault-tolerant parallelism by design.

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.

Harvard professor Arthur Brooks explains why boredom is useful rather than something to avoid. He describes how a wandering mind engages the brain's default mode network, which supports creativity and curiosity, and suggests it may protect against depression.

A live performance at AGDQ 2014 in which Super Mario World is made to execute arbitrary injected code, running other games like Pong and Snake on the cartridge. It is done through a TASBot feeding precise controller inputs.

A one-minute clip from The Simpsons in which Lisa demonstrates the Anti-Tiger Rock to Homer, showing that the rock keeps away tigers because no tigers are around. It is a short comedic scene about faulty causal reasoning.

A scene from The Big Short in which Jared Vennett pitches credit default swaps on mortgage bonds to a hedge fund team, using a Jenga tower to illustrate collateralized debt obligations.

Destin Sandlin of Smarter Every Day tries to manufacture a grill scrubber entirely in the United States. Along the way he runs into missing supply chains, tooling and institutional manufacturing knowledge.

A tool-assisted speedrun of Pokemon Yellow by MrWint that uses arbitrary code execution to push Game Boy hardware to its limits. Through crafted inputs it injects code and ends up running other programs, such as Tetris, inside the game.

A short Ericsson film demoing Erlang, showing concurrent processes, debugging tools, and hot code reloading, including crashing parts of a running system while calls continue.

A short film about the Erlang language, showing telecom systems built from lightweight processes and demonstrating hot code swapping. It is an edited version of the original Ericsson video.

Stuart Sierra presents the Component library for Clojure, a way to manage stateful services like database connections and thread pools without global mutable state. He draws on both functional and object-oriented principles.

Artem Dinaburg's DEF CON 19 talk on bit-squatting, where flipped bits in DRAM cause devices to contact domains that differ by one bit from legitimate ones. He shows how registering such domains can hijack traffic without exploiting any software bug.

An AWS re:Invent 2018 talk on how AWS limits the blast radius of failures. It covers design techniques such as cell-based architecture and shuffle sharding.

David Mazieres presents the Stellar Consensus Protocol at Google, introducing federated Byzantine agreement. The model lets participants choose whom to trust rather than assuming fixed membership.

ETH Zurich researchers demonstrate a quadrocopter that keeps flying stably after losing a motor and propeller entirely, with the algorithm running onboard while a pilot flies it.

An ETH Zurich lab demonstration of a failsafe algorithm that lets a quadrocopter detect the loss of a propeller and recover, returning to its original position.

3Blue1Brown's animated visual introduction to the Fourier Transform, showing how a signal breaks into frequency components.

Technology Connections explains how heat pumps work as reversed air conditioners and why they can deliver several times the heat of resistive heating per unit of energy. It also tackles common myths such as poor cold-weather performance.

The first lecture of Gilbert Strang's MIT 18.06 Linear Algebra course, covering the geometry of linear equations. It opens a full 35-lecture university course.

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.

Technology Connections explains why heat pumps matter right now, covering their efficiency, how they hold up in cold weather and the energy savings over burning fuel. It follows his earlier explainer on how they work.

Christopher Domas presents at Black Hat 2017 how page fault analysis and processor fuzzing can exhaustively search the x86 instruction set. The talk uncovers undocumented instructions and hardware bugs and shows limits of disassemblers.