Results
3 articlesSort
59:41EN
20VC with Harry Stebbings· Oct 22, 2026Podcast · 3 speakers20VC: Venture Fund Size, AI Valuations and the Changing Software MarketGuest Jason Lemkin, Rory O’Driscoll · Host 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.