Recently updated channels

Pick one to see only that channelBrowse all channels →
20VC with Harry Stebbingsyesterday +173JSJane Streetyesterday +119AI Engineeryesterday +1硅谷1012 days agoMBMatthew Berman3 days ago +111PragerU3 days agoY Combinator3 days agoa16z4 days ago +1SemiAnalysis4 days agoGOTO Conferences4 days ago

Results

1 articles
Sort
TopicSoftware engineeringPersonArjun Guha
5 slides59:14EN
JSJane Street· Mar 15, 2017Arjun 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