3 ms·
The strength of LLMs is areas where verification is significantly easier than production. This is why they have had so much success as coding assistants.
by emtel 1y ago
The strength of LLMs is areas where verification is significantly easier than production. This is why they have had so much success as coding assistants.
- bigstrat2003 1y agoThe problem is that doesn't hold true for coding, which is why it's deeply irresponsible to rely on them for that. If it was so easy to verify code is correct, we never would have bugs in the first place.
- emtel 1y agoOf course it’s true for coding. Most people reading this probably got into programming because of how fun it is to just try things and see if they work. Of course you need a way to verify the code (types, tests, etc), but you already needed that anyway!
- roxolotl 1y agoIt’s true for algorithms, it’s not true for software systems. There is a ton of undefined behavior and unverifiable in software that’s widely distributed. A lot of the time this is even because those working on the systems don’t know the edge cases exist.