Hacker News new | ask | show | jobs
by elpocko 16 days ago
Imagine using software tools on a computer to make a computer do work without telling anybody that you used software tools on a computer to make the computer do the work. That's just disgusting. Matrix multiplication was invented by the devil.
1 comments

You're missing the lack of verification. Normal computer tools can be verified to work reliably. Cat can be tested to copy data. Sort can be confirmed to sort properly. You can't verify that a coding agent can reliably produce code. It's not even easy to check over since the errors aren't something you can systematically find.
>Normal computer tools can be verified to work reliably. Cat can be tested to copy data. Sort can be confirmed to sort properly.

Right. You can indeed verify that a given computer program can reliably copy or sort data.

>You can't verify that a coding agent can reliably produce code

That's not the goal. You don't need to verify that a coding agent can reliably produce "code". You only need to verify that the solution produced by the agent solves a given problem. And that's already been done and verified many, many times. I hear most code is written by LLMs nowadays, and not all of their users are idiots.