I accidentally read LinkedIn again and lots of people are talking about the flow of writing code with an LLM and then using a feedback loop with formal verification to reject incorrect implementations...
@nprofile1q...
Actual _formal_ specifications and proof of corretness against them exist, but they are difficult and require a lot of work and specialized tools and skills. There is absolutely no way that any of the LLM crowd is doing that -- some form of semi-formal specification-as-test, perhaps, but that's _not_ the same thing at all.
Actual _formal_ specifications and proof of corretness against them exist, but they are difficult and require a lot of work and specialized tools and skills. There is absolutely no way that any of the LLM crowd is doing that -- some form of semi-formal specification-as-test, perhaps, but that's _not_ the same thing at all.
1