最近更新されたチャンネル

選ぶとそのチャンネルだけを表示すべてのチャンネル →
20VC with Harry Stebbings昨日 +173JSJane Street昨日 +119AI Engineer昨日 +1硅谷101一昨日MBMatthew Berman3 日前 +111PragerU3 日前Y Combinator3 日前a16z4 日前 +1SemiAnalysis4 日前GOTO Conferences4 日前

絞り込み結果

1 件
並び順
トピックSoftware engineering人物Arjun Guha人数3 人以上
スライド 5 枚59:14EN
JSJane Street· 2017年3月15日Arjun Guha on Verifying System ConfigurationsArjun Guha · UMass AmherstPuppet manifests can be declarative yet nondeterministic or non-idempotent. A verification tool models resource interactions to find those problems.Software engineeringCode review & verificationProgramming Languages