最近更新的频道

点选即可只看该频道浏览全部频道 →
20VC with Harry Stebbings昨天 +173JSJane Street昨天 +119AI Engineer昨天 +1硅谷101前天MBMatthew Berman3天前 +111PragerU3天前Y Combinator3天前a16z4天前 +1SemiAnalysis4天前GOTO Conferences4天前

筛选结果

1 篇
排序
主题Software engineering人物Arjun Guha时长30 分钟以上
5 张幻灯片59:14EN → 简体中文
JSJane Street· 2017年3月15日Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。Software engineeringCode review & verificationProgramming Languages