Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
20VC with Harry Stebbingshier +173JSJane Streethier +119AI Engineerhier +1硅谷101avant-hierMBMatthew Bermanil y a 3 jours +111PragerUil y a 3 joursY Combinatoril y a 3 joursa16zil y a 4 jours +1SemiAnalysisil y a 4 joursGOTO Conferencesil y a 4 jours

Résultats

1 articles
Trier
ThèmeSoftware engineeringPersonneArjun GuhaDuréePlus de 30 min
5 diapositives59:14EN
JSJane Street· 15 mars 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