Lean proved this program correct; then I found a bug(kirancodes.me)
375 points by bumbledraven | 167 comments
Blog post describing how fuzzing a formally verified Lean implementation of zlib uncovered a buffer overflow in the Lean runtime.
#fuzzing on Hacker News
2 stories tagged fuzzing, newest first.
Fuzzing Ladybird with tools from Google Project Zero(awesomekling.substack.com)
478 points by awesomekling | 54 comments
Andreas Kling's blog post on using Google Project Zero's Domato DOM fuzzer to stress test the Ladybird browser and fix the bugs it uncovered.