Résultats
153 articlesTrier
18:27ENDaksh Gupta on Building a Better AI Code Review AgentDaksh Gupta · GreptileGreptile co-founder Daksh Gupta explains why a webhook plus a coding agent is not enough for reliable pull-request review—and how targeted prompts, incident data, model inversion, codebase context, browser testing, and task-specific model routing can help.
34:11ENAnatoliy 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:28ENWill 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: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:02ENFrom Punched Cards to AI Software FactoriesMatthew Berman · Forward FutureMatthew Berman contrasts early programming with an AI-assisted workflow and promotes Factory’s development tools.
17:37ENAI Coding, Game Mashups and the Value of Human TasteMatthew Berman · Forward FutureMatthew Berman explains decompilation and game mashups, then argues that iterative AI coding changes software and creativity.
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:33ENSpec-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:31ENAI Assistants, Enterprise Adoption and the Venture Market’s New RisksInvité : Jason Lemkin, Rory O’Driscoll · Anime : 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.
27:39EN3Blue1Brown and Jane Street on Trading, Machine Learning and CultureGrant Sanderson, Nitya, In Young, Craig, Alok · 3Blue1BrownGrant Sanderson talks with Jane Street colleagues about market making, shared compute, research and the paths that brought them to the firm.
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:42ENJacob 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: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.
17:03ENDeepSWE: Testing Coding Agents on Longer Software TasksMatthew Berman · Forward FutureMatthew Berman reviews Datacurve’s benchmark, its verifier audit and the tradeoffs of comparing models under a shared harness.
4:18:22ENEvery 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:49ENAmjad 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: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:18ENAlexander 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: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:08ENWill AI Change What Programmers Do?Matthew Berman · Forward FutureMatthew Berman responds to Ryan Dahl's prediction about writing code and argues that systems thinking will remain important.
Charger plus24 sur 153 affichés







