Resultados
41 artículosOrdenar
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.
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.
13:12ENAlexandra Lato on Building Stack Overflow for Agents and Stack Internal with CodexAarti Bagul, Alexandra Lato · OpenAIStack Overflow’s VP of Product explains how a small team used Codex with opposite constraints on two products—and why agent-native design means letting agents contribute knowledge, not just read it.
31:59ENClaude Opus 5.5: Benchmarks, Cost and Anthropic’s Approach to PacingMatthew Berman, Thariq · Forward FutureMatthew Berman reviews the release and speaks with Anthropic’s Thariq about daily workflows, evaluation and agent harnesses.
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.
5:15:51ENDHH Did Not Write a Line of Omarchy QuattroInvitado: DHH · Presenta: Lex FridmanThirteen months after a skeptical conversation with Lex Fridman, the Rails creator describes how Opus 4.5, a swarm of coding agents, and a one-minute Linux installer ended his era of hand-chiseled Ruby.
1:25:00ENMatan Grinberg on AI Coding, Token Costs and Building FactoryInvitado: Matan Grinberg · Presenta: Harry StebbingsFactory’s CEO discusses enterprise AI budgets, model choice, engineering culture and the uncertain effects of automation on work.
57:42ENJacob Lauritzen on AI Engineering, Legal Work and Building LegoraInvitado: Jacob Lauritzen · Presenta: Harry StebbingsLegora’s CTO discusses code review, token budgets, enterprise adoption and how legal workflows might change.
41:09ENAfter Agents Leak Tokens and Wipe Databases, Onyx Trains Small Models to Watch the Big OnesPresenta: Sarah Guo, Elad GilTwo years ago enterprise security buyers told Maxim Bar Kogan he was too early. Now Fortune 10 companies are calling a sub-100-person Israeli startup because they cannot stop agent adoption — only reduce the chance the next action is illegitimate.
48:49ENAmjad Masad on Replit, Coding Agents and the Future of SoftwareInvitado: Amjad Masad · Presenta: Harry StebbingsReplit’s CEO discusses model routing, software economics, maintenance and the changing roles of builders and engineers.
1:06:31ENAndrej Karpathy Hasn't Typed a Line of Code Since DecemberPresenta: Sarah Guo, Elad GilOn No Priors, the OpenAI cofounder and former Tesla AI director describes the loopy era of coding agents, AutoResearch, and why the bottleneck is now the human.
1:03:53ENMiles Clements on Cursor, AI Investing and Venture Fund DecisionsInvitado: Miles Clements · Presenta: Harry StebbingsThe Accel partner discusses AI product durability, pricing fast-growing companies and the choices investors face around ownership and liquidity. Accel has invested in Cursor, Anthropic and other companies he discusses.
1:03:18ENAlexander Embiricos on Codex, Coding Agents and the Future of BuildingInvitado: Alexander Embiricos · Presenta: 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.
27:19ENThe Turing Test Passed. Warp's CEO Says Nobody Seemed to CarePresenta: Sarah Guo, Elad GilZach Lloyd on distilling intelligence without consciousness, why a 40-year-old terminal is the front door for coding agents, and why senior engineers just got more expensive.
42:12ENHire the AI First: Andrew Ng on Agentic Workflows and the Scarcity of JudgmentPresenta: Sarah Guo, Elad GilOn No Priors, Andrew Ng argues that agentic AI has made software cheap and fast, which moves the bottleneck to product judgment, error analysis, and the instinct to try an AI before adding headcount.
1:02:54ENEnterprise Coding Tools Flipped the 80/20. Reflection AI Built the Other HalfPresenta: Sarah Guo, Elad GilFormer Gemini reward-model lead Misha Laskin on Asimov, why comprehension beats generation, and why there is no such thing as generalization—only pulling the test distribution into train.
42:09ENAlphaEvolve found algorithms humans missed for 50 years — then sped up Gemini 23%Presenta: Sarah Guo, Elad GilGoogle DeepMind’s Pushmeet Kohli and Matej Balog tell No Priors how an evolutionary coding agent searches algorithm space the way AlphaGo searched Go.
41:25ENBen Mann thinks superintelligence by 2028 is quite possiblePresenta: Sarah Guo, Elad GilAnthropic's co-founder tells No Priors how Claude 4 unlocked hours of unattended agent work, why the lab built Claude Code, and what an economic Turing test would actually measure.
25:13ENThe AI Table Is Being Cleared: Two or Three Coding Winners, and Forty Years Without a Biotech GiantPresenta: Sarah Guo, Elad GilSarah Guo and Elad Gil walk through which AI markets have already consolidated, why rival startups still refuse to merge, and the biotech science sitting unused.
5:20:08ENThePrimeagen Would Rather Redesign the Room Than Trust WillpowerInvitado: ThePrimeagen · Presenta: 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.
50:35ENCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to ClearPresenta: Sarah Guo, Elad GilThomas Dohmke on agent mode, why median developers are not going anywhere, and how AI is repricing the tools that write software.
38:05ENFrom Zero to $20M ARR in Two Months: Bolt's Moat Lives in the BrowserPresenta: Sarah Guo, Elad GilStackBlitz CEO Eric Simons tells No Priors how a five-year WebContainers bet, an open-sourced prompt, and a community of non-coders turned Bolt.new into an overnight full-stack generator.
2:29:04ENKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingInvitado: Cursor Team · Presenta: Lex FridmanMichael Truell, Aman Sanger, Sualeh Asif, and Arvid Lunnemark tell Lex Fridman why they forked VS Code, how Tab and Apply actually work, and why most programming still needs a human iterating in real time.
37:47ENWorking Backwards from AGI: Magic's Five-Million-Token BetPresenta: Sarah Guo, Elad GilEric Steinberger wants a coding colleague you trust like a teammate — and a world that is still a good place thirty years after AGI.
Cargar másMostrando 24 de 41








