Lightning Talk: Proof Searching in DepC – Raffaele Rossi – CppCon 2025 Blog 25/06/2026 · 0 Comment Lightning Talk: Proof Searching in DepC - Raffaele Rossi - CppCon 2025Lightning Talk: But I was doing the right thing! - Andrei Zissu - CppCon 2025Lightning Talk: Back When ChatGpt Was Young And Stupid - Andrei Zissu - CppCon 2025Lightning Talk: Bool - Implicitly Dangerous - Jeff Garland - CppCon 2025Lightning Talk: Navigating Code Reviews as a Code Author - Ben Deane - CppCon 2025Lightning Talk: Can `set_value` Actually Throw? - Robert Leahy - CppCon 2025Lightning Talk: The Classic Missed-Signal! - Gopal Rander - CppCon 2025Lightning Talk: The Lifecycle of This CMake Lightning Talk - Yannic Staudt - CppCon 2025Lightning Talk: Causal Inference for Code Writing AI - Matt K Robinson - CppCon 2025Lightning Talk: Learning C++ Through Writing Coding Questions - Christopher DeGuzman - CppCon 202512