curry-howard

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.

Heidi Howard's Reactive Summit 2018 talk on generalizing Paxos by weakening its original requirements. She shows Paxos is one point on a broad spectrum of consensus approaches.

Dr. Howard Schubiner presents his research that much chronic pain comes from learned neural pathways rather than structural damage, and outlines a treatment approach based on that view.

CNN clip of Howard Dean's loud yell at a 2004 Iowa campaign event, which gained wide notoriety.

A very short clip of Tim Curry from Red Alert 3, captioned as escaping to space. It is a meme-style video clip.

Evan Czaplicki, creator of Elm, talks at Curry On 2015 about user-focused language design. He explains the principles behind Elm and how to make a functional, typed language as approachable as JavaScript.

Ron Pressler's Curry On 2015 talk arguing that imperative languages should not be polluted with pure functional concepts like monads. He favors simple blocking code over non-blocking styles.

Jeremy Howard's 90-minute practical tour of language models. It covers how they work, GPT-4's capabilities and limits, using the OpenAI API, code writing, data analysis and fine-tuning.

Lesson 1 of fast.ai's Practical Deep Learning for Coders, taught by Jeremy Howard. It takes coders from running code in a Jupyter notebook straight into training a real image model.

Brian Lonsdorf explains why Underscore.js falls short as a functional programming library, then introduces currying, composition and point-free style in JavaScript. He argues for data-last argument ordering.

Deviant Ollam and Howard Payne give an in-depth DEF CON 22 explanation of how elevators work, from the pit to the penthouse. It covers their control modes and how pen testers use elevators to bypass building security.

A HOPE conference talk by Howard Payne and Deviant Ollam on common keys, such as elevator and fire service keys, that open many buildings. It covers physical security weaknesses from shared key standards.

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

The Centre for Computing History reunites Chris Curry, Steve Furber and Hermann Hauser to rewatch the BBC drama Micro Men on its tenth anniversary. They reminisce about Acorn and the early British home computer era.

Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.

The first part of a four-part Channel 4 (UK) documentary series presented by Howard Goodall, this episode covers melody and why tunes affect us so deeply. It explains how melody works in Western music with historical background and music theory.

Jay Leno tours and drives a 1925 Doble E-20 steam car, once owned by Howard Hughes, covering how it starts up and runs. It includes a cutaway view of the engine.

A 1993 episode of The Computer Chronicles on the early Internet, with guests including Howard Rheingold discussing online community. It is a window into how the internet was seen and what hardware was in use at the time.

Howard Abrams demonstrates, in an EmacsConf 2015 talk, how he uses org-mode's Babel and Tramp to configure and operate remote servers from a single document. Code blocks, their results and the explanatory text all live together.

Jeremy Howard defends Jupyter notebooks as a serious development environment, especially when paired with nbdev. He responds directly to Joel Grus's talk about why he dislikes notebooks, and contrasts REPL-style and notebook-style work.

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.

Tudor Girba's Curry On! 2019 talk on moldable development, the idea that developers should build custom tools and views for each software system they work on. It draws on the Pharo and Glamorous Toolkit environments.

A Curry On talk by Lars Bak, known for V8 and Dart, on building a secure and robust IoT development platform. It discusses language and VM design choices for small devices.

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.

Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.

Micro Men is a 2009 BBC comic drama about the early 1980s British home computer boom. It follows the rivalry between Clive Sinclair and Acorn founder Chris Curry over the BBC Micro contract and the ZX Spectrum.

James Howard Kunstler's TED talk argues that American public spaces and architecture have become unworthy of care, damaging civic life. He presents suburban sprawl and car-first design as failures of the common good.

Malcolm Gladwell's TED talk on how Howard Moskowitz found that there is no single perfect spaghetti sauce. He draws a larger point about choice, preference and happiness.