最近更新的频道

点选即可只看该频道浏览全部频道 →
Matthew Berman今天 +264AI Engineer今天 +6The Builders今天 +120VC with Harry Stebbings昨天 +371Jane Street昨天 +119Y Combinator昨天 +1硅谷101前天PragerU3天前a16z4天前 +1SemiAnalysis4天前

筛选结果

2 篇
排序
频道Jane Street主题Code review & verification人数3 人以上
6 张幻灯片1:13:25EN → 简体中文
Jane Street· 2017年11月27日Nate Foster：验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。Programming LanguagesSoftware engineeringCode review & verification
5 张幻灯片59:14EN → 简体中文
Jane Street· 2017年3月15日Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。Software engineeringCode review & verificationProgramming Languages