Ergebnisse
36 ArtikelSortieren
34:11ENAnatoliy 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:28ENWill Larson: The Revised Rules of Engineering ManagementGast: Will Larson · Moderation: 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:33ENSpec-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:22ENEvery Cycle Matters: The Volunteers Who Decode Almost All Internet VideoGast: FFmpeg · Moderation: 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:10ENPavel Durov Built Telegram for a Billion People. He Still Won't Carry a Phone.Gast: Pavel Durov · Moderation: 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:28ENThe 87-Kilobyte Program Two Billion People Open Every MonthGast: Dave Plummer · Moderation: Lex FridmanDave Plummer talks Lex Fridman through Task Manager, old-school Microsoft, and how an autistic mind actually works.
6:08:48ENNobody Serious Believes Cookie Banners Help AnyoneGast: DHH · Moderation: 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:19ENA shareware text editor, a 30-hour binge, and a five-year war with AppleGast: Tim Sweeney · Moderation: 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:08ENThePrimeagen Would Rather Redesign the Room Than Trust WillpowerGast: ThePrimeagen · Moderation: 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.
1:07:34ENGitHub Didn’t Believe Copilot Was Writing 25% of the CodeThomas Dohmke tells Sequoia how an unplanned GPT-3 experiment became Copilot, why GitHub still will not train its own foundation model, and how he wants a billion people writing software by 2030.
46:36ENAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelModeration: 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.
3:34:03ENPython Isn't Finished: Chris Lattner on Mojo and the Hardware MessGast: Chris Lattner · Moderation: 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:51ENPython Is a Recipe Written for Two ReadersGast: Guido van Rossum · Moderation: 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:50ENThe best programming language is the one you already useGast: John Carmack · Moderation: 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:24ENTravis Oliphant wrote NumPy in an empty semester — and still wants open source to payGast: Travis Oliphant · Moderation: 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:27ENThe IBM Manual Was So Bad He Became a Computer ScientistGast: Donald Knuth · Moderation: 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:57ENProgramming Languages Are Bicycles for the MindGast: Chris Lattner · Moderation: 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:01ENJames Gosling Built Java to Make Pointer Bugs Impossible. Chrome Still Has Them.Gast: James Gosling · Moderation: 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:10ENKen Thompson's Wife Left for Three Weeks. He Wrote Unix.Gast: Brian Kernighan · Moderation: 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:56ENPoint eight is enough: Donald Knuth on algorithms, TeX, and a life in one chairGast: Donald Knuth · Moderation: 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:13ENWhen You Hit the Brakes, a Computer Is in the WayGast: Bjarne Stroustrup · Moderation: 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:06ENThe Compiler That Got Apple, Google, and Intel to Share a CodebaseGast: Chris Lattner · Moderation: Lex FridmanChris Lattner walks through LLVM, Clang, Swift, TPU numeric formats, and why compiler work is mostly software engineering.
1:20:09ENStack Overflow Was Never Designed for BeginnersGast: Jeff Atwood · Moderation: 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:44ENHe raised Python like a child, then set it freeGast: Guido van Rossum · Moderation: 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.
Mehr laden24 von 36 angezeigt









