筛选结果
4 篇排序
1:48:29EN → 简体中文AI 如何改变编程：John Krazit 与 Ron Minsky 的对话Ron Minsky, John Krazit · Jane StreetJane Street 的 AI 工具负责人和 Signals and Threads 主持人探讨智能体基础设施、安全、代码审查，以及软件开发体验的变化。
1:36:37EN → 简体中文Aaron Bauer：在 AI 时代教授软件工程Ron Minsky, Aaron Bauer · Jane Street当模型能够生成代码时，学习目标、主动练习和编辑器设计如何影响工程教育。
1:00:15EN → 简体中文Arjun Guha：语言模型如何表示代码，人们又如何向它们提问Arjun Guha · Northeastern University激活引导和学生提示词实验揭示了编程模型的行为，也说明评估模型需要超越单一基准分数。
59:38EN → 简体中文Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。