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.

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.

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.

Roaring Kitty's July 2020 analysis of GameStop, arguing a bullish deep-value case when the stock was about $4 and short interest exceeded 100%. It covers fundamentals, cash balance and technicals.

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.

Mick West analyzes the Navy's Gimbal UFO video and gives four checkable observations suggesting it is an infrared glare that appears to rotate because the camera rotates while tracking. He argues the object is likely a hot craft hidden behind the glare.

Dr Mike Pound of Computerphile shows how a modern laptop can crack Enigma, using a ciphertext-only attack based on an older paper. He compares it with the tooling in CrypTool.

A film-analysis video essay linking Blade Runner 2049's Cells Interlinked sequence to Nabokov's Pale Fire. It examines the poetry and meaning behind the film's references.

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.

Andrew Kelley's Zig SHOWTIME talk on an experiment to ship static Linux executables that can do graphics and gaming, followed by an interview. It covers the problems of Linux binary stability, dynamic linking and the graphics ABI.

The Signal Path takes apart a Starlink dish layer by layer, analyzing the phased array RF design, system architecture and integrated circuits, with an X-ray of the RF stack.

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.

Digital Foundry's Alex Battaglia analyzes Metro Exodus Enhanced Edition, the first AAA game built around ray tracing. It covers the new global illumination, emissive lighting, DLSS and performance on AMD and Nvidia hardware.

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.

An episode of Plogue's chipresearch series on emulating the Yamaha DX7 from the hardware up. It covers the sub CPU and main CPU, address map investigation, cartridges, firmware analysis and a skeleton MAME driver.

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.

Nathan Kutz presents the spatio-temporal dynamics of rotating detonation rocket engines, including combustion fronts that behave like solitons. He shows a bifurcation analysis of a multiscale model that captures the main features.

Tom Scott explains Electrical Network Frequency analysis, where hum from the power grid in a recording is matched against grid logs to date and place it. He talks to a researcher and sets them a challenge.

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.

A 2006 Google Tech Talk by Robert Bussard on inertial electrostatic confinement (polywell) fusion as a cheap, clean alternative to conventional thermonuclear reactors. He argues it could be made viable with modest funding.