LLMs are the new “worse is better”?
Years ago I spent quite a bit of time learning about code fuzzing, especially at scale. It seemed like a highly inefficient way to detect bugs. You know what we need? Formal methods. Just make formal methods, and mathematically prove that it works. In reality, this is not easy, to