ats

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.

Ezra Klein interviews Democratic pollster David Shor, who walks through survey data and charts explaining the 2024 election results. They discuss voter shifts, the education divide and what Democrats got wrong.

The Pruitt-Igoe sequence from Koyaanisqatsi set to Philip Glass's 1998 re-recorded score, showing the housing project's demolition.

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.

Rick Reed of WhatsApp explains at Erlang Factory 2014 how the service scaled to billions of messages with a very small engineering team. He covers the FreeBSD and Erlang stack, Mnesia usage, server counts and bottleneck work.

A short English-subtitled clip of Shuzo Matsuoka, a retired Japanese tennis player turned motivational speaker, delivering a never-give-up pep talk. It is a well-known Japanese internet meme.

A one-minute clip from a cat cafe in Japan where sleeping cats wake and look around just before an earthquake begins shaking the room.

A Vox Strikethrough video arguing that CNN models its political coverage on sports shows like First Take, pitting pundits against each other. It claims this favors drama over truth and degrades public understanding.

Clip from a John Oliver segment showing Newt Gingrich arguing that feelings about crime matter more than FBI statistics at the 2016 RNC.

A short Yes Minister clip in which Sir Humphrey explains why a hospital with no patients still needs a large administrative staff. It is a satirical look at bureaucratic bloat in the public sector.

A Yes Minister sketch in which Jim Hacker and Sir Humphrey meet the BBC and discuss its independence from government pressure. It is a satirical look at the relationship between the state and the broadcaster.

A Yes, Prime Minister scene in which Sir Humphrey shows how leading questions can make a poll produce either answer on national service.

A Blackadder the Third scene in which Dr Johnson delivers his dictionary, which lacks Blackadder's invented insults such as contrafibularity.

The classic Fawlty Towers scene in which Basil Fawlty tries not to mention the war while serving German guests, ending in goose-stepping and mocking. It is a two-minute BBC comedy clip with John Cleese.

Moxie Marlinspike's DEF CON 18 talk on changing threats to privacy argues that surveillance arrived through convenient services and network effects, so opting out is not a real solution. It also includes his framing of getting social democracy rather than the fascism people feared.

Without Boats, a Rust language team member, explains the design of Rust's async/await at RustLatam 2019. He covers the history and constraints behind zero-cost, allocation-free async state machines.

Moxie Marlinspike's DEF CON 18 talk argues that privacy threats have shifted from centralized state databases like TIA to corporate data collection by companies like Google, despite wins in strong cryptography and decentralization.

Moxie Marlinspike speaks at Next Generation Threats 2014 about the challenges of encrypted communication and how Signal addresses them. He also draws on American action movies as narrative for secure communications.

Alan Watson Featherstone, founder of Trees for Life, describes nearly 30 years of work restoring the ancient Caledonian Forest in the Scottish Highlands, illustrated with his photography.

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 short, edited clip of Mark Zuckerberg talking about smoking meats at a barbecue. It circulates as a meme about his awkward persona.

Hans Rosling uses augmented-reality animation to show 200 countries over 200 years in four minutes, built from 120,000 data points. It tracks life expectancy and income to show the world's development.

Hans Rosling uses the Gapminder animated-data tool to debunk myths about world development, with sportscaster-like energy. It shows trends in health, income and child survival across countries.

Veritasium explains how Penrose tilings and quasicrystals overturned the belief that 5-fold symmetry and non-periodic crystals were impossible, including an interview with Paul Steinhardt.

In this TED talk, Hans Rosling uses animated statistics to debunk myths about the developing world, showing how health and income have improved across countries.

Reggie Watts performs at TED 2012, blending vocal looping, beatboxing, poetry and comedy across musical genres in a larger-than-life improvised set.

An episode of Coding Secrets by Jon Burton on retro copy protection, in particular physically damaging a disk with a laser so copies fail. It explains how this defeated hackers and pirates.

Dan Tentler shows a rapid-fire tour of insecure things found on the open internet using Shodan and his own scanning, from unprotected VNC endpoints to industrial controls. The emphasis is on how little security was considered before connecting them.

CGP Grey investigates why the name Tiffany spiked in popularity and then faded, with help from onomastics experts. It is a short, playful look at how names spread.

A short clip about the Australian Collins class submarine HMAS Rankin reportedly defeating US Navy ships in a war-game exercise.

Billionaire Nick Hanauer warns fellow wealthy people in a TED talk that growing inequality could lead to social upheaval like pre-revolutionary France. He argues a higher minimum wage would grow the middle class and prosperity.

A short CNBC report on Zipline, which has delivered medical supplies by drone in Rwanda since 2016 and is preparing to start in the U.S.

A short clip from a lecture Q&A in which Richard Stallman appears to pick something off his foot and eat it.

A CNBC interview in which Deirdre Bosa talks with Tether's CTO and general counsel about the company's role in crypto and the future of stablecoins.

A scene from The Sopranos in which two old-school mobsters try to extort a Starbucks and learn that electronic payments leave an indisputable record of sales.

A short clip from The Wire in which police officers manipulate crime statistics to make the numbers look better. It dramatizes how metrics get gamed.

Matt Damon appears on Hot Ones, eating progressively spicier wings while discussing his film career and promoting Stillwater. He also explains how the decline of the DVD market changed which movies get made.

Techmoan demonstrates the Tefifon, a vintage German audio player that combines elements of record and tape with a grooved elastic loop. He shows how it works and plays it.

A Startup School SV 2014 conversation between Sequoia's Jim Goetz and WhatsApp founder Jan Koum. They discuss how Sequoia pursued WhatsApp, its tiny engineering team, and how it handled growth and support.

Kedi is a feature documentary following seven street cats of Istanbul and the people who care for them. It portrays the relationship between the city and its cats.