The point of this post is really to read the comments. It was amusing to see Rob Pike so dismissive of fuzzing when fuzzing finds a lot of issues humans miss.