Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermantoday +20Theo - t3․ggyesterday +115AI Engineeryesterday +7a16zyesterday +1Reid Hoffmanyesterday +1Chris Williamsonyesterday +1Conversations with TyleryesterdayThe Builders2 days ago +1Citadel Securities2 days ago +1硅谷1012 days ago +1

Results

1 articles
Sort
TopicSoftware engineeringPersonArjun GuhaSpeakers3 or more
5 slides59:14EN
Jane 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