필터 결과
112개정렬
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:48:29ENHow AI Is Changing Programming: John Crepezzi and Ron MinskyYaron Minsky, John Crepezzi · Jane StreetJane Street’s AI tooling lead and the Signals and Threads host examine agent infrastructure, security, code review and the changing experience of writing software.
1:36:37ENAaron Bauer on Teaching Software Engineering in the Age of AIYaron Minsky, Aaron Bauer · Jane StreetHow learning goals, active practice and editor design shape engineering education when models can generate the code.
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.
1:22:31EN
20VC with Harry Stebbings· 2026년 9월 10일팟캐스트 · 3명AI Assistants, Enterprise Adoption and the Venture Market’s New Risks게스트 Jason Lemkin, Rory O’Driscoll · 진행자 Harry StebbingsHarry Stebbings, Jason Lemkin and Rory O’Driscoll debate personal agents, legal AI, autonomous vehicles and the economics of financing AI companies.
1:25:00ENEric Mannes on Turning Messy External Data Into Trading ResearchRon, Eric Mannes · Jane StreetFrom commodity futures and an Excel risk system to point-in-time datasets and AI, Eric Mannes explains the domain knowledge behind data engineering at Jane Street.
1:34:29ENJacob Baskin on Building Superstore and Scheduling the HiveYaron Minsky, Jacob Baskin · Jane StreetThe Jane Street engineer traces the design choices behind a distributed analytical database and the challenge of allocating a growing research cluster.
57:42EN20VC with Harry Stebbings· 2026년 6월 6일팟캐스트 · 2명Jacob Lauritzen on AI Engineering, Legal Work and Building Legora게스트 Jacob Lauritzen · 진행자 Harry StebbingsLegora’s CTO discusses code review, token budgets, enterprise adoption and how legal workflows might change.
1:34:36ENNate Foster: Treating the Network as a ProgramYaron Minsky, Nate Foster · Jane StreetFrom programmable switches to BGP, a programming-languages researcher explains how higher-level policies and formal models can make networks easier to change.
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.
48:49EN20VC with Harry Stebbings· 2026년 4월 25일팟캐스트 · 2명Amjad Masad on Replit, Coding Agents and the Future of Software게스트 Amjad Masad · 진행자 Harry StebbingsReplit’s CEO discusses model routing, software economics, maintenance and the changing roles of builders and engineers.
1:08:22ENMark Doss on Production Engineering for High-Stakes TradingMark Doss · Jane StreetWhy every order matters, how event-based monitoring detects unexpected failures, and what a realistic incident reveals about trading operations.
46:35ENJon Gjengset on the Cost of Concurrency CoordinationJon GjengsetWhy shared cache lines can make even read-heavy locks slow, and how a different data structure trades writer work for scalable reads.
1:48:21ENWill Wilson on Deterministic Simulation and the Hard Problems of Software TestingYaron Minsky, Will Wilson · Jane StreetThe Antithesis co-founder explains how replayable simulations explore complex software, why properties matter and where testing meets its limits.
1:03:18EN20VC with Harry Stebbings· 2026년 2월 21일팟캐스트 · 2명Alexander Embiricos on Codex, Coding Agents and the Future of Building게스트 Alexander Embiricos · 진행자 Harry StebbingsOpenAI’s Codex product lead discusses delegation, review, enterprise adoption and his vision for general-purpose agents. His product claims and forecasts reflect his role at OpenAI and are not independently tested in the interview.
1:22:49ENBryan Cantrill: Why Software and Hardware Must Be Designed TogetherBryan Cantrill · Oxide Computer CompanyFrom a stubborn CPU reset to disappearing drives, Oxide’s cofounder makes the case for designing and debugging computing systems across the hardware–software boundary.
1:20:57ENMatt Godbolt: Inside Skylake’s Out-of-Order PipelineMatt GodboltA guided tour of instruction decoding, register renaming, execution and memory ordering, grounded in reverse engineering and careful measurements.
47:43ENMaking GPU Training Faster: Pipelines, Fusion and Custom KernelsCorwin de Zahr · Jane StreetTwo Jane Street speakers explain how to diagnose idle GPUs, reduce memory traffic and build a parallel reduction kernel.
55:03ENNeil Mitchell: How Pyrefly Checks Python at ScaleNeil Mitchell, Roman · MetaA tour of Python's type system and the incremental architecture behind a fast, open-source checker and language server.
52:05ENCorwin de Zahr: Exploring OCaml Runtime Safety Through a CTF ChallengeCorwin de Zahr · Jane StreetA deliberately restricted OCaml sandbox becomes a way to examine type safety, callbacks, memory representation and binary debugging.
1:03:45EN20VC with Harry Stebbings· 2025년 10월 13일팟캐스트 · 2명Mike Cannon-Brookes on AI Valuations, Software Design and Building Atlassian to Last게스트 Mike Cannon-Brookes · 진행자 Harry StebbingsThe Atlassian CEO explains why he expects more software engineers, how he evaluates AI bets, and why creativity matters across technology cycles.
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: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.
더 보기112개 중 24개 표시