Calculating a Car Crash - Numberphile
In briefNumberphile's Ben Sparks works through the physics of a car crash, showing how kinetic energy grows with the square of speed and why stopping distance climbs so quickly as velocity increases.
Math & Theory
Page 14 of 15
-
-
Is Starlink A Secret Radar Constellation?
In briefA 105-minute technical deep dive from Noise In Space evaluating whether Starlink satellites could work as synthetic aperture radar. It covers SAR signal-to-noise, amplifiers, antennas, duplexing, phased array beamforming and simulations of V2 Mini and V3 satellites.
-
SORTDEMO.BAS
In briefA three-minute capture of SORTDEMO.BAS, the sorting visualization that shipped with QBasic. It animates insertion, bubble, heap, exchange, shell and quick sort with chiptune-like sound.
-
The Strange Math That Predicts (Almost) Anything
In briefA Veritasium video on how a feud between Russian mathematicians led to Markov chains and the modern prediction algorithms built on them. It covers the history and the math behind them.
-
Antifragille: Things That Gain from Disorder | Nassim Nicholas Taleb | Talks at Google
In briefNassim Nicholas Taleb talks at Google about his book Antifragile, on systems that gain from disorder and volatility. It draws on themes from his earlier books.
-
Dial Up Modem Handshake Sound - Spectrogram
In briefA 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.
-
The Uncracked Problem with 33 - Numberphile
In briefNumberphile with Tim Browning on the sum-of-three-cubes problem and why 33 was the lowest unsolved case. The description notes a later solution for 33.
-
Darts in Higher Dimensions (with 3blue1brown) - Numberphile
In briefNumberphile talks with Grant Sanderson of 3Blue1Brown about a darts puzzle with a shrinking bullseye. Solving it takes the volumes of high-dimensional spheres, and the answer turns up Euler's number.
-
Category Theory, The essence of interface-based design - Erik Meijer
In briefErik Meijer argues that category theory is the mathematicians' version of interface-based design. He shows that Java 8 lambdas and method references form a Cartesian closed category.
-
Type-Driven Development in Idris — Edwin Brady
In briefEdwin Brady, creator of Idris, introduces type-driven development in a dependently typed language. He shows types being written first and programs derived with interactive editing, then extends beyond simple examples to programs that interact with users and networks.
-
Someone improved my code by 40,832,277,770%
In briefMatt Parker follows the community effort to speed up his slow Wordle-solving code, which ended up running hundreds of millions of times faster. He walks through the techniques contributors used.
-
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
In briefRobert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.
-
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
In briefAn AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.
-
How big is a billion? - Numberphile
In briefNumberphile explains the long and short scales for naming large numbers, covering millions, billions, trillions, milliards and the Greek myriad, with James Grime and Tony Padilla.
-
Base 12 - Numberphile
In briefNumberphile's James Grime makes the case for base 12 (dozenal) over base 10, showing how twelve's many divisors make arithmetic and everyday fractions easier.
-
Scott Aaronson | How Much Math Is Knowable?
In briefScott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.
-
I published music on Tidal to test MQA - MQA Review
In briefGoldenSound publishes music on Tidal to test MQA, a deep dive into the format's claims and problems including its leaky filter. Testing begins around the 5:45 mark.
-
ALAIN COLMERAUER L'AVENTURE PROLOG
In briefA French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.
-
Winning at programming competitions is a negative factor for being good on the job
In briefA 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.
-
Venetian Snares - Look (from Songs About My Cats 2001)
In briefA 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.
-
The real meaning of MPH- The Original- TCHappenings
In briefA viral amateur video in which a woman struggles to explain what miles per hour means. It is a comedic clip of someone failing to reason about speed.
-
Sparse Voxel Octree (SVO) Demo by Jon Olick
In briefA short demo of real-time sparse voxel octree rendering, shown by Jon Olick at Siggraph 2008. It shows a detailed model rendered by ray casting through the octree.
-
Flipping 10 heads in a row: Full video
In briefMathematician singingbanana shows how he flipped ten heads in a row, with the full uncut video and answers to viewers' questions. The point is that unlikely events happen given enough attempts.
-
VIDEO ROOM 1000 COMPLETE MIX -- All 1000 videos seen in sequential order!
In briefA condensed rendition of a project that re-uploaded one video to YouTube 1000 times, showing the accumulating compression artifacts. It pays homage to Alvin Lucier's I Am Sitting in a Room.
