Results
35 articlesSort
34:11EN
GOTO Conferences· Oct 23, 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.
1:56:28EN
The Pragmatic Engineer· Oct 21, 2026Podcast · 2 speakersWill Larson: The Revised Rules of Engineering ManagementGuest Will Larson · Host Gergely OroszThe 2010s taught engineering managers never to make a technical decision again. Will Larson, CTO of Imprint and author of Staff Engineer, argues that era is over: managers who cannot get back into the work are in a career trap.
1:01:33EN
DeepLearningAI· Sep 22, 2026Spec-Driven Development with Coding Agents: Write the Spec, Let the Agent BuildAndrew Ng, Paul Everitt · DeepLearning.AIJetBrains developer advocate Paul Everitt walks through a full spec-driven workflow: a project constitution, feature loops of plan–implement–validate, and agent skills that travel across tools. The alternative to vibe coding is a markdown contract the agent cannot forget.
4:18:22EN
Lex Fridman· May 6, 2026Podcast · 2 speakersEvery Cycle Matters: The Volunteers Who Decode Almost All Internet VideoGuest FFmpeg · Host Lex FridmanLex Fridman talks with Jean-Baptiste Kempf and Kieran Kunhya about FFmpeg, VLC, handwritten assembly, and the unpaid crew behind YouTube, Netflix, and a rover on Mars.
4:34:10ENLex Fridman· Sep 30, 2025Podcast · 2 speakersPavel Durov Built Telegram for a Billion People. He Still Won't Carry a Phone.Guest Pavel Durov · Host Lex FridmanIn a four-and-a-half-hour conversation with Lex Fridman, the Telegram founder traces freedom from a childhood move out of the Soviet Union to a French jail cell, a poisoning, and a 40-person engineering team.
1:50:28ENLex Fridman· Aug 29, 2025Podcast · 2 speakersThe 87-Kilobyte Program Two Billion People Open Every MonthGuest Dave Plummer · Host Lex FridmanDave Plummer talks Lex Fridman through Task Manager, old-school Microsoft, and how an autistic mind actually works.
6:08:48ENLex Fridman· Jul 12, 2025Podcast · 2 speakersNobody Serious Believes Cookie Banners Help AnyoneGuest DHH · Host Lex FridmanLex Fridman talks with David Heinemeier Hansson for six hours about Ruby, Rails, AI, leaving the cloud, Apple's App Store, and why a small company can still refuse other people's money.
4:25:19ENLex Fridman· Apr 30, 2025Podcast · 2 speakersA shareware text editor, a 30-hour binge, and a five-year war with AppleGuest Tim Sweeney · Host Lex FridmanTim Sweeney traces Unreal Engine’s thirty-year climb, the four-week birth of Fortnite Battle Royale, a new language for the metaverse, and why he thinks Apple is on the wrong side of computing history.
5:20:08ENLex Fridman· Mar 22, 2025Podcast · 2 speakersThePrimeagen Would Rather Redesign the Room Than Trust WillpowerGuest ThePrimeagen · Host Lex FridmanLex Fridman talks with Michael Paulson about linked lists, Netflix, Neovim, ADHD, addiction, AI, and the night he says God gave him a conscience.
46:36EN
No Priors: AI, Machine Learning, Tech, & Startups· Jan 18, 2024Podcast · 2 speakersAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelHost Sarah Guo, Elad GilBeyang Liu on Cody, why keyword search still does most of RAG, and why CS fundamentals get more valuable as AI compresses the middleware.
29:38ENNo Priors: AI, Machine Learning, Tech, & Startups· Sep 21, 2023Podcast · 2 speakersA Beginner Just Shipped a $250K Business. Professionals Got 30 Percent.Host Sarah Guo, Elad GilReplit CEO Amjad Masad on Ghostwriter, why a 3-billion-parameter model was enough, and the agents he wants earning bounties while you sleep.
3:34:03ENLex Fridman· Jun 2, 2023Podcast · 2 speakersPython Isn't Finished: Chris Lattner on Mojo and the Hardware MessGuest Chris Lattner · Host Lex FridmanThe LLVM creator returns to Lex Fridman to argue that Python should grow C-like performance instead of forcing people out of the language.
3:15:51ENLex Fridman· Nov 26, 2022Podcast · 2 speakersPython Is a Recipe Written for Two ReadersGuest Guido van Rossum · Host Lex FridmanGuido van Rossum on CPython’s 3.11 speedups, indentation, the GIL, and why a 4.0 would hurt extensions more than syntax.
5:14:50ENLex Fridman· Aug 4, 2022Podcast · 2 speakersThe best programming language is the one you already useGuest John Carmack · Host Lex FridmanJohn Carmack talks with Lex Fridman about languages, id Software, VR, rockets, and why AGI might be tens of thousands of lines of code.
3:05:24ENLex Fridman· Sep 22, 2021Podcast · 2 speakersTravis Oliphant wrote NumPy in an empty semester — and still wants open source to payGuest Travis Oliphant · Host Lex FridmanThe creator of NumPy, SciPy, and Anaconda tells Lex Fridman how array thinking, a priced book, and the packaging wars shaped scientific Python.
2:21:27ENLex Fridman· Sep 9, 2021Podcast · 2 speakersThe IBM Manual Was So Bad He Became a Computer ScientistGuest Donald Knuth · Host Lex FridmanDonald Knuth talks with Lex Fridman about first programs on an IBM 650, literate programming, the Knuth-Morris-Pratt algorithm, and the hardest theorem he ever proved.
2:46:57ENLex Fridman· Oct 18, 2020Podcast · 2 speakersProgramming Languages Are Bicycles for the MindGuest Chris Lattner · Host Lex FridmanChris Lattner talks with Lex Fridman about Swift, LLVM, RISC-V, and why the next leap in computing is as much a language problem as a silicon one.
1:51:01ENLex Fridman· Sep 24, 2020Podcast · 2 speakersJames Gosling Built Java to Make Pointer Bugs Impossible. Chrome Still Has Them.Guest James Gosling · Host Lex FridmanIn a 2020 conversation with Lex Fridman, Java’s designer traces a line from a neglected PDP-8 to Emacs, the JVM, and a thirty-year war on memory errors.
1:43:10ENLex Fridman· Jul 18, 2020Podcast · 2 speakersKen Thompson's Wife Left for Three Weeks. He Wrote Unix.Guest Brian Kernighan · Host Lex FridmanBrian Kernighan walks Lex Fridman through Bell Labs, C, AWK, AMPL, and a lifetime of tools that millions of people still run — including all of his mistakes.
1:45:56ENLex Fridman· Dec 30, 2019Podcast · 2 speakersPoint eight is enough: Donald Knuth on algorithms, TeX, and a life in one chairGuest Donald Knuth · Host Lex FridmanLex Fridman visits Donald Knuth at home for a conversation about the IBM 650, geek brains, literate programming, The Art of Computer Programming, TeX, P versus NP, and a happiness budget of 80 percent.
1:47:13ENLex Fridman· Nov 7, 2019Podcast · 2 speakersWhen You Hit the Brakes, a Computer Is in the WayGuest Bjarne Stroustrup · Host Lex FridmanBjarne Stroustrup on why C++ still sits between the pedal and the pads, and why an abstraction that costs extra has no place in the language.
1:13:06ENLex Fridman· May 13, 2019Podcast · 2 speakersThe Compiler That Got Apple, Google, and Intel to Share a CodebaseGuest Chris Lattner · Host Lex FridmanChris Lattner walks through LLVM, Clang, Swift, TPU numeric formats, and why compiler work is mostly software engineering.
1:20:09ENLex Fridman· Nov 29, 2018Podcast · 2 speakersStack Overflow Was Never Designed for BeginnersGuest Jeff Atwood · Host Lex FridmanOn Stack Overflow’s tenth birthday, Jeff Atwood talks with Lex Fridman about puzzles, leadership, Discourse, and why a software team’s health is how fast it can change one word.
1:26:44ENLex Fridman· Nov 22, 2018Podcast · 2 speakersHe raised Python like a child, then set it freeGuest Guido van Rossum · Host Lex FridmanIn a 2018 conversation with Lex Fridman, Guido van Rossum traces Python from electronics kits and Conway's Game of Life to the Thursday morning he resigned as benevolent dictator for life.Load moreShowing 24 of 35