this is a lovely post, where someone takes formally verified code, fuzzes it, and finds real problems.

while reading the piece, I was thinking about my own very similar experience ~15 years ago fuzzing CompCert. and then the author makes this precise comparison :)

https://kirancodes.me/posts/log-who-watches-the-watchers.html