Formally Verifying the Easy Part
brainflow.substack.com
A field report on formal verification, AI-generated code, and where the real bugs live.

Some issues can be prevented when vibe-coding, but LLMs find a way of messing up anyway.

  • bremen15@feddit.orgOPEnglish
    1·
    28 days ago

    What is the best programming language that combines the features?

    • LLMs are good at it, there is a lot of training data to train LLMs on it.
    • it has good support for formal methods