Big Specification: Specification, Proof, and Testing at Scale 2024 youtube.com 1 points by matt_d 4 hours ago