hal abelson

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.

Michael Jordan's 2009 Naismith Basketball Hall of Fame enshrinement speech, in which he thanks and also airs grievances about people who doubted him. It is known for his stories of using slights as motivation.

UC Berkeley EECS colloquium by OpenAI's John Schulman on reinforcement learning from human feedback. He covers why RL helps with truthfulness, hallucination, and the limits of behavior cloning.

Bungie's David Aldridge explains the networking programming behind Halo: Reach in a 2011 GDC session. It covers how gameplay stays in sync online, including forecasting and state reconciliation.

Stuart Halloway of Cognitect argues for debugging with the scientific method: form hypotheses, try to falsify them, and write everything down. The talk is given to the Clojure community but applies to any language.

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.

A 2016 conference talk by a mobile game CEO on the tricks of free-to-play monetization, including player profiles and how to target high-spending whales.

Esther Gokhale's short TEDx talk argues that the natural human spine is curved rather than straight and teaches a 'primal posture' for sitting without back pain.

Neuroscientist Anil Seth argues in this TED talk that perception is a controlled hallucination: the brain constantly predicts the world and our shared agreement is what we call reality. He also touches on the construction of the self.

Stuart Halloway argues that simplicity is objective, with a definition and etymology useful to programmers, rather than a subjective buzzword. He shows how this view informs Clojure's design and how to make programs simpler.

Dr. Sarah Hallberg argues in a TEDx talk that type 2 diabetes can be treated and potentially reversed through diet, especially by restricting carbohydrates. TED flagged the talk as outside its guidelines and warned against taking it as medical advice.

Stuart Halloway's satirical talk describes how to protect yourself from industry change by spreading complexity through systems while following idiomatic practice. It uses this inversion to catalog software design anti-patterns.

Khalil Estell's CppCon 2024 talk argues C++ exceptions can reduce binary size in firmware. He digs into how exceptions work and how to shrink their code footprint on embedded platforms.

Rick Reed of WhatsApp speaks at MeetBSD about running a messaging service on FreeBSD and Erlang at huge scale. He covers the stack, tuning and the challenges of millions of connections per host.

Stuart Halloway shows how Clojure's spec library lets you build programs that are both agile and robust. He covers declarative, predicate-based specification layered on interactive REPL development.

Marshall Kirk McKusick gives a talk at EuroBSDCon tracing filesystem and storage development from 1979 to today, using the BSD Fast Filesystem as the focus. It covers early disk-geometry optimization through later contiguous layout and small-file performance work.

Mark Russinovich's closing keynote at Rust Nation UK on Microsoft's adoption of Rust, covering security gains, integration challenges, performance results and lessons learned.

Chris Thalinger of Twitter describes the company's effort to run its Scala services on the Graal JIT compiler at Scala Days NYC 2018. It covers the performance gains Twitter saw and the work of running Graal in production.

Astronaut Mike Mullane explains normalisation of deviance, where teams gradually come to accept violations of their own safety standards. He uses the Challenger shuttle disaster as the main case, drawing on NASA's ignored warnings before the launch. It is the first part of a talk given to a fire-fighters' association.

Cory Doctorow's DEF CON 31 talk describes how platforms decay in a pattern he calls enshittification. He lays out a plan to stop it through antitrust, interoperability and fixing the law.

A short video of Robert F. Kennedy's 1968 speech criticizing Gross Domestic Product as a measure of progress, saying it counts everything except what makes life worthwhile.

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

Moxie Marlinspike's 36C3 talk examines why distributed and decentralized technology is hard to build into consumer products, from the perspective of developing Signal. It argues that ecosystems move slowly and federation causes problems.

David Patterson's talk on the history of computer architecture, from RISC and superscalar designs to the end of Dennard scaling and Moore's Law. It argues that domain-specific architectures and open instruction sets open a new golden age.

Moxie Marlinspike speaks at Next Generation Threats 2014 about the challenges of encrypted communication and how Signal addresses them. He also draws on American action movies as narrative for secure communications.

Rick Hudson's GopherCon 2015 talk on Go 1.5's new low-latency concurrent garbage collector. It covers the motivation, performance numbers, technical challenges and why the approach fits Go.

Dragan Djuric presents Clojure libraries for GPU and numerical computing, including ClojureCL, ClojureCUDA and Neanderthal. He shows how a dynamic REPL workflow can be combined with low-level hardware acceleration for machine learning and data science.

Anand Giridharadas presents his book Winners Take All at Google, arguing that the global elite's philanthropy and 'win-win' framing preserve the systems that create inequity. He challenges the audience, including Google employees, to examine their own role in that system.

Java Language Architect Brian Goetz talks at a Clojure conference about the challenges of evolving a mature language like Java while preserving compatibility with existing code and developer expectations. It also gives a look at where the platform is headed.

Rich Hickey's keynote on software versioning, arguing that breaking changes are the real problem and that libraries should only grow by providing more and requiring less. It critiques semantic versioning and ties into Clojure spec.

Allan Savory's TED talk arguing that desertification of grasslands can be reversed with holistic managed grazing, which he says would also help reverse climate change. TED notes that other scientists have challenged his claims.

Andrej Karpathy gives a one-hour general-audience introduction to large language models, covering what they are, how they are trained, comparisons to operating systems, and security challenges such as jailbreaks.

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean with undergraduates, plus the cultural challenges.

Gary Taubes presents the argument of his book Why We Get Fat to Googlers in 2011. He claims the type of calories matters more than the count, challenges calories-in-calories-out thinking and criticizes the low-fat dietary consensus.

A short !!Con 2016 talk by blind developer Sina Bahram on how he uses a computer and writes code with a screen reader at about 1,000 words per minute. He plays how common interfaces sound and challenges the audience to go a day using only the keyboard.

A short clip of Dr. Robert Zubrin, author of The Case for Mars, answering why humanity should go to Mars. He argues that societies grow by challenging themselves and that exploration inspires young people.

A 38C3 talk on how advanced chips are made, centered on EUV lithography and the global supply chain behind it. It covers technical challenges from raw materials to finished chips and the geopolitical weight of semiconductors.

Bryan Cantrill's Uptime 2017 talk on the engineering challenges of the stateful data path, including storage, firmware and hardware bugs. It uses the 'zebras vs. horses' diagnostic heuristic to explain why rare failures keep appearing.

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.

Ruben Meerman presents a TEDx talk on the stoichiometry of weight loss, showing with lab demonstrations where fat goes when it is lost. He argues that most of it is exhaled as carbon dioxide.