최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →
20VC with Harry Stebbings어제 +165JSJane Street어제 +119AI Engineer어제 +1硅谷101그저께MBMatthew Berman3일 전 +108PragerU3일 전Y Combinator3일 전a16z4일 전 +1SemiAnalysis4일 전GOTO Conferences4일 전

필터 결과

1개
정렬
주제Software engineering인물Arjun Guha
슬라이드 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