howard goodall

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.

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.

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

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.

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

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.

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

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.