絞り込み結果
4 件並び順
34:11EN
GOTO Conferences· 2026年10月23日Anatoliy 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.
38:13EN
No Priors: AI, Machine Learning, Tech, & Startups· 2023年8月31日ポッドキャスト · 2 人ChatGPT Runs on His Framework. He Still Doesn't Want You Training a Modelホスト 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.
43:45ENNo Priors: AI, Machine Learning, Tech, & Startups· 2023年8月3日ポッドキャスト · 2 人Eight Years of No Growth, Then OpenAI and NVIDIA Became His Customersホスト 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.
44:19ENNo Priors: AI, Machine Learning, Tech, & Startups· 2023年6月15日ポッドキャスト · 2 人AI Will Write Ten Times More Code. Someone Still Has to Keep It Running.ホスト Sarah Guo, Elad GilDatadog co-founder Olivier Pomel on why faster generation moves value from writing software to understanding, securing, and operating it.