computation

Joscha Bach's 31c3 talk argues that the mind should be understood as an information-processing system and that even the physical universe can be seen as computational. It tours the philosophy underlying artificial intelligence and cognitive science.

Joscha Bach's 32C3 talk applies computational theories of mind to questions of meaning, emotion, and love, asking how computation can explain irrational-seeming human experience.

A 2006 Google TechTalk in which Luis von Ahn introduces human computation, using people's effort to solve problems like image recognition that computers cannot yet handle. It covers games with a purpose and related ideas such as CAPTCHAs.

Luis von Ahn, creator of CAPTCHA and reCAPTCHA, presents Duolingo at TEDxCMU 2011. The idea is to have millions of people translate the web for free while learning a language, an example of human computation.

Michael Levin's NeurIPS 2018 talk on bioelectric computation outside the nervous system, showing how cell electrical networks shape development and regeneration. It covers morphological information processing in living tissue.

Cory Doctorow's 28c3 keynote argues that the copyright wars were just a skirmish and that the real fight will be a war on the general-purpose computer. He explains why locked-down devices, DRM and surveillance tools all depend on removing general computation.

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.

Christopher Domas's Derbycon 2015 talk on the M/o/Vfuscator, a compiler that emits only x86 mov instructions, showing mov is Turing complete. It explains how a full machine is built from mov and why the output is a nightmare to reverse engineer.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

A short SIGBOVIK 2017 presentation by Tom Wildenhain showing that PowerPoint animations are Turing complete, with a working Turing machine built in slides. The talk is delivered deadpan as a serious research result.

Matt Might's Curry On talk on ending errors in code, both software and the human genome. He covers conservative approximation of the halting problem via static analysis and a computational approach to precision medicine.

Andrew Sorensen's OSCON 2014 keynote in which he live-codes generative music on stage using his Impromptu environment while narrating his computational and musical choices. It imagines concert programmers as a performing art.

Luis von Ahn, creator of CAPTCHA and reCAPTCHA, explains how small contributions from many people online can digitize books. He then introduces Duolingo as a way to translate the web while people learn languages.

Yaron Minsky of Jane Street shows how the OCaml Incremental library lets trading UIs express data transformations that are easy to read and efficient on streaming data. It includes a live table demo.

Joscha Bach's 35C3 talk offers an AI perspective on the soul, covering perception, mental representation, agency, consciousness and selfhood as things that can arise in a computational system like the brain.

A 92-minute RMIT University seminar in which Ken Stanley argues that setting an objective can block achieving it. He presents objective-less, novelty-driven search as an alternative approach to innovation and discovery, drawing on evolutionary computation.

Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.

Mark Ferrari, the LucasArts background artist, explains in a GDC 2016 talk how he draws 8-bit graphics. He covers color cycling and palette shifting to create complex animated scenery without frame animation.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

Dylan Beattie's NDC London talk on code written for art, fun and curiosity rather than utility. It includes quines, live music programming with Sonic Pi, and a memorable closing.

Chris Ford builds up from a single sine wave through layered abstractions to a Bach canon, using Clojure and the Overtone audio environment. The talk shows music theory as a natural fit for functional programming.

Darius Kazemi's XOXO 2014 talk on releasing 72 weird internet side projects in a year. Framed as 'How I Won the Lottery,' it argues that success needs both luck and buying many tickets.

K Lars Lohn's PyCon 2016 keynote weaves together music theory, programming, biking road trips and fractals. It is a personal, wide-ranging talk rather than a Python how-to.

Tom Stuart's Ruby Manor 3 talk builds FizzBuzz using nothing but Ruby lambdas, working through Church encodings of numbers, booleans and data structures. It is a hands-on introduction to lambda calculus.

Herbert Wolverson's Roguelike Celebration 2020 talk surveying procedural map generation techniques, including integration of hand-crafted prefabs and vaults.

A panel with Tony Hoare, Joe Armstrong and Carl Hewitt, hosted by Francesco Cesarini, on the history and future of concurrency. The three creators of CSP, Erlang and the actor model discuss their differing approaches.

Johann Korndorfer's NVScene 2015 talk on building content with signed distance functions. It focuses on patterns that make SDF modelling more structured, arguing that SDFs capture a shape's essence like vector graphics do compared with polygons or voxels.

Sam Aaron, creator of Sonic Pi, gives a demo-heavy GOTO Chicago 2018 talk on live coding music. He covers the history of Sonic Pi, how it evolved, and what it can do for education and professional musicians.

Gerald Sussman's 2011 Strange Loop keynote argues we still do not know how to compute, comparing biological systems with how we program machines. It touches on propagators, constraint programming and robustness.

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.

Conrad Wolfram argues that the part of math taught in schools, hand calculation, is tedious and mostly irrelevant to real mathematics. He proposes teaching math through computer programming so students can tackle real problems.

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.

Ramesh Raskar presents femto-photography, a technique that captures a trillion frames per second, fast enough to show light itself moving through a scene. He discusses possible uses such as cameras that see around corners or inside the body.

R. Stanley Williams of HP Labs gives a keynote on the memristor, covering the physics, crossbar computation, and potential for memory and new computer architectures.

Joe Armstrong, co-inventor of Erlang, gives a funny and opinionated Strange Loop talk on the tangled state of software: build tools, package managers, entropy and the physical limits of computation. He argues for ideas like naming things by content hash and throwing away your first version.

Guy Steele presents a small geometric problem and compares four computational approaches: a classic sequential solution and three parallel-friendly ones. Each is illustrated pictorially and with working code, weighing total work against time to solution.

Andrew Adams, a Halide developer, presents the Halide language for image processing and tensor computation. The talk explains the separation of algorithm from schedule with illustrated examples of parallelism, locality and redundancy tradeoffs.

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

Peter Shor tells the story of how he discovered Shor's Algorithm, from his early mathematics days to the quantum factoring breakthrough. It was recorded at MIT at the Physics of Computation conference.

John Searle's Talk at Google on consciousness and artificial intelligence, hosted by Google's Singularity Network. He presents his philosophy of mind and Chinese room argument that computation is syntactic and cannot capture semantics.