Pair programming, in my case, mostly degenerates into "no, wait, don't, how about, what if, hm, if you click on the, on the, button there, no not there, left le

Pair programming, in my case, mostly degenerates into "no, wait, don't, how about, what if, hm, if you click on the, on the, button there, no not there, left left left, the third from- yeah that one, ah right, thanks for guessing what I meant". (obviously not always, but the language center of my brain is obviously not well connected to the programming center, and I have noticed similar behavior from several other programmers). Let's hope the results are somewhat better than previous attempt ala COBOL. Regarding verification, in my opinion the foundation for current LLMs is, similar to humans, not far from total hallucinations. I am not sure if actual verification is really possible in that direction. At most "well, 99% of the others have been doing it that way for the past ten years".