Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →

Resultados

51 artículos
Ordenar
5 diapositivas34:11EN
GOTO Conferences· 23 oct 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.Flujos de desarrollo y pruebasCode review & verificationObservabilidad y fiabilidad+2
1:56:28EN
The Pragmatic Engineer· 21 oct 2026Pódcast · 2 vocesWill 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.ManagementLeadershipCareer Growth+2
38 diapositivas1:01:33EN
DeepLearningAI· 22 sept 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.Agentes de programaciónAgent skillsFlujos de desarrollo y pruebas+2
1:22:31EN
20VC with Harry Stebbings· 10 sept 2026Pódcast · 3 vocesAI 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.AI agentsIA empresarialAI Safety+2
57:42EN
20VC with Harry Stebbings· 6 jun 2026Pódcast · 2 vocesJacob 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.Software engineeringIA empresarialAgentes de programación+2
4:18:22EN
Lex Fridman· 6 may 2026Pódcast · 2 vocesEvery 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.Código abierto y comunidadOpen-source ecosystemsSoftware engineering+3
48:49EN
20VC with Harry Stebbings· 25 abr 2026Pódcast · 2 vocesAmjad 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.Agentes de programaciónAI StrategyCompany Building+2
4:34:10EN
Lex Fridman· 30 sept 2025Pódcast · 2 vocesPavel 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.Empresa y estrategiaCompany BuildingProduct Strategy+3
1:12:58EN
JSJane Street· 4 sept 2025Chris 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.Programming LanguagesGPU programming & kernelsSoftware engineering+1
1:50:28EN
Lex Fridman· 29 ago 2025Pódcast · 2 vocesThe 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.Producto y UXSoftware engineeringCareer Growth+2
6:08:48EN
Lex Fridman· 12 jul 2025Pódcast · 2 vocesNobody 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.Código abierto y comunidadSoftware engineeringProgramming Languages+3
4:25:19EN
Lex Fridman· 30 abr 2025Pódcast · 2 vocesA 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.Empresa y estrategiaCompany BuildingProduct Strategy+3
5:20:08EN
Lex Fridman· 22 mar 2025Pódcast · 2 vocesThePrimeagen 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.Código abierto y comunidadAgentes de programaciónDeveloper productivity+3
53:51EN
JSJane Street· 7 oct 2024Liora 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.Observabilidad y fiabilidadSoftware engineeringFlujos de desarrollo y pruebas
1:07:34EN
Sequoia Capital· 6 ago 2024PódcastGitHub 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.Agentes de programaciónCompany BuildingDeveloper productivity+3
46:36EN
No Priors: AI, Machine Learning, Tech, & Startups· 18 ene 2024Pódcast · 2 vocesAfter 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.Agentes de programaciónGeneración aumentada por recuperaciónIngeniería de contexto+3
3:34:03EN
Lex Fridman· 2 jun 2023Pódcast · 2 vocesPython 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.Infraestructura y despliegueAI platform engineeringSoftware engineering+3
3:15:51EN
Lex Fridman· 26 nov 2022Pódcast · 2 vocesPython 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.Código abierto y comunidadSoftware engineeringProgramming Languages+3
5:14:50EN
Lex Fridman· 4 ago 2022Pódcast · 2 vocesThe 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.Software engineeringAGICoding Culture+3
3:05:24EN
Lex Fridman· 22 sept 2021Pódcast · 2 vocesTravis 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.Código abierto y comunidadOpen-source ecosystemsSoftware engineering+3
2:21:27EN
Lex Fridman· 9 sept 2021Pódcast · 2 vocesThe 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.Código abierto y comunidadSoftware engineeringFirst Principles+3
2:46:57EN
Lex Fridman· 18 oct 2020Pódcast · 2 vocesProgramming 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.Infraestructura y despliegueProgramming LanguagesSoftware engineering+3
1:51:01EN
Lex Fridman· 24 sept 2020Pódcast · 2 vocesJames 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.Código abierto y comunidadProgramming LanguagesSoftware engineering+3
1:43:10EN
Lex Fridman· 18 jul 2020Pódcast · 2 vocesKen 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.Código abierto y comunidadProgramming LanguagesOpen-source ecosystems+2
Cargar másMostrando 24 de 51