fuzzing Podcast Summaries
fuzzing on Yedapo: 2 summarized podcast and YouTube episodes. Each includes key takeaways, core concepts and notable quotes with timestamps.
Fuzzing Programs to Find Bugs - Computerphile
Computerphile
Jun 4, 2026
Software often fails because developers cannot predict every possible user input. Fuzzing—specifically coverage-guided fuzzing—uses evolutionary algorithms to automatically generate and mutate inputs, navigating complex code paths to trigger crashes. By treating code coverage as a fitness function, these tools systematically uncover deep-seated vulnerabilities that manual testing and static analysis consistently miss.
Key insight: Testing can only prove the presence of bugs, never their absence; however, by repeatedly finding and fixing errors, you can mathematically increase the reliability of a system over time.
Finding Hardware Bugs - Computerphile
Computerphile
Apr 29, 2026
Electronic Design Automation (EDA) tools, which translate human hardware designs into physical chip configurations, often contain silent bugs that compromise circuit integrity. Researchers are now moving beyond traditional testing by using formal verification—mathematical proofs generated via computer-aided languages like Lean—to ensure these tools preserve design logic under all conditions.
Key insight: A place-and-route tool once incorrectly optimized a circuit by removing an inverter, failing to realize the circuit was a dynamic lookup table that would be reconfigured later, effectively breaking the hardware's future functionality.