Remix.run Logo
▲ g-b-r 3 hours ago

The point is that you're not verifying if you don't even review the code.

Even if your test suite tested every single possible behavior and code path, tests usually can't intercept all possible unintended behavior that an LLM might have added.

In all likelihood, most test suites don't intercept any unintented behavior (such as unintended internet connections).

That's not a big problem when a honest human has written or reviewed the code, because unintended code is usually easy to spot.

But an LLM might have dropped any whatsoever code: maybe some of your project's code resembles the one of a trojan in its training, so it completes it with the trojan.

Or maybe it found that if your server is unreachable, it can upload the client's data to a public Github repo; or that if there's no space left on the device, it can delete some of the user's folders, easy!

Would your clients be understanding if that happened?

▲ChrisMarshallNY 2 hours ago | parent [-]

So you currently routinely review the machine code and link tables produced by your compiler?

Eventually, the tools become trustworthy, and we no longer need to worry about their products.

We're just about there, with frontier LLMs, but I don't think we're all the way there, yet.

▲AstroBen 2 hours ago | parent | next [-]

"I saw her duck" - how much would you be willing to bet on the intended meaning of this sentence?

English isn't a good programming language if you want to trust that the output will be as you want it to be. High level code has no room for ambiguity - that's why we use it. It's a concise, very explicit language to tell the compiler exactly what to do.

Dealing with an LLM is a fundamentally different thing. The reason it's able to speed us up is because it makes assumptions for us and reads between the lines. The only world where we trust the output is one where it can literally read our minds. That's not coming any time soon

▲g-b-r an hour ago | parent | prev [-]

How can a software developer compare a deterministic program with LLMs?? Please tell me that you aren't, or that it's not what really think!!!