最近更新的频道

点选即可只看该频道浏览全部频道 →
Matthew Berman昨天 +49AI Engineer昨天 +6Theo - t3․gg昨天The Builders昨天 +1a16z昨天 +2硅谷101昨天 +1SemiAnalysis昨天 +1Chris Williamson昨天Cheeky Pint昨天Invest Like The Best昨天

筛选结果

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