Lightning Talk: Proof-carrying types - Peter Van Sandt - CppNow 2022
3.1 Zupass: Proof Carrying Data Lighting Talk by Richard Liu (Zupass Team)
Lightning Talk: Cotuple - A Trip to Category Theory and Back - Tobias Löw - CppNow 2022
Lightning Talk: Have You Heard of Provenance? - Ezra Chung - CppNow 2022
Proof Carrying Data - Pratyush Mishra at Zcon3
Lightning Talk: The Sunset of VXLAN
Lightning Talks I - Evan Smith
The Weirdest Kinds of Lightning You've Never Heard Of
LIghtning Talks
Lightning Talk: Are We There Yet? - Staffan Tjernsstrom - CppNow 2022
Lightning Talks | #SeConfLondon
OHDSI2022: Lightning Talks (Seinen, Shoaibi, Londhe, Yang, Naderalvojoud, Zhang, Park, Dhingra)
Type Theory for the Working Rustacean - Dan Pittman
Lightning talks: Empowering mathematicians with technology
Lightning Talks by Research Fellows
Lightning Talk The Sunset of VXLAN
KansasFest 2019 - Assembly Language: Short and Sweet (Lightning Talks)
DConf 2019: Lightning Talks
DOES19 Las Vegas - Lightning Talks presented by Sonatype (Full)
Benedikt Bünz: Proof-Carrying Data without Succinct Arguments