Resultados
121 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.
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 PastPresenta: 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 AnywayPresenta: 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 AuditsPresenta: 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 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.
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 HousePresenta: 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 FactoryInvitado: Matan Grinberg · Presenta: 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 LegoraInvitado: Jacob Lauritzen · Presenta: 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 MissPresenta: 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 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.
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 SoftwareInvitado: Amjad Masad · Presenta: 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 screenPresenta: 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.
Cargar másMostrando 24 de 121







