zero-knowledge

agadmator walks through a game in which DeepMind's AlphaZero beat Stockfish, ending in a famous zugzwang that leaves the engine helpless. He gives commentary on the moves.

Chandler Carruth argues in a CppCon 2019 talk that C++ has no truly zero-cost abstractions. Using examples like unique_ptr, ABI constraints and compile-time costs, he shows that abstractions cost runtime, compile time or human effort.

Jonathan Blow's DevGAMM 2019 talk argues that software knowledge is being lost between generations and that growing layers of abstraction could lead to a decline in technological civilization.

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.

Part one of a 1996 BBC Modern Times documentary on the training to become a London black cab driver. It follows candidates learning the Knowledge and facing stressful repeated exams with Public Carriage Office examiners.

Apple's late-1980s Knowledge Navigator concept video, produced under John Sculley, showing a professor using a tablet-like device with a conversational software agent. It envisions hypertext, touchscreens and voice assistants.

Apple's 1987 Knowledge Navigator concept video, made for John Sculley's EDUCOM keynote, showing a professor conversing with a tablet-based AI assistant.

OK Go's music video for Upside Down & Inside Out, filmed during parabolic flights so the band and performers are weightless in the plane.

A short excerpt from a 1973 Yorkshire TV film in which Richard Feynman explains that knowing the name of something is not the same as knowing it.

A DevGAMM talk by Jonathan Blow arguing that civilizations can lose technological capability and that software quality is already deteriorating. He discusses how knowledge fails to transfer between generations.

Bruce Dang of Microsoft gives a 27C3 talk on how the Stuxnet vulnerabilities were found and analyzed. He walks through the techniques used to triage them and the details of each zero-day exploit, down to the opcode level.

An RSA Animate in which Steven Pinker explains how the mind builds infinite meanings from finite language, and why people often speak indirectly. It covers ambiguity, politeness and mutual knowledge, including the emperor's new clothes example.

Destin of Smarter Every Day learns to ride a bicycle whose steering is reversed, taking about eight months, and compares it with how his young son learned much faster. It illustrates knowledge versus understanding and brain plasticity in adults versus children.

A two-minute clip in which Milton Friedman uses a humble pencil to show how thousands of strangers across many countries cooperate, without central direction, to make a simple product. It is a short visual version of the 'I, Pencil' essay's argument about free markets and dispersed knowledge.

Bill Gates' TED2010 talk on the energy future, arguing for zero global carbon emissions by 2050 and the need for energy miracles. He explains why he is backing a different type of nuclear reactor.

Thunderf00t argues that Zero Mass Water's solar-powered atmospheric water generator is essentially a dehumidifier with solar panels. He critiques its economics and physics, especially in arid places.

A short explainer on the history and mechanics of public key cryptography and the Diffie-Hellman key exchange. It uses a mixing-paint-colors analogy to show how two parties can agree on a shared secret in public.

Peter Thiel's lecture from the How to Start a Startup course on business strategy and monopoly theory, arguing that competition destroys profits and that startups should aim to build monopolies. It covers the ideas of Zero to One.

Herb Sutter's CppCon 2019 talk on the split in the C++ community over exceptions and RTTI. He proposes making exceptions cheaper and more usable, including a zero-overhead, Result-like design.

Alexander Rose of the Long Now Foundation describes the design and construction of the 10,000 year clock conceived by Danny Hillis. He covers the project's history, methods, and how different cultures built things to last millennia.

A short Not Just Bikes video on continuous sidewalks in the Netherlands, where the sidewalk runs unbroken across side streets so cars must visibly cross pedestrian space. It places them within Dutch sustainable safety and Vision Zero efforts.

Noam Chomsky's 2011 University of Oslo lecture on Newton's contributions to the study of mind. He argues Newton abandoned mechanical explanation and lowered the bar for scientific intelligibility, with consequences for the limits of human understanding. Q&A starts at 45:33.

Smarter Every Day host Destin Sandlin tries to hover a helicopter and finds it very hard. The video shows how the constant coordinated corrections across several control axes feel at first and how learning makes them automatic.

Short Curious Droid video on why NASA could not simply rebuild the Saturn V's Rocketdyne F-1 engine for the SLS boosters. It explains that the engines were hand-tailored and that much of the know-how was never documented, so the blueprints were not enough.

A two-hour Computer History Museum oral history interview with Bjarne Stroustrup, conducted by Paul McJones in 2015. It covers his youth, education at Aarhus and Cambridge, his career at Bell Labs and elsewhere, and the design and evolution of C++.

A short clip of the Sprint anti-ballistic missile, which was launched from a silo and reached Mach 10 within seconds. Its nose and skin glow white hot from aerodynamic heating.

A short video of five people carrying a live, running web server across the city by public transport to a new datacenter. It stayed powered and connected to the internet the whole way, so there was no downtime.

Apple security head Ivan Krstic gives a Black Hat 2016 talk on iOS security, covering HomeKit, Auto Unlock and iCloud Keychain. He explains key hierarchies and how data can stay safe even in adversarial clouds.

Tom Scott explains why electronic voting is a bad idea. Elections must be trusted by everyone and attacks on software scale in ways attacks on paper do not, so open source or blockchain fixes do not solve it.

3Blue1Brown explains the math and mechanics behind Bitcoin visually: ledgers, digital signatures, proof of work and the blockchain, building up a decentralized payment system from first principles.

Moxie Marlinspike's BlackHat 2011 talk examines weaknesses of SSL and the certificate authority system and proposes Convergence, a decentralized notary approach with trust agility.

James Mickens of Harvard gives a funny lecture at HBS's Future Assembly arguing that blockchains are a very bad idea. He covers their trust, legal and practical shortcomings for real-world problems.

Tom Scott explains for Computerphile why electronic voting is a bad idea, arguing that paper ballots are transparent, auditable and hard to tamper with at scale. He covers why moving voting to phones, tablets or computers undermines trust and verifiability.

Mike Hearn's talk at the 2012 London Bitcoin Conference on the future of Bitcoin, new applications and rebuilding the banking system. He covers lesser-known protocol features such as contracts, escrow and scripting.

Bob Beck of OpenBSD describes the first month of LibreSSL, the fork aimed at cleaning up OpenSSL, including oddities found in the code base and why it was cleaned rather than audited cryptographically.

Kim Nilsson presents his investigation into how Mt. Gox was hacked and mismanaged, tracing the finances and the missing bitcoins. It was given at the 2017 Breaking Bitcoin meetup.

Numberphile interviews cryptographer Ron Rivest about end-to-end verifiable voting. He explains how homomorphic encryption and receipts let a voter confirm their ballot was counted without being able to prove how they voted to anyone else.

Moxie Marlinspike's DEF CON 19 talk on the weaknesses of SSL and the certificate authority system. He explains how CA trust became a problem and proposes an alternative that removes the CA oligopoly without reducing security.

Numberphile's Dr James Grime explains the flaw in the Enigma machine, namely that a letter could never be encrypted to itself, and how that helped the Allies break the code. It touches on the Bombe and Alan Turing.

A five-minute CGP Grey explainer arguing that a phone is effectively an extension of your mind, and that any backdoor or master key into encrypted devices will inevitably be abused or leaked. It frames the encryption debate as locks that are either unbreakable or absent.