筛选结果
214 篇排序
59:38EN → 简体中文
Jane Street· 2023年5月18日Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。
3:48EN → 简体中文Jane Street· 2023年5月10日Val 谈 Jane Street 的软件工程与协作Val · Jane Street一位伦敦开发者介绍同事如何帮助新人学习、审查生产代码，以及跨团队协作。
9:58EN → 简体中文
Matthew Berman· 2023年4月26日HuggingChat 的 2023 年初测：写作、推理与 Python 编程Matthew Berman · Forward FutureMatthew Berman 测试早期由 OpenAssistant 驱动的 HuggingChat，让它写作、算术、推理和编写贪吃蛇游戏，并将几个输出与 GPT-3.5 和 GPT-4 比较。这次小规模历史测试展示了潜力，也暴露出局限。
20:48EN → 简体中文Matthew Berman· 2023年4月24日Matthew Berman 的 ChatGPT 编程工作流：构建、测试与迭代Matthew Berman · Forward Future这段 2023 年的教程一边构建 Python 命令行聊天客户端，一边演示如何规划、调试和修改 AI 生成的代码。文中提到的软件接口和模型限制属于历史信息。
7:48EN → 简体中文Matthew Berman· 2023年4月1日在 VS Code 中用 ChatGPT - Genie AI 解释、重构和测试 Rails 代码Matthew Berman · Forward FutureMatthew Berman 在 Ruby on Rails 项目中演示一款 2023 年的 VS Code 扩展，并探讨其代码上下文的局限。
3:30EN → 简体中文Jane Street· 2023年3月15日Brittany 谈 Jane Street 的软件工程与实习Brittany · Jane Street一位股票交易部门的工程师介绍实习生如何学习金融和 OCaml、参与有意义的项目，并与交易员合作。
3:09EN → 简体中文Jane Street· 2023年3月15日Minjie 谈 Jane Street 的网络安全工程Minjie · Jane Street一位香港软件工程师讲述学习 OCaml、开发内部权限系统，以及跨团队处理安全告警的经历。
37:24EN → 简体中文Jane Street· 2023年2月27日Grace 和 Nolen 的软件工程模拟面试Grace, Nolen · Jane Street一道单位换算图问题展示了 Jane Street 面试官如何与候选人讨论设计、代码、错误和沟通。
3:15:51EN → 简体中文
Lex Fridman· 2022年11月26日播客 · 2 人对谈Python 是写给两类读者的一份菜谱嘉宾 Guido van Rossum · 主持 Lex Fridman吉多·范罗苏姆（Guido van Rossum）谈 CPython 3.11 的提速、缩进、GIL，以及为什么 4.0 对扩展模块的伤害会大过语法本身。
4:11EN → 简体中文Jane Street· 2022年11月8日走进 Jane Street 的生产工程Mark, Liora Friedberg, Joseph · Jane Street三位工程师介绍如何兼顾解决线上问题与开发软件，让支持工作更加高效。
1:00:28EN → 简体中文Jane Street· 2022年9月12日Ella Ehrlich 谈关键交易系统的现代化Yaron Minsky, Ella Ehrlich · Jane StreetJane Street 的 Gord 团队在保持系统可用的同时重建了部分旧数据流水线；Ehrlich 还介绍了自己参与发展的招聘项目。
5:14:50EN → 简体中文Lex Fridman· 2022年8月4日播客 · 2 人对谈最好的编程语言，就是你已经在用的那一个嘉宾 John Carmack · 主持 Lex FridmanJohn Carmack 与 Lex Fridman 聊了编程语言、id Software、VR、火箭，以及为什么通用人工智能（AGI）可能只需要几万行代码。
1:12:09EN → 简体中文Jane Street· 2022年4月20日Doug Patti 谈 Jane Street 的状态机复制Yaron Minsky, Doug Patti · Jane StreetConcord 和 Aria 如何利用有序日志和确定性状态机构建可恢复的交易服务。
1:22:34EN → 简体中文Jane Street· 2022年1月5日Stephen Dolan 谈内存管理、垃圾回收与 OCamlYaron Minsky, Stephen Dolan · Jane Street从追踪回收和引用计数，到预取、局部分配和无装箱类型，Dolan 解释安全、高效内存管理背后的取舍。
1:01:11EN → 简体中文Jane Street· 2021年11月3日Anil Madhavapeddy 谈 MirageOS 与操作系统的演进Yaron Minsky, Anil Madhavapeddy · Jane Street从 Xen 和 unikernel 到 OCaml 多核研究，一位系统研究者解释不断变化的抽象如何重塑基础设施。
1:00:04EN → 简体中文Jane Street· 2021年10月6日Ty Overby 谈 Bonsai 与函数式用户界面构建Yaron Minsky, Ty Overby · Jane StreetJane Street 为什么构建可组合的 OCaml 用户界面框架，以及它的设计如何启发我们理解增量计算、浏览器与可视化编程。
3:05:24EN → 简体中文Lex Fridman· 2021年9月22日播客 · 2 人对谈Travis Oliphant 在一个空学期里写出 NumPy，如今仍想让开源工作有人付钱嘉宾 Travis Oliphant · 主持 Lex FridmanNumPy、SciPy 和 Anaconda 的创造者在与 Lex Fridman 的对谈中，讲述数组思维、一本明码标价的书，以及打包之争如何塑造了科学计算领域的 Python。
2:21:27EN → 简体中文Lex Fridman· 2021年9月9日播客 · 2 人对谈IBM 手册写得太差，他索性成了计算机科学家嘉宾 Donald Knuth · 主持 Lex FridmanDonald Knuth 与 Lex Fridman 对谈：他在 IBM 650 上写的第一批程序、文学化编程（literate programming）、Knuth-Morris-Pratt 算法，以及他证明过的最难的一条定理。
1:00:58EN → 简体中文Jane Street· 2021年9月1日James Somers 谈技术写作、软件与修改Yaron Minsky, James Somers · Jane StreetJane Street 的驻场作家讨论作为共享知识的文档、保持文档有用的工具，以及如何为真实读者写作。
1:02:52EN → 简体中文Jane Street· 2020年11月6日走进 Jane Street 软件工程实习项目Yaron Minsky, Jeanne Van Briesen, Matt Else, Grace Zhang · Jane Street三位前实习生讲述真实项目、导师指导与职业选择，回顾自己如何转为全职工程师。
2:46:57EN → 简体中文Lex Fridman· 2020年10月18日播客 · 2 人对谈编程语言是思维的自行车嘉宾 Chris Lattner · 主持 Lex FridmanChris Lattner 与 Lex Fridman 聊 Swift、LLVM、RISC-V，以及为什么计算的下一次飞跃，与其说是芯片问题，不如说同样是语言问题。
44:34EN → 简体中文Jane Street· 2020年10月14日Chris Perl 谈如何保持网络时钟同步Yaron Minsky, Chris Perl · Jane StreetNTP、PTP 和硬件时间戳如何协同工作，将 Jane Street 的时钟误差控制在可测量的范围内。
59:33EN → 简体中文Jane Street· 2020年10月7日Laurent Mazare 谈 Python、OCaml 与机器学习Yaron Minsky, Laurent Mazare · Jane Street一位研究人员比较探索性笔记本与稳健的生产系统，并解释语言互操作和资源管理如何将两者联系起来。
1:10:27EN → 简体中文Jane Street· 2020年9月30日Greta Yorsh 谈编译器优化与反馈Yaron Minsky, Greta Yorsh · Jane Street从形式化验证、超优化到配置文件引导的代码布局，一位编译器工程师解释性能工作如何与真实用户相结合。加载更多已显示 24 篇，共 214 篇