Résultats
86 articlesTrier
34: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.
1:56:28EN
The Pragmatic Engineer· 21 oct. 2026Podcast · 2 voixWill Larson: The Revised Rules of Engineering ManagementInvité : Will Larson · Anime : 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:32EN
Matthew Berman· 21 oct. 2026Sam 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:29EN
Jane Street· 16 oct. 2026How 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:37ENJane Street· 23 sept. 2026Aaron 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· 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.
1:25:00ENJane Street· 2 sept. 2026Eric Mannes on Turning Messy External Data Into Trading ResearchYaron Minsky, 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:29ENJane Street· 24 juin 2026Jacob 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.
12:59ENMatthew Berman· 9 juin 2026Coding-Agent Loops: Triggers, Goals and the Cost of RepetitionMatthew Berman, Boris Cherny · Forward FutureMatthew Berman explains event-triggered and scheduled agent workflows, shows examples in Cursor and Claude Code, and considers their limits.
57:42EN
20VC with Harry Stebbings· 6 juin 2026Podcast · 2 voixJacob Lauritzen on AI Engineering, Legal Work and Building LegoraInvité : Jacob Lauritzen · Anime : Harry StebbingsLegora’s CTO discusses code review, token budgets, enterprise adoption and how legal workflows might change.
1:34:36ENJane Street· 1 juin 2026Nate 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· 6 mai 2026Podcast · 2 voixEvery Cycle Matters: The Volunteers Who Decode Almost All Internet VideoInvité : FFmpeg · Anime : 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· 25 avr. 2026Podcast · 2 voixAmjad Masad on Replit, Coding Agents and the Future of SoftwareInvité : Amjad Masad · Anime : Harry StebbingsReplit’s CEO discusses model routing, software economics, maintenance and the changing roles of builders and engineers.
1:08:22ENJane Street· 10 avr. 2026Mark 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:35ENJane Street· 25 mars 2026Jon 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:21ENJane Street· 17 mars 2026Will 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· 21 févr. 2026Podcast · 2 voixAlexander Embiricos on Codex, Coding Agents and the Future of BuildingInvité : Alexander Embiricos · Anime : 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:49ENJane Street· 31 janv. 2026Bryan 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· 13 oct. 2025Podcast · 2 voixMike Cannon-Brookes on AI Valuations, Software Design and Building Atlassian to LastInvité : Mike Cannon-Brookes · Anime : 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· 30 sept. 2025Podcast · 2 voixPavel Durov Built Telegram for a Billion People. He Still Won't Carry a Phone.Invité : Pavel Durov · Anime : 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:58ENJane 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.
1:50:28ENLex Fridman· 29 août 2025Podcast · 2 voixThe 87-Kilobyte Program Two Billion People Open Every MonthInvité : Dave Plummer · Anime : Lex FridmanDave Plummer talks Lex Fridman through Task Manager, old-school Microsoft, and how an autistic mind actually works.
1:01:23ENJane Street· 27 août 2025Will 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:41ENJane Street· 24 juil. 2025Ron 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.Charger plus24 sur 86 affichés