stephen kell

Stephen Kell's Strange Loop talk argues that C and Unix already contain Smalltalk-like dynamism and introspection that can be exposed. He presents his liballocs research on bridging dynamic and compiled languages.

Simon Peyton Jones gives Churchill College's annual computer science lecture on Haskell's birth and evolution. He covers the most influential ideas, from laziness to monads and type system evolution, plus current developments and guesses about the future.

The first episode of a screencast series building djb's redo build system from scratch in Haskell. It explains the purpose of redo, writes initial code and sets up a GitHub repository.

Tsoding live-codes a JSON parser from scratch in Haskell in about 111 lines, using only the standard library. It is an edited Twitch stream that explains the intuition behind parser combinators, functors, applicatives and monads.

Lennart Augustsson's CUFP 2011 keynote covers using Haskell commercially at Standard Chartered Bank. He discusses non-standard Haskell implementations, including a strict dialect, and weighs strict against lazy evaluation.

Simon Peyton Jones's first lecture on types in Haskell from the Oregon Programming Languages Summer School 2013. It covers type classes and how they relate to OOP, subtyping and polymorphism.

Alexis King's ZuriHac 2020 talk on how effect systems in Haskell can be implemented efficiently. It looks at the performance cost of effect libraries and how to reduce it.

Ian Cutress interviews chip architect Jim Keller about his time at AMD, Intel and elsewhere, management advice, design approach, Moore's Law and x86 versus Arm.

A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe. He describes languages converging, with ideas such as STM and LINQ moving between them.

Jim Keller's talk at the 2020 Scaled Machine Learning conference on Moore's Law in the age of AI chips. He compares scalar, vector and GPU-style parallel approaches to computation.

Neal Stephenson visits Google in 2008 to discuss his novel Anathem as part of the Authors@Google series. He talks about the book's world and takes audience questions.

John Wiegley's BayHac 2017 talk walks through Haskell lenses by example, showing many practical uses beyond simple record access. It is aimed at people who want to become productive with the lens library.

Lex Fridman interviews legendary chip architect Jim Keller about Moore's Law, microprocessor design, and first-principles thinking. Keller draws on his work at AMD, Apple, Tesla and Intel, discussing instruction sets, transistor budgets, and self-driving.

Jim Keller gives a UC Berkeley EECS colloquium arguing that Moore's Law is not dead. He surveys upcoming technologies and the multiple innovation curves that can keep transistor density and performance scaling.

Zig creator Andrew Kelley justifies why Zig exists and tours its distinctive features, including C interoperability and comptime, along with what people had built and what 1.0 would bring. It was given at Philly ETE 2019.

A kinetic typography animation set to Stephen Fry's spoken essay on language. Fry argues against grammar pedantry and for the way language evolves, including the verbing of nouns.

Andrew Kelley, creator of Zig, presents practical data-oriented design techniques for shrinking memory footprint and making programs cache friendly. He ends with a case study of how these ideas sped up the Zig compiler.

Simon Peyton Jones explains nested data parallelism and Data Parallel Haskell, an approach to exploiting multicore and distributed hardware while keeping a simple single-control-flow programming model.

Lex Fridman interviews Stephen Wolfram for about three hours on cellular automata, computation, the Wolfram Physics Project and his career with Mathematica and Wolfram Alpha.

Gabriella Gonzalez argues that developers misunderstand marketing as deception or hype, and applies the technology-adoption ideas of Crossing the Chasm to Haskell. She looks at what keeps Haskell from reaching mainstream programmers and what a community can do about it.

A short clip of Stephen Fry defending swearing as a rich and essential part of the English language and rejecting the idea that it is unnecessary.

A long Lex Fridman interview with Stephen Wolfram on complexity, cellular automata, computational irreducibility and the Wolfram Physics Project.

Lex Fridman interviews chip architect Jim Keller about the future of computing, AI, life and consciousness. Topics include CPU design, branch prediction and why imperfect designs often win.

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.

JetBrains interviews Zig creator Andrew Kelley about why Zig has no 1.0 after a decade, why the project left GitHub, and why it bans AI contributions. He also covers what makes Zig better than C and his views on open source.

Arthur Keller gives a roughly half-hour crash course on environmental collapse, covering exponential growth, carrying capacity and ecological overshoot.

A short clip of George R.R. Martin asking Stephen King on stage how he writes so fast. King describes setting daily page goals, around six pages a day, and keeping focused hours.

A roughly four-and-a-half-hour Lex Fridman podcast conversation with Stephen Wolfram about his Wolfram Physics Project and a fundamental theory of physics, computation, life and the universe.

A short clip of Stephen Fry explaining the differences between American and British comedy. He attributes them to cultural attitudes such as optimism versus pessimism.

Andrew Kelley's 2024 Zig roadmap talk, followed by a Q&A, covers the language's priorities and the state of the project. Topics include compilation speed, moving off LLVM toward a self-hosted toolchain, async, and the path to 1.0.

Andrew Kelley's roadmap talk on upcoming Zig compiler milestones, focused on compilation speed. It was given at a Zig community event in 2022.

CNN's clip of Stephen Colbert's 2006 White House Correspondents' Dinner routine, in which he mocks President Bush and the press in character. It was republished on the tenth anniversary.

A 15-minute clip of linguist Stephen Krashen discussing language acquisition, drawn from the 1980s. It presents his input hypothesis and the distinction between acquisition and learning.

A clip from Lex Fridman's podcast in which chip architect Jim Keller argues that Moore's Law is not dead and that transistor scaling still has lots of room. He also discusses how to break down hard problems.

A lecture from the 1980s by linguist Stephen Krashen on how people acquire language. He explains his comprehensible input hypothesis for second-language acquisition.

Jim Keller, CTO of Tenstorrent, gives a keynote at Stanford's System X conference on change, understanding and the future of computing. He touches on Moore's Law, how far transistors are from physical limits, and ideas like DNA origami.

A one-minute clip of Stephen Colbert at the White House Correspondents' Dinner delivering the line that reality has a well-known liberal bias.

An Epic Rap Battles of History episode in which Albert Einstein and Stephen Hawking trade rap verses. It is a popular comedic music video.

Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances. It covers why uniqueness of instances matters for reasoning and refactoring.

The 1994 music video for Edie Brickell and New Bohemians' 'Good Times'. It became widely known as one of the bonus videos on the Windows 95 CD-ROM.