zero-knowledge

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.

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.

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.

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.

Eben Moglen of the Software Freedom Conservancy speaks at the 2009 Law of the Commons Conference about free and open software as a model for a new intellectual commons. The talk covers the legal and social case for sharing knowledge.

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++.

Dan Olson's roughly two-hour video essay critiques NFTs, cryptocurrency, and Web3, covering their technical, economic, and ideological flaws. It is heavily sourced and ends with the advice to ask whether a project needs crypto to work.

A Google Tech Talk by Steve Weis that introduces modern cryptography and its use in practice and at Google. It covers proofs of security and security definitions and a special topic. HN commenters treat it as a talk on verifiable electronic voting.

Dan Olson of Folding Ideas spends months in the virtual world Decentraland and delivers a long critique of the metaverse, NFTs and DAOs, and why virtual worlds fail as places.

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.

Lex Fridman interviews Ethereum co-creator Vitalik Buterin about Ethereum, cryptocurrency and the future of money. The conversation also touches on technical topics such as quantum computing and mining.

Moxie Marlinspike's Black Hat talk presenting sslstrip, which defeats SSL in practice by intercepting the http-to-https redirect.

Christof Paar's university lecture introducing Galois fields and finite-field arithmetic as used in AES. It covers the mathematics behind the AES S-box.

Daniel J. Bernstein and Tanja Lange survey recent highlights in post-quantum cryptography at 35C3, covering the NIST competition, network protocol experiments, and broken candidates.

Bob Beck of OpenBSD gives a BSDCan 2014 talk on the first month of LibreSSL, the OpenSSL fork. He explains why they forked, what they removed, and examples of the problems found in the OpenSSL code base.

A 2016 House Judiciary Committee hearing on encryption, held during the Apple and FBI iPhone dispute. It features testimony from Apple, the FBI and outside experts including Susan Landau, and runs over five hours.

A long Lex Fridman podcast conversation with Austrian economist Saifedean Ammous, author of The Bitcoin Standard. They cover Bitcoin, fiat money, anarchy and Austrian economics.

The opening lecture of MIT's Blockchain and Money course taught by Gary Gensler, covering the course plan, the history of failed digital currencies, cryptography and what a blockchain is.

A UC Berkeley CS 161 lecture by Nicholas Weaver on cryptocurrency and blockchains, covering how they work and the case against them. It is aimed at a computer security course audience.

A 2013 lecture in which Vitalik Buterin explains what quantum computers are and what they can and cannot do. He then discusses what they could mean for Bitcoin's cryptography.

Andrej Karpathy's first Neural Networks: Zero to Hero lecture, which builds micrograd, a tiny autograd engine, from scratch in Python. It explains backpropagation and neural network training step by step, assuming only basic Python and some high-school calculus.

Deviant Ollam's two-hour conference talk explains how elevators work, from the pit and buffers to the car top, controller logic and access-control features. It shows how this knowledge can be used for optimization and for bypassing building security.

Destin Sandlin of Smarter Every Day gives a talk to an aerospace audience, comparing how Apollo was engineered and managed with NASA's Artemis program. He raises concerns about unresolved details, the number of launches and in-orbit fuel transfer needed to reach the Moon, and the loss of institutional knowledge.

David Beazley's PyCon India closing keynote, in which he live-codes a stack machine and grows it into an interpreter that runs WebAssembly, then uses it to play a Rust-written game. It requires no prior WebAssembly knowledge.

The full 1971 Dutch television debate between Noam Chomsky and Michel Foucault on human nature, with subtitles. They discuss creativity, knowledge, power and politics.

Dropbox engineer Kevin Modzelewski gives a Stanford colloquium on Dropbox's history and the technical problems it faced scaling, including detailed database schema decisions.

Day 1 of Casey Muratori's Handmade Hero, a live-coded game built from scratch in C on Windows. It reviews C on Windows, sets up a minimal build system and WinMain entry point, and shows a first MessageBox.

Luca Sas's ACCU 2021 talk on Modern C, a style of C and C-like C++ aligned with data-oriented design. It covers centralized memory management, zero-is-initialization, error handling and API design.

The first part of Freya Holmer's three-part, nearly four-hour lecture on shader coding for game devs in Unity. It covers what shaders are, vertex and fragment shaders, interpolators, data types, blending and textures.

A five-hour documentary history of the Super Mario 64 A button challenge, which aims to beat the game with as few A presses as possible. It covers the bugs and exploits discovered over the years.

Lex Fridman interviews Douglas Lenat, founder of Cyc, a decades-long project to encode common-sense knowledge and reasoning for AI. They discuss symbolic AI and how it may complement neural networks.

Rich Hickey presents an extensive introduction to Clojure at the Boston Lisp meeting, assuming prior Lisp knowledge. It covers the language's design decisions relative to other Lisps.

Tyler Cowen interviews Peter Thiel about technological stagnation, innovation, and lessons from Zero to One. The conversation ranges over business, startups and how Thiel thinks about progress.

Rasmus Lerdorf marks 25 years of PHP at phpday 2019 with a look at the highlights and lowlights of the language. He argues for upgrading PHP versions, covering performance, static analysis, zero-cost profiling and dead code elimination.