筛选结果
7 篇排序
1:34:36EN → 简体中文
Jane Street· 2026年6月1日Nate Foster：把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP，一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。
1:48:21EN → 简体中文Jane Street· 2026年3月17日Will Wilson：确定性模拟与软件测试的难题Yaron Minsky, Will Wilson · Jane StreetAntithesis 联合创始人解释可重放模拟如何探索复杂软件、性质为何重要，以及测试的边界在哪里。
56:06EN → 简体中文Jane Street· 2017年12月4日Jane Street 如何用 Iron 审查代码Ian Henry · Jane StreetJane Street 的内部审查工具记录每位审查者实际读过的内容，将反馈保存在代码中，并在发布前执行审查要求。
1:13:25EN → 简体中文Jane Street· 2017年11月27日Nate Foster：验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
59:14EN → 简体中文Jane Street· 2017年3月15日Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。
1:09:24EN → 简体中文Jane Street· 2016年4月5日Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
51:35EN → 简体中文Jane Street· 2016年3月31日Yaron Minsky 谈高效 ML：接口、不变量与代码读者Yaron Minsky · Jane Street在 2011 年 Harvard 讲座的第一部分，Jane Street 的 Yaron Minsky 展示 OCaml 接口和类型如何让长期使用的代码更易理解和修改。