mars

A short clip of Dr. Robert Zubrin, author of The Case for Mars, answering why humanity should go to Mars. He argues that societies grow by challenging themselves and that exploration inspires young people.

Roman Mars gives a funny TED talk on vexillology, laying out five basic principles of good flag design and why many city flags fail them.

SpaceX engineers present at NVIDIA's GPU Technology Conference on a multi-physics code that simulates the full-scale Raptor methane engine. It covers GPU-based turbulent combustion modeling with adaptive grids and wavelet compression.

Charlie Marsh of Astral explains how uv, a Rust Python package manager, got so fast. He covers allocators, concurrency, zero-copy tricks and the challenges of Python packaging.

Marshall Kirk McKusick gives a talk at EuroBSDCon tracing filesystem and storage development from 1979 to today, using the BSD Fast Filesystem as the focus. It covers early disk-geometry optimization through later contiguous layout and small-file performance work.

Elon Musk's 2016 IAC presentation on the technical challenges and architectures for building a self-sustaining human presence on Mars.

Full recording of Elon Musk's January 2015 presentation and Q&A at the SpaceX Seattle office announcement. He lays out plans for a satellite constellation to provide low-latency global internet, tied to funding Mars ambitions. Pauses between questions have been edited out.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

Damian Conway's hour-long keynote at the Perl conference, On the Shoulders of Giants, showing off Perl 6 (Raku) features with history, algorithms and a quantum math operator built with grammars. It is delivered with comic flair.

Larry Wall speaks at Google's Chicago office in 2008 about the Perl community, the language, and Perl 6. The talk touches on grammars, macros and error messages.

Michael Steil and Christian Hessmann's 34C3 talk explaining the Apollo Guidance Computer end to end: hardware design, operating system, and mission software.

Destin Sandlin of Smarter Every Day gives a talk to an aerospace audience, comparing how Apollo was engineered and managed with NASA's Artemis program. He raises concerns about unresolved details, the number of launches and in-orbit fuel transfer needed to reach the Moon, and the loss of institutional knowledge.

Astronaut Mike Mullane explains normalisation of deviance, where teams gradually come to accept violations of their own safety standards. He uses the Challenger shuttle disaster as the main case, drawing on NASA's ignored warnings before the launch. It is the first part of a talk given to a fire-fighters' association.

Bruce Waggoner of the Voyager team describes how engineers diagnosed Voyager 1's 2023 loss of telemetry and patched its flight software from 15 billion miles away. The talk covers the spacecraft's architecture and the scarcity of old documentation.

A Strange Loop 2019 talk by Aaron Cummings on the computing systems aboard Voyager 1 and 2, which control the spacecraft and record and return data decades after launch in 1977.

Bret Copeland, in an astronaut costume, gives an energetic talk on how the Space Shuttle landed from orbit, including reentry and the unpowered glide. It includes real-time landing footage with HUD and audio.

JPL's David Cummings presents at the 2025 Flight Software Workshop how the team diagnosed and fixed the 2023 Voyager 1 anomaly from billions of miles away. It walks through the flight computer and the memory fix.

Brian Troutwine's Code Mesh 2015 talk on the Apollo Guidance Computer. It covers the AGC's design, core rope memory, its interrupt and software behavior, and the pioneering engineering effort behind it.

A JuliaCon talk by a NASA Launch Services Program engineer on modeling spacecraft separation dynamics in Julia. He describes replacing a Simulink-based workflow for checking launch vehicle separation requirements with Julia and ModelingToolkit, with large speedups and much shorter code.

Stuart Armstrong of the Future of Humanity Institute gives an Oxford physics talk on what exploratory engineering suggests about the Fermi paradox. He argues that von Neumann probes and Dyson spheres are plausibly buildable and asks what traces advanced civilizations would leave.

Ron Garret tells the story of the Remote Agent Experiment on NASA's Deep Space 1, where autonomous software controlled a spacecraft in 1999. He describes debugging Lisp code remotely from millions of miles away.

SpaceX's September 2019 Starship update presentation, where Elon Musk describes the design and development of Starship and Super Heavy. It covers construction and plans for reusable orbital rockets.

A HOPE XI talk on programming by voice with open source speech recognition. The speaker writes Linux systems code by voice and describes building custom voice grammars as an alternative to the keyboard for programmers with repetitive strain injuries.