4 ms·

> One thing that makes programming especially well suited for LLMs is that it's often trivial to verify the correctness. is this why software never has any bug

> One thing that makes programming especially well suited for LLMs is that it's often trivial to verify the correctness. is this why software never has any bugs?