fuzzing is such a stupid tool, and the fact that it has been so effective at finding so many bugs is mostly thanks to how great C/C++ are at letting developers write bugs. My open question is, do you need fuzzing in modern languages? Is property testing as capable if not better?

They keep asking me for a tip in Paris!!!

My journey into zero-knowledge proofs (ZKPs) began in university, with me slouching in an amphitheater chair attending a cryptography course.

How many zk people have moved to AI? How about the reverse? (Excluding people who are trying to do both.)

Interestingly, if I imagine myself typing any word, I know where to hit the keys and can probably recreate a keyboard, but if I try to visualize what is on the right of the “s” key, for example, my mind goes blank