soviet space program

Urban explorers break into the Baikonur cosmodrome in Kazakhstan to film the abandoned Soviet Buran space shuttles. The video shows the decaying orbiters and the dangerous trip to reach them.

Video of the March 2014 Senate Defense Subcommittee hearing on National Security Space Launch programs. Elon Musk of SpaceX testifies alongside ULA's CEO, a GAO official and a policy expert, on launch contracts and Russian engines.

A PBS Space Time episode hosted by Gabe Perez-Giz on the nature of spacetime and whether space and time are fundamental. It builds up reference frames and causality in a short, dense format.

The full webcast of SpaceX's Falcon 1 Flight 4, the first privately developed liquid-fueled rocket to reach orbit, on 28 September 2008. It includes the crew's cheering and Elon Musk's statement afterward.

A short SpaceX video of the Dragon 2 pad abort test, in which the capsule's thrusters fire to carry it away from the launch pad. It also shows the pad deluge system.

Robert C. Martin (Uncle Bob) traces the history of software from 1948 to today, looking at the problems programmers faced, how they were solved, and what mistakes the profession made. He then projects where the field is going, including professionalism and regulation.

Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions. He makes the case for live, interactive programming environments, drawing on Lisp, Smalltalk and REPL-driven development.

Felienne Hermans argues that Excel is the world's most popular programming language and shows how spreadsheets work as a pure functional language. She implements a few mathematical problems in spreadsheet formulas to illustrate why they are so powerful and approachable.

Timothy Daly, an original author of the Axiom computer algebra system, talks about turning a large Common Lisp codebase into a literate program. He argues code should be written as readable manuals, and the talk was given at Write the Docs 2013.

Commander Chris Hadfield performs a revised version of David Bowie's Space Oddity, recorded aboard the International Space Station. It was released as a music video in 2013.

SsethTzeentach reviews Space Station 13, the chaotic multiplayer game, by recounting absurd stories of singularities, malfunctioning AIs and plasma fires.

Patrick Boyle analyzes SpaceX's IPO prospectus, covering its financials, speculative products, AI business, related-party dealings, compensation, and a governance structure with minimal shareholder rights.

A TED conversation with SpaceX president Gwynne Shotwell about the company's race to put people in orbit and the BFR rocket. It also covers the idea of using the rocket for fast point-to-point travel on Earth.

Scott Manley explains the thermal balance of spacecraft and how a satellite could be configured to radiate away the heat from datacenter-scale computing in space. His rough numbers suggest it is feasible.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

Felienne Hermans presents Hedy, a gradual programming language for teaching kids that moves through levels from almost no syntax toward full Python. The talk covers why error messages and syntax are scary for beginners.

Theoretical physicist Nima Arkani-Hamed gives a public talk on why spacetime may not be fundamental and what might replace it, including newer approaches to scattering amplitudes.

Jonathan Blow's Reboot Develop 2017 talk on making game programming less terrible, discussing software bloat, slowness and the design goals behind his own programming language.

An Asianometry explainer on why the Soviet Union, once a leading computing power, fell far behind the US in computers by the 1980s. It traces the gap from the 1960s onward despite strong state support for science.

A song by Pig With The Face Of A Boy that narrates the history of the Soviet Union from a worker's view, set to the Tetris melody.

A tour of Christian Schallert's 24 square meter apartment in Barcelona, designed so that it looks like an empty cube until he builds the furniture he needs. Kirsten Dirksen shows how the space is transformed for cooking, sleeping and dressing.

A roughly ten-minute demo of Microsoft's Intentional Programming research system, showing its editor and an unusual way of working with code. It is the first of two clips cut from a longer video.

Thunderf00t's critique of SpaceX's claims, arguing its launches are not actually cheaper than competitors or the Space Shuttle. It questions the economics of reusability.

A Downfall-style parody in which Hitler rages about functional programming concepts such as monads and Haskell. It runs about four minutes.

A one-minute clip of Peter Norvig saying that Google found programming contest success correlates negatively or poorly with job performance. The description links to a blog post discussing it.

A 1987 talk in which John Backus, creator of Fortran, presents function-level programming and the FL language, a successor to his FP work. It is an archival recording with links to the related paper.

A clip of Sandy Munro, a veteran automotive engineer, describing his visit to a SpaceX Starship design review and meeting Elon Musk. He says he was struck by how deeply Musk is involved in engineering.

A panel from the Lang NEXT 2014 conference on systems programming in 2014 and beyond. Language designers including Bjarne Stroustrup and Rob Pike discuss the topic, including C++ header compile times.

Part 2 of an old Microsoft Research demo of Intentional Programming, showing the compiler side of a system that stores programs as abstract structure rather than text. The uploader says the companion editor clip is clearer.

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

A PBS Space Time episode explaining how space and time swap roles inside a black hole's event horizon. It is part of the channel's black hole series.

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.

Richard Feldman argues that functional programming is not the norm largely because of historical accidents, such as C++ popularity, platform exclusivity, marketing spend and network effects, rather than merit. He traces the history of how languages become mainstream.

Bret Victor's DBX 2013 talk, delivered in the guise of a 1973 IBM engineer with an overhead projector. It surveys forgotten ideas from 1960s and early 70s computing and warns against assuming you know what you're doing.

Brian Will makes the case for procedural programming over object-oriented programming, arguing that OOP's promised encapsulation and decoupling are largely illusory. He analyzes real code examples and the problems of tying data to behavior in classes.

Evan Czaplicki's Strange Loop 2014 talk surveys the many formulations of functional reactive programming and how they relate historically and theoretically. It then shows how Elm's variant enables hot-swapping and its time-traveling debugger.

Felienne Hermans's Strange Loop keynote on the history and pedagogy of teaching programming. She questions exploration-only approaches like Logo and discusses research supporting explicit instruction and rote practice.

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.

Kurzgesagt explains how accumulating space junk could trigger a collision cascade (Kessler syndrome) that makes launches too dangerous and traps humanity on Earth.

The first lecture of Stanford's CS107 Programming Paradigms, taught by Jerry Cain, giving an overview of the course. The course goes from C and assembly through C++, concurrency, Scheme and Python.