Re:I'm Not Convinced the AI Bubble Exists
by kenniskrag on Monday November 09, 2026 @03:05AM
(#50422537)
> in my experience building good harness is hard and agents can not do this currently without human closely guiding them.
I think you are right here. In the end it's probably more or less a software specification? I would love to have more formal verification in coding.
Still a Master student in CS. I attended some courses about defensive programming or programming by contract and also formal verification.
Correct me if I am wrong on this, I am only a student of mathematics and by no means a researcher.
For the programming part, I think author already says that automated solutions need a good harness, and this is indeed correct, but in my experience building good harness is hard and agents can not do this currently without human closely guiding them. And in pre-LLM programming practice we did not need harness at all, or needed only small part of it: so, solving programming problems with LLM involves more work than without LLM, even if big part of this work can be automated.
The rest of the article seem to be a speculation mostly based on the premise that LLM can really replace human in the loop, which seems to be not the case currently.