binary analysis

Christopher Domas presents his Cantor Dust tool at Derbycon 2012, a 3D visual approach to reverse engineering binaries by visualizing their structure dynamically.

Christopher Domas's REcon 2013 talk on dynamic binary visualization for reverse engineering. He shows how rendering binary data as interactive visual maps and trigraphs reveals structure that hex dumps hide, leading to his Cantor.dust tool.

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.

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.

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.

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.

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.

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.

Numberphile with Daniel Erman on the Josephus problem, where people in a circle are eliminated in turn. It shows how the survivor's position follows a neat pattern tied to powers of two and binary.

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.

Matthias Wandel shows his wooden machine that adds binary numbers using marbles. It demonstrates computation with purely mechanical logic.

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.

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.

Khalil Estell's CppCon 2024 talk argues C++ exceptions can reduce binary size in firmware. He digs into how exceptions work and how to shrink their code footprint on embedded platforms.

Casey Muratori follows up his refterm proof-of-concept, a GPU-based terminal renderer, with a second part covering memory usage, glyph sizing and correct Unicode and VT handling. It is built to show that a terminal can be fast and correct without heroic effort.

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.

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.

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.

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.

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.

Tom Scott explains for Computerphile how floating point numbers work, why moving the binary point is fast, and why it handles money badly.

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.

GothamChess walks through AlphaZero's famous games against Stockfish, highlighting its unusual pawn sacrifices and positional style. It is aimed at chess fans rather than ML specialists.

James Hoffmann runs caffeine analyzer tests comparing filter versus espresso, extraction over time, steep time, instant coffee and light versus dark roast.

A 1969 BBC Tomorrow's World segment about Nellie, a school computer used by pupils at Forest Grammar School to solve equations and play music. Students learn programming and maintenance, and act out binary arithmetic.

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.

Every Frame a Painting analyzes how Jackie Chan stages action comedy, with nine principles such as starting from a disadvantage, using the environment, clear shots, and keeping action and reaction in the same frame.

A 72-minute Q&A with Linus Torvalds at DebConf 14. Topics include the pain of distributing Linux binaries, distro fragmentation, kernel backwards compatibility, GPLv2 versus GPLv3 and conduct.