Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →

Resultados

12 artículos
Ordenar
5 diapositivas34: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.Flujos de desarrollo y pruebasCode review & verificationObservabilidad y fiabilidad+2
38 diapositivas1: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.Agentes de programaciónAgent skillsFlujos de desarrollo y pruebas+2
5:20:08EN
Lex Fridman· 22 mar 2025Pódcast · 2 vocesThePrimeagen 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.Código abierto y comunidadAgentes de programaciónDeveloper productivity+3
50:35EN
No Priors: AI, Machine Learning, Tech, & Startups· 13 mar 2025Pódcast · 2 vocesCopilot 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.Agentes de programaciónFlujos de desarrollo y pruebasIngeniería de agentes+3
38:28EN
No Priors: AI, Machine Learning, Tech, & Startups· 8 oct 2024Pódcast · 2 vocesHalf of Production AI Is RAG. Fine-Tuning Almost Disappeared.Presenta: Sarah Guo, Elad GilBraintrust CEO Ankur Goyal tells No Priors what Notion, Zapier, and Vercel actually ship — and which hyped techniques they quietly dropped.Evaluaciones y observabilidadEvaluacionesGeneración aumentada por recuperación+3
2:29:04EN
Lex Fridman· 6 oct 2024Pódcast · 2 vocesKeep 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.Agentes de programaciónFlujos de desarrollo y pruebasAI interface design+3
38:13EN
No Priors: AI, Machine Learning, Tech, & Startups· 31 ago 2023Pódcast · 2 vocesChatGPT Runs on His Framework. He Still Doesn't Want You Training a ModelPresenta: Sarah Guo, Elad GilVercel founder Guillermo Rauch tells No Priors why frontend is the last mile of AI, why first-generation AI frameworks will be rewritten, and why bots are already stealing your tokens.Infraestructura y despliegueFlujos de desarrollo y pruebasObservabilidad y fiabilidad+3
43:45EN
No Priors: AI, Machine Learning, Tech, & Startups· 3 ago 2023Pódcast · 2 vocesEight Years of No Growth, Then OpenAI and NVIDIA Became His CustomersPresenta: Sarah Guo, Elad GilWeights & Biases CEO Lukas Biewald tells No Priors how a labeling company with no chasm to cross funded the ML developer tools that trained most of the large language models.Evaluaciones y observabilidadObservabilidad y fiabilidadFlujos de desarrollo y pruebas+3
1:08:07EN
Lenny's PodcastPódcast · 2 vocesContext Is All You Need: Inside OpenAI with Logan KilpatrickInvitado: Logan Kilpatrick · Presenta: Lenny RachitskyOpenAI's head of developer relations on GPTs, prompting, how the company ships fast, and where startups can build without being steamrolled.Empresa y estrategiaPrompting & in-context learningAI startups & small teams+3
1:30:00EN
Lenny's PodcastPódcast · 2 vocesInside Stripe's Product Engineering Culture: Friction Logs, Engineer Occasions and 45-Minute DeploysInvitado: David Singleton · Presenta: Lenny RachitskyStripe CTO David Singleton explains how the company hires, builds with early users, sweats the details and ships constantly without breaking a business-critical system.Producto y UXProduct engineeringCompany Building+3
1:15:13EN
Lenny's PodcastPódcast · 2 vocesShipping Real Apps Without Writing Code: A Non-Technical PM's Cursor and Claude Code WorkflowInvitado: Zevi Arnovitz · Presenta: Lenny RachitskyZevi Arnovitz, a product manager with no technical background, walks Lenny Rachitsky through the slash-command workflow he uses to build and ship products with AI.Agentes de programaciónVibe CodingCode review & verification+3
1:27:44EN
Lenny's PodcastPódcast · 2 vocesEverybody Can Cook: Guillermo Rauch on v0, Vercel and the Collapse of SpecializationInvitado: Guillermo Rauch · Presenta: Lenny RachitskyVercel's CEO explains how v0 turns intent into shipped products, why understanding how software works still matters, and how teams can build taste through exposure.Agentes de programaciónProduct engineeringAI interface design+3