Ergebnisse
3 ArtikelSortieren
59:41EN
20VC with Harry Stebbings· 22. Okt. 2026Podcast · 3 Stimmen20VC: Venture Fund Size, AI Valuations and the Changing Software MarketGast: Jason Lemkin, Rory O’Driscoll · Moderation: 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, Yaron Minsky · 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.