spec

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.

A screencast tutorial on Specter, a Clojure library for navigating and transforming nested data structures declaratively, demonstrated in a REPL.

A spectrogram analysis of Aphex Twin's track commonly called [Equation] from Windowlicker, rendered from a lossless version. At about 5:30 the spectrogram reveals an image of Richard D. James's face.

A clip from Jim Jefferies' Netflix special BARE in which he comedically dissects American gun culture and gun control arguments.

Ben Krasnow of Applied Science builds and operates a simple mass spectrometer, using it to measure potassium isotopes in a salt substitute. He explains the design choices and the theory behind it.

A short TFiR clip in which Linus Torvalds explains his view that respect should be earned rather than given, in defense of his blunt and insulting style.

Veritasium explains magnetism as a consequence of special relativity. Length contraction of moving charges makes a current in a wire attract or repel a nearby moving charge.

A recording from real hardware of Tim Follin's multichannel 1-bit music for Agent X on the ZX Spectrum. It shows several voices coaxed out of the single-bit beeper.

David Shaw of D. E. Shaw Research presents Anton, a special-purpose machine that speeds up biomolecular simulations about a hundred-fold. The lecture covers molecular dynamics and how simulation helps understand how drugs bind.

A spectrogram visualization of the sounds in a dial-up modem handshake, with an annotated image explaining each noise. It shows how the handshake's tones map to the negotiation steps.

Dr. K of HealthyGamerGG argues that gifted kids can be seen as special needs, tracing a path from the gifted label to burnout and perfectionism.

The Brass Eye special 'Paedogeddon!' by Chris Morris, a black-comedy satire of British media moral panic that duped celebrities and politicians into endorsing nonsense. It is the final episode of the series.

Rich Hickey's keynote on software versioning, arguing that breaking changes are the real problem and that libraries should only grow by providing more and requiring less. It critiques semantic versioning and ties into Clojure spec.

A five-minute excerpt of Rich Hickey's Clojure Made Simple talk, with new slides, ranting about HttpServletRequest and specificity. He argues for using generic maps instead of many specific classes and getters.

Cheng Lou's react-europe 2016 talk lays out a mental framework for thinking about abstraction levels in JavaScript tooling, from Angular and Grunt to Webpack and React. It uses that framework to reason about the cost of abstractions and how to choose between competing solutions.

Eric Weinstein's roughly three-hour presentation of Geometric Unity, his proposed theory unifying physics, given as a special episode of The Portal. It includes clarifications at the end.

A 1995 episode of The Computer Chronicles devoted to Gary Kildall, creator of CP/M. It works as a retrospective and tribute to the personal computer pioneer.

A special lecture from MIT's Private Pilot Ground School in which Lt. Col. Randy Gordon, a fighter and test pilot, describes F-22 flight controls. Topics include thrust vectoring, the pilot command system and how software handles failures.

A 2012 debate between Peter Thiel and George Gilder on whether technological progress and economic growth are accelerating or decelerating, moderated by William Davidow.

Destin Sandlin of Smarter Every Day fires .22 Magnum and .38 Special bullets at Prince Rupert's drops, filmed at 170,000 frames per second. The slow-motion footage shows the bullet shattering against the glass tadpole while the drop initially survives.

Rob Pike presents the Go 2 draft specifications at the Sydney Golang Meetup, covering the Go 2 process and several proposals including generics. The Q&A contains a well-known exchange about the name of the language.

Press conference footage in which the suspects in the 2007 Boston Mooninite bomb scare answer questions about 1960s and 1970s hairstyles.

A short Channel NewsAsia interview clip in which MasterCard's Southeast Asia president voices distrust of cryptocurrencies produced by anonymous computers in anonymous places. It is part of the Perspectives series and runs about four minutes.

Part one of Montemayor's animated-map documentary on the Battle of Midway, told using only the information available to the Japanese side. It focuses on Nagumo's dilemma.

Jenny Nicholson's roughly four-hour review of her two-night stay on Disney's Star Wars Galactic Starcruiser immersive hotel. She goes through the experience, its story and production, and why it failed.

The first video in a 55-part series by Michel van Biezen that introduces the Kalman filter and builds from the rationale through algebraic examples to the full matrix treatment. The videos are short, blackboard-style lectures.

Rick Reed of WhatsApp speaks at MeetBSD about running a messaging service on FreeBSD and Erlang at huge scale. He covers the stack, tuning and the challenges of millions of connections per host.

Der8auer tours Hetzner's test lab and shows a custom AM5 server motherboard with the CPU socket rotated 90 degrees, built for rack airflow in their AX52 servers.

A showcase of the author's fifth-generation quad-core computer built entirely from Minecraft redstone, after two years of development. It features cache, a hardware stack, a GPU driving a 15x15 display, and serial I/O ports.

Apple's WWDC 2020 keynote covering iOS, iPadOS, watchOS, privacy, tvOS and macOS, and the announcement of the move of Macs to Apple silicon. It includes demos of Rosetta translation and virtualization on ARM.

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

Scott Forstall demonstrates Siri on stage at Apple's October 2011 iPhone 4S event, showing the voice assistant handling natural requests like checking the weather and getting things done by asking.

A short clip of Romain Dumas and the all-electric VW I.D. R breaking the overall Pikes Peak hillclimb record with a 7:57 run, over 16 seconds faster than the previous best, with footage of the crowd's reaction.

A two-minute sine tone sweeping exponentially from 20 Hz to 20 kHz, covering the human hearing range at constant acoustic pressure.

A short clip from Bill Hicks' final special, Revelations, in which he describes life as just a ride. It is a philosophical, calming monologue.

Carl Sagan's narration of the Pale Blue Dot passage, reflecting on the Voyager photograph of Earth as a tiny speck in space. It is a short meditation on humanity's smallness and shared home.

Leslie Lamport argues that programmers, like architects, should write rigorous specifications before coding, especially for concurrent and distributed systems. The talk introduces the case for writing specs (the TLA+ mindset) as a way of thinking above the code.

A short clip of Venetian Snares' track 'Look' from Songs About My Cats (2001), shown as a spectrogram. The audio encodes an image in its frequency content.

A one-minute clip from Ricky Gervais's 2018 Netflix special in which he riffs on people getting offended by internet commentary, framed as 'guitar lessons' in humanity. It is a short stand-up excerpt.

Chandler Carruth shows how to squeeze more performance out of already-optimized C++ code, covering how the CPU executes it. The talk goes into pipelining, branch prediction and speculative execution using benchmarks.