筛选结果
3 篇排序
1:34:36EN → 简体中文Nate Foster:把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP,一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。
1:48:21EN → 简体中文Will Wilson:确定性模拟与软件测试的难题Yaron Minsky, Will Wilson · Jane StreetAntithesis 联合创始人解释可重放模拟如何探索复杂软件、性质为何重要,以及测试的边界在哪里。
23:58EN → 简体中文有效使用 ML:错误、抽象与复杂度管理Yaron Minsky · Jane Street一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制,以及副作用的实际作用。









