필터 결과
3개정렬
59:41EN
20VC with Harry Stebbings· 2026년 10월 22일팟캐스트 · 3명20VC: Venture Fund Size, AI Valuations and the Changing Software Market게스트 Jason Lemkin, Rory O’Driscoll · 진행자 Harry StebbingsHarry Stebbings, Jason Lemkin and Rory O'Driscoll debate venture concentration, infrastructure risk, code review and the assumptions behind fast-growing AI companies.
1:13:25ENNate Foster: Verifying Programmable Network Data PlanesNate Foster, Ron · Cornell UniversityHow p4v applies program verification to packet-processing code, and why its conclusions depend on control-plane assumptions.
59:14ENArjun 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.