筛选结果
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 跑在他的框架上，他仍然不建议你去训练模型主持 Sarah Guo, Elad GilVercel 创始人 Guillermo Rauch 在 No Priors 节目中说明：为什么前端是 AI 的最后一公里，为什么第一代 AI 框架会被重写，以及为什么机器人已经在偷你的 Token。
43:45EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2023年8月3日播客 · 2 人对谈八年毫无增长，后来 OpenAI 和英伟达成了他的客户主持 Sarah Guo, Elad GilWeights & Biases 首席执行官 Lukas Biewald 在 No Priors 节目中讲述，一家没有鸿沟需要跨越的标注公司，如何为训练出大多数大语言模型的机器学习开发工具提供了资金。
44:19EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2023年6月15日播客 · 2 人对谈AI 将多写十倍的代码，但仍得有人让它们保持运行主持 Sarah Guo, Elad GilDatadog 联合创始人 Olivier Pomel 谈为什么更快的代码生成会把价值从编写软件转移到理解、保护和运维软件。