static analysis

Matt Might's Curry On talk on ending errors in code, both software and the human genome. He covers conservative approximation of the halting problem via static analysis and a computational approach to precision medicine.

Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.

Steve Yegge's Stanford seminar on GROK, Google's internal large-scale, cross-language source code analysis system. It covers how the system helps with code search and understanding across Google's huge codebase.

The first lecture of Francis Su's Harvey Mudd real analysis course, covering the construction of the rational numbers. It begins a full lecture series that follows a standard analysis text.

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.

John Carmack's keynote at QuakeCon 2011, an hour and a half of wide-ranging talk about id Software, Rage, engine open-sourcing, patents and programming practices.

Troy Hunt argues that even static, non-secret websites need HTTPS, demonstrating attacks such as injected content and China's Great Cannon. It accompanies his blog post of the same name.

Disney Research's demo of quasistatic cavity resonance, which uses a purpose-built room or cabinet to generate magnetic fields that deliver kilowatts of power wirelessly to mobile receivers inside.

Rasmus Lerdorf marks 25 years of PHP at phpday 2019 with a look at the highlights and lowlights of the language. He argues for upgrading PHP versions, covering performance, static analysis, zero-cost profiling and dead code elimination.

Dave Jones of EEVblog investigates why a 4K BenQ monitor switches itself off, tracing it to static discharge from an office chair. He uses an oscilloscope to examine the static impulses.

Tikhon Jelvis's Compose Conference talk on using the Z3 SMT solver to analyze and verify programs, including checking invariants with bounded loops. He demonstrates verifying programs in a small language by compiling them to Z3.

Bruce Dang of Microsoft gives a 27C3 talk on how the Stuxnet vulnerabilities were found and analyzed. He walks through the techniques used to triage them and the details of each zero-day exploit, down to the opcode level.

The first of four short videos from Bill Hammack (engineerguy) introducing and giving the history of a 100-year-old mechanical computer, Michelson's harmonic analyzer. The series goes on to explain Fourier synthesis, analysis and operation of the machine.

GameSpot meets the VP of Senseg, a company adding electrostatic touch feedback to tablets and touch surfaces, and demonstrates the technology.

USLaunchReport footage of the September 2016 SpaceX Falcon 9 static fire anomaly that destroyed the rocket and AMOS-6 satellite at Launch Complex 40.

Rich Hickey's Clojure/Conj 2018 keynote argues that Maybe/Option types and rigid type signatures are a poor way to model data that changes over time. He builds the case around optionality, schema growth and compatibility, and presents the ideas behind Clojure spec as an alternative.

An Every Frame a Painting video essay on how Akira Kurosawa used movement, weather and composition to tell stories. It draws on clips and interviews with other filmmakers.

A SXSW talk by W Watson that uses Lacanian psychoanalysis, with nods to Zizek, to critique popular programming languages. It argues that people choose and defend languages for emotional and ideological reasons rather than rational ones.

A cardiologist runs a detailed, skeptical review of the Wim Hof Method, covering the research on cold exposure and breathing techniques. It also teaches how to read scientific statistics critically.

David Kriesel's 36C3 talk, in an English translation, analyzes a year of scraped Deutsche Bahn data covering every stop of every long-distance train in Germany. It explores delays and how punctuality is actually measured.

An Every Frame a Painting video essay on Michael Bay's style, 'Bayhem', covering his camera movement, composition, color and editing. It argues that even if you dislike his films, they teach something about visual perception.

An Every Frame a Painting video essay analysing how Edgar Wright creates visual comedy through framing, camera movement, editing, sound effects and music.

Robert Bussard's 2006 Google Tech Talk on inertial electrostatic confinement fusion, a compact approach he argued could be cheap and clean, using boron-hydrogen fuel without neutron radiation. It runs about 93 minutes and covers the physics, funding history and his proposed development path.

A 13-minute OSCON 2010 talk in which Rob Pike argues about what is wrong with mainstream languages like C++, Java and C#, and presents Go as a response. He discusses verbosity and what lightness means in a language.

An Every Frame a Painting video essay on Buster Keaton's visual comedy, examining how he built and framed his gags. It uses clips from his silent films to show the thinking behind them.

Mike and Jay of RedLetterMedia discuss Starship Troopers, covering its legacy, why people like or dislike it, and its reading as sci-fi action satire versus the Heinlein book.

Stuart Halloway shows how Clojure's spec library lets you build programs that are both agile and robust. He covers declarative, predicate-based specification layered on interactive REPL development.

ArtosisTV's commentary on Game 1 of DeepMind's AlphaStar (Protoss) against top Zerg player Serral at Blizzcon 2019. Artosis analyzes the match with beginner-friendly commentary.

Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them. It draws on his experience developing Typed Racket.

Svelte creator Rich Harris explains moving reactivity into the compiler and language rather than tracking state at runtime, with a history of spreadsheets as reactive systems and comparisons to React.

Rob Pike shows how the Go text/template lexer is built, using state functions, goroutines and channels. The talk was given at a Google Technology User Group in Sydney in 2011.

William Byrd presents at Papers We Love NYC on what he calls the most beautiful program ever written, a Lisp interpreter written in Lisp. He walks through the metacircular interpreter and related ideas, and demos relational programming and program synthesis near the end.

Jason Turner's CppCon 2016 talk builds a simple Commodore 64 game using C++17, showing how constexpr and const let a modern compiler produce tight 6502 code. He walks through assembly output to show abstractions being optimized away.

Christian Schafmeister's Google Tech Talk on designing spiroligomer molecules and building Clasp, a Common Lisp on LLVM that interoperates with C++, to program molecular design. It covers the chemistry, automatic differentiation for force fields, and how the compiler is built.

Tom7 explains how he built a SIGBOVIK 2017 paper made only of printable ASCII bytes that is also a valid DOS executable. He writes a C compiler targeting printable x86 without self-modifying code and solves the puzzles the constraint creates.

Christopher Domas's Derbycon 2015 talk on the M/o/Vfuscator, a compiler that emits only x86 mov instructions, showing mov is Turing complete. It explains how a full machine is built from mov and why the output is a nightmare to reverse engineer.

David Beazley's PyCon India closing keynote, in which he live-codes a stack machine and grows it into an interpreter that runs WebAssembly, then uses it to play a Rust-written game. It requires no prior WebAssembly knowledge.

Matt Godbolt's CppCon 2017 talk shows what modern compilers do with your C++ code, using Compiler Explorer to inspect generated assembly. It covers surprising optimizations and how the tool works.

A two-hour live stream in which Aaron Hsu explains the architecture, design history and aesthetic of Co-dfns, his parallel APL compiler. He walks through the code and the reasoning behind its dense style.

Eric Bier, a PARC research scientist, demonstrates the Cedar integrated programming environment and language, an evolution of Mesa from Xerox PARC. The demo shows the Tioga editor, garbage collection, and a full graphical workstation environment.