筛选结果
4 篇排序
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
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.