最近更新的频道

点选即可只看该频道浏览全部频道 →
20VC with Harry Stebbings昨天 +188JSJane Street昨天 +119AI Engineer昨天 +1硅谷101前天MBMatthew Berman3天前 +123PragerU3天前Y Combinator3天前a16z4天前 +1SemiAnalysis4天前GOTO Conferences4天前

筛选结果

1 篇
排序
人物Richard Eisenberg语言英语人数2 人
59:38EN → 简体中文
JSJane Street· 2023年5月18日Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。Software engineeringOpen-source ecosystems编程智能体