絞り込み結果
36 件並び順
34:11EN
GOTO Conferences· 2026年10月23日Anatoliy 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· 2026年10月21日ポッドキャスト · 2 人Will Larson: The Revised Rules of Engineering Managementゲスト Will Larson · ホスト 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· 2026年9月22日Spec-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· 2026年5月6日ポッドキャスト · 2 人Every Cycle Matters: The Volunteers Who Decode Almost All Internet Videoゲスト FFmpeg · ホスト 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· 2025年9月30日ポッドキャスト · 2 人Pavel Durov Built Telegram for a Billion People. He Still Won't Carry a Phone.ゲスト Pavel Durov · ホスト 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· 2025年8月29日ポッドキャスト · 2 人The 87-Kilobyte Program Two Billion People Open Every Monthゲスト Dave Plummer · ホスト Lex FridmanDave Plummer talks Lex Fridman through Task Manager, old-school Microsoft, and how an autistic mind actually works.
6:08:48ENLex Fridman· 2025年7月12日ポッドキャスト · 2 人Nobody Serious Believes Cookie Banners Help Anyoneゲスト DHH · ホスト 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· 2025年4月30日ポッドキャスト · 2 人A shareware text editor, a 30-hour binge, and a five-year war with Appleゲスト Tim Sweeney · ホスト 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· 2025年3月22日ポッドキャスト · 2 人ThePrimeagen Would Rather Redesign the Room Than Trust Willpowerゲスト ThePrimeagen · ホスト 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:34EN
Sequoia Capital· 2024年8月6日ポッドキャストGitHub 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:36EN
No Priors: AI, Machine Learning, Tech, & Startups· 2024年1月18日ポッドキャスト · 2 人After a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelホスト 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:03ENLex Fridman· 2023年6月2日ポッドキャスト · 2 人Python Isn't Finished: Chris Lattner on Mojo and the Hardware Messゲスト Chris Lattner · ホスト 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· 2022年11月26日ポッドキャスト · 2 人Python Is a Recipe Written for Two Readersゲスト Guido van Rossum · ホスト 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· 2022年8月4日ポッドキャスト · 2 人The best programming language is the one you already useゲスト John Carmack · ホスト 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· 2021年9月22日ポッドキャスト · 2 人Travis Oliphant wrote NumPy in an empty semester — and still wants open source to payゲスト Travis Oliphant · ホスト 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· 2021年9月9日ポッドキャスト · 2 人The IBM Manual Was So Bad He Became a Computer Scientistゲスト Donald Knuth · ホスト 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· 2020年10月18日ポッドキャスト · 2 人Programming Languages Are Bicycles for the Mindゲスト Chris Lattner · ホスト 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· 2020年9月24日ポッドキャスト · 2 人James Gosling Built Java to Make Pointer Bugs Impossible. Chrome Still Has Them.ゲスト James Gosling · ホスト 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· 2020年7月18日ポッドキャスト · 2 人Ken Thompson's Wife Left for Three Weeks. He Wrote Unix.ゲスト Brian Kernighan · ホスト 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· 2019年12月30日ポッドキャスト · 2 人Point eight is enough: Donald Knuth on algorithms, TeX, and a life in one chairゲスト Donald Knuth · ホスト 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· 2019年11月7日ポッドキャスト · 2 人When You Hit the Brakes, a Computer Is in the Wayゲスト Bjarne Stroustrup · ホスト 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· 2019年5月13日ポッドキャスト · 2 人The Compiler That Got Apple, Google, and Intel to Share a Codebaseゲスト Chris Lattner · ホスト Lex FridmanChris Lattner walks through LLVM, Clang, Swift, TPU numeric formats, and why compiler work is mostly software engineering.
1:20:09ENLex Fridman· 2018年11月29日ポッドキャスト · 2 人Stack Overflow Was Never Designed for Beginnersゲスト Jeff Atwood · ホスト 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· 2018年11月22日ポッドキャスト · 2 人He raised Python like a child, then set it freeゲスト Guido van Rossum · ホスト 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.もっと見る36 件中 24 件を表示