Resultados
51 artículosOrdenar
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 ManagementInvitado: Will Larson · Presenta: 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.
1:22:31ENAI Assistants, Enterprise Adoption and the Venture Market’s New RisksInvitado: Jason Lemkin, Rory O’Driscoll · Presenta: Harry StebbingsHarry Stebbings, Jason Lemkin and Rory O’Driscoll debate personal agents, legal AI, autonomous vehicles and the economics of financing AI companies.
57:42ENJacob Lauritzen on AI Engineering, Legal Work and Building LegoraInvitado: Jacob Lauritzen · Presenta: Harry StebbingsLegora’s CTO discusses code review, token budgets, enterprise adoption and how legal workflows might change.
4:18:22ENEvery Cycle Matters: The Volunteers Who Decode Almost All Internet VideoInvitado: FFmpeg · Presenta: 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.
48:49ENAmjad Masad on Replit, Coding Agents and the Future of SoftwareInvitado: Amjad Masad · Presenta: Harry StebbingsReplit’s CEO discusses model routing, software economics, maintenance and the changing roles of builders and engineers.
4:34:10ENPavel Durov Built Telegram for a Billion People. He Still Won't Carry a Phone.Invitado: Pavel Durov · Presenta: 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:12:58ENChris Lattner on Mojo and the Search for Portable GPU PerformanceYaron Minsky, Chris Lattner · Jane StreetRon Minsky and Chris Lattner discuss the language and compiler design behind Modular’s effort to make accelerator programming both portable and fast.
1:50:28ENThe 87-Kilobyte Program Two Billion People Open Every MonthInvitado: Dave Plummer · Presenta: 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 AnyoneInvitado: DHH · Presenta: 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 AppleInvitado: Tim Sweeney · Presenta: 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 WillpowerInvitado: ThePrimeagen · Presenta: 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.
53:51ENLiora Friedberg on Solving Puzzles in ProductionYaron Minsky, Liora Friedberg · Jane StreetProduction engineering combines live incident response with software, process improvements and a culture that helps people learn from mistakes. Liora Friedberg and Ron Minsky explore the work at Jane Street.
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 modelPresenta: 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 MessInvitado: Chris Lattner · Presenta: 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 ReadersInvitado: Guido van Rossum · Presenta: 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 useInvitado: John Carmack · Presenta: 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 payInvitado: Travis Oliphant · Presenta: 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 ScientistInvitado: Donald Knuth · Presenta: 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 MindInvitado: Chris Lattner · Presenta: 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.Invitado: James Gosling · Presenta: 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.Invitado: Brian Kernighan · Presenta: 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.
Cargar másMostrando 24 de 51








