Results
83 articlesSort
34:11EN
GOTO Conferences· Oct 23, 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.
1:56:28EN
The Pragmatic Engineer· Oct 21, 2026Podcast · 2 speakersWill Larson: The Revised Rules of Engineering ManagementGuest Will Larson · Host 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.
0:32ENSam Altman on the Continuing Demand for Software WorkSam Altman, Matthew Berman · OpenAIIn a short interview excerpt, Altman says demand for software may be larger than expected even as AI changes how it is made.
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· Sep 22, 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.
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:42EN
20VC with Harry Stebbings· Jun 6, 2026Podcast · 2 speakersJacob Lauritzen on AI Engineering, Legal Work and Building LegoraGuest Jacob Lauritzen · Host 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· May 6, 2026Podcast · 2 speakersEvery Cycle Matters: The Volunteers Who Decode Almost All Internet VideoGuest FFmpeg · Host 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· Apr 25, 2026Podcast · 2 speakersAmjad Masad on Replit, Coding Agents and the Future of SoftwareGuest Amjad Masad · Host 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· Feb 21, 2026Podcast · 2 speakersAlexander Embiricos on Codex, Coding Agents and the Future of BuildingGuest Alexander Embiricos · Host 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:03:45EN20VC with Harry Stebbings· Oct 13, 2025Podcast · 2 speakersMike Cannon-Brookes on AI Valuations, Software Design and Building Atlassian to LastGuest Mike Cannon-Brookes · Host 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· Sep 30, 2025Podcast · 2 speakersPavel Durov Built Telegram for a Billion People. He Still Won't Carry a Phone.Guest Pavel Durov · Host 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:28ENLex Fridman· Aug 29, 2025Podcast · 2 speakersThe 87-Kilobyte Program Two Billion People Open Every MonthGuest Dave Plummer · Host Lex FridmanDave Plummer talks Lex Fridman through Task Manager, old-school Microsoft, and how an autistic mind actually works.
1:01:23ENWill Crichton on Making Rust More UnderstandableWill Crichton · Brown UniversityOwnership visualizations, interactive trait diagnostics and program slicing illustrate an evidence-based approach to developer tools.
1:27:41ENRon Minsky on the Saga of Multicore OCaml at Jane StreetYaron Minsky · Jane StreetA production migration exposed garbage-collector regressions, led to a new pacing design, and illustrated the difficulty of turning research into reliable infrastructure.
51:06EN20VC with Harry Stebbings· Jul 18, 2025Podcast · 2 speakersScott Wu on Cognition's Windsurf Deal and the Future of AI CodingGuest Scott Wu · Host Harry StebbingsThe Cognition CEO explains the fast-moving acquisition, the role of AI agents in engineering, and his predictions for software development.Load moreShowing 24 of 83