Comment on Dafny is a verification-aware programming languageparentComments−yosefk2yOTOH when it writes buggy code, you tend to get decent error messages when trying to use it. In this sense Rust + LLM is way better than C++ + LLM−littlestymaar2yTrue, but having to fix all the stupid mistakes they make is kind of ruining the point of using an LLM in the first place.
Comments
OTOH when it writes buggy code, you tend to get decent error messages when trying to use it. In this sense Rust + LLM is way better than C++ + LLM
True, but having to fix all the stupid mistakes they make is kind of ruining the point of using an LLM in the first place.