common knowledge

Christian Schafmeister's Google Tech Talk on designing spiroligomer molecules and building Clasp, a Common Lisp on LLVM that interoperates with C++, to program molecular design. It covers the chemistry, automatic differentiation for force fields, and how the compiler is built.

A five-minute demo of the Common Lisp debugger fixing a bug, recompiling a single function, and resuming execution from the failed stack frame. It shows how to avoid re-running long computations.

A short Campus Reform clip in which a teacher claims to have helped write Common Core with the aim of ending white privilege. It is a brief, politically charged advocacy-media piece.

Peter Seibel's 2006 Google TechTalk on Practical Common Lisp, framed by the Sapir-Whorf hypothesis and Paul Graham's Blub paradox. It shows Lisp features such as condition restarts and its generic-function object system.

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.

Ahmon Dancy of Franz Inc explains low-level programming in Common Lisp, including off-heap data structures used in AllegroGraph to manage memory outside the garbage collector.

Christian Schafmeister presents lessons from six years of implementing Clasp, a Common Lisp compiler using LLVM as its backend that interoperates with C++. He explains handling a dynamic, memory-managed language on LLVM.

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.

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.

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.

William Shatner's spoken-word cover of Pulp's 'Common People', from his album Has Been.

WIRED has UCLA professor Amit Sahai explain zero-knowledge proofs to a child, a teen, a college student, a grad student and an expert. Each round goes deeper into the cryptography and why it matters.

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.

Christian Schafmeister's Google Tech Talk on Clasp and CANDO, a Common Lisp implementation on LLVM and C++ used to design molecules, including energy minimization and force-field calculations.

Elias Martenson presents his Emacs-based workflow for building a web application (the Potato chat platform) with Common Lisp on the backend and ClojureScript on the frontend. He demonstrates SLIME, Paredit, CIDER and debugger-driven interactive development. The talk is 79 minutes and was given at Emacs SG.

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 imagines a conversational voice assistant, multi-touch tablet and video calling used by a professor. It was made years before the graphical web existed.

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

Tom Scott races a London black-cab driver who has memorized The Knowledge against a phone GPS across the city, comparing local expertise to navigation software.

Marco Baringer's tutorial video on SLIME, the Emacs mode for developing Common Lisp. It demonstrates the interactive workflow of working against a live Lisp image.

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.

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.

Retired Boeing Technical Fellow Doug McLean walks through common misconceptions in aerodynamics, drawing on his book Understanding Aerodynamics. He critiques popular explanations of wing lift and rocket thrust and argues for arguing from the real physics.

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.

David Deutsch's TED talk arguing that humanity's survival depends on solving problems through knowledge growth. He frames people as improbable "chemical scum" capable of understanding distant quasars.

Code Rush is a 2000 PBS documentary following Netscape engineers during the year they open-sourced the browser as Mozilla. It shows the pressure and long hours of work in Silicon Valley at the height of the dot-com era.

Timothy Daly, an original author of the Axiom computer algebra system, talks about turning a large Common Lisp codebase into a literate program. He argues code should be written as readable manuals, and the talk was given at Write the Docs 2013.

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.

Medlife Crisis asks whether academic research should sit behind paywalls, covering publisher profit margins, unpaid reviewers, Sci-Hub and Aaron Swartz. It includes an interview with Sci-Hub founder Alexandra Elbakyan.

A Veritasium video that runs the 2-4-8 rule-guessing puzzle on people to show how they test only examples that confirm their hypothesis. It uses this to illustrate confirmation bias and falsification.

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.

David Rock gives a Google Tech Talk based on his book Your Brain at Work, using neuroscience to explain why focus and productivity are hard at the office. He gives strategies for managing mental energy and distraction.

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.

Robert Smith of Rigetti Computing talks at a Bay Area Lisp and Scheme meetup about using Common Lisp for quantum computing. He covers the technical, sociological and psychological sides of working across disciplines.

Christian Schafmeister presents CANDO at the 2016 European Lisp Symposium. It is a compiled Lisp-based language for designing macromolecules and nanoscale materials, built on the Clasp implementation of Common Lisp.

A ten-minute clip from Jonathan Blow's talk on preventing the collapse of civilization, arguing that software quality and the knowledge to build it are in decline.

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 TEDxBangalore talk by The Ugly Indian, an anonymous collective, asking why Indians tolerate filthy public spaces. It describes their volunteer approach of quietly cleaning up spots and turning the tragedy of the commons into a victory.

Chris Houser's Clojure/conj talk on why Clojure's exceptions destroy information as the stack unwinds, unlike Common Lisp's condition system, which can resume from the error site. He surveys the existing libraries that approximate conditions, explains why they don't compose with each other, and considers what a better design would look like.