絞り込み結果
121 件並び順
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:03:37ENMatthew Berman’s Team Tests Kimi K3.1 on Animation, Games, and ChartsMatthew Berman, Alex, Brian · Forward FutureA live team AMA turns into an informal test of Kimi K3.1, from personal-agent workflows to motion graphics, a browser game, and a benchmark chart.
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:26:46ENThere Likely Is a Level of Intelligence We Shouldn't Go Pastホスト Nathan LabenzNathan Labenz brings notes from The Curve, a chip startup whose token bill beat payroll, and a software industry that now performance-reviews people for Claude slop.
1:10:12ENOutSystems Went From 4 Major Features a Quarter to 26. Token Spend Fell Anywayホスト Nathan LabenzCEO Woodson Martin on software that never breaks, why most enterprise work does not need a frontier model, and how AI is finally shrinking the IT backlog.
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.
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.
1:59:37ENOpus 5.5 and GPT-6 Sol and Luna: A Launch-Day LivestreamMatthew Berman, Thariq Shihipar, Alex, Brian · Forward FutureMatthew Berman interviews Anthropic’s Thariq Shihipar, shows early demos and then reviews two OpenAI models announced during the stream.
2:10:42ENThe Exam Papers Nobody Auditsホスト Nathan LabenzFrontier labs buy reinforcement-learning environments from a cottage industry of small vendors, and almost nobody checks whether those tests match the real work.
5:15:51ENDHH Did Not Write a Line of Omarchy Quattroゲスト DHH · ホスト 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.
44:28ENTibo on Coding Agents, Faster AI and OpenAI’s Product DirectionMatthew Berman, Thibault Sottiaux · Forward FutureOpenAI’s Tibo discusses agent interfaces, usage resets, model efficiency and the trade-offs behind faster inference.
1:04:14ENThe Man Who Helped Stand Up Colossus in 120 Days Is Betting on an AI That Lives in Your Houseホスト Jacob EffronxAI co-founder Igor Babuschkin left to start River AI, arguing coding agents have crossed a threshold, closed labs are getting squeezed, and the next prize is personal, local intelligence.
51:31ENThey Refunded Nearly $2 Million. Then Factory’s CEO Explained the Dark FactoryMatan Grinberg on being two years early, why a model-agnostic harness beats lab co-design, and why 90 percent of coding tokens will soon run with the lights off.
1:00:47ENAI News Live: A Codex Keyboard, Open Models and Agent Safety ResearchMatthew Berman, Alex, Brian · Forward FutureMatthew Berman, Alex and Brian discuss new tools, model costs and a research report, separating initial impressions from verified results.
1:25:00ENMatan Grinberg on AI Coding, Token Costs and Building Factoryゲスト Matan Grinberg · ホスト Harry StebbingsFactory’s CEO discusses enterprise AI budgets, model choice, engineering culture and the uncertain effects of automation on work.
51:09ENBuild like the model will eat your harness in a yearLogan Kilpatrick, who leads Google AI Studio and the Gemini API, tells Sequoia's Sonya Huang why agent scaffolding is a 12-month asset, why coding already feels like narrow superintelligence, and why Google is optimizing for outcomes instead of eyeballs.
57:42ENJacob 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:13:33ENA Trillion Tokens Later, the Concept Finally Lands: Łukasz Kaiser on What Transformers Still Missホスト Jacob EffronThe Attention Is All You Need co-author tells Unsupervised Learning that transformers will probably keep winning — and that they still do not learn the way people do.
41:09ENAfter Agents Leak Tokens and Wipe Databases, Onyx Trains Small Models to Watch the Big Onesホスト 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.
2:34:17ENMatthew Berman Tests Claude Opus 4.8 and Dynamic Workflows LiveMatthew Berman · Forward FutureA launch-day walkthrough compares Anthropic’s reported benchmarks with informal coding experiments and a multi-agent website redesign.
45:33ENCursor Ships 1TB of Composer Weights Across Oceans in Under a MinuteFederico Cassano and Fireworks' Dima walk through the globally split RL stack that trained Composer 2 on a sparse trillion-parameter MoE.
48:49ENAmjad 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.
2:12:51ENSteve Newman’s fifteen-app stack exists so he only has to look at one screenホスト Nathan LabenzThe Writely founder walks Nathan Labenz through a vibe-coded attention firewall, a conservative security stance, and why astonishing models still leave him far from AGI.
もっと見る121 件中 24 件を表示







