Forgot your password?
typodupeerror

Comment Re:So sad (Score 4, Interesting) 95

America prefers anything over socialist democrats getting in the way of a vibrant free market. Why do Europeans cling to big government?

It is more honest to say that those in power prefers it. Polling in the US shows consistent support for universal healthcare and making tuition at public colleges free for instance - both examples of the dreaded "big government".

And yes. I agree, the whole world has gotten a fine demonstration of your values.

Comment So sad (Score 4, Interesting) 95

It is incredibly sad that it has come to this, but the US has shown time and again that it prefers autocrats over democracies. This has been a painful lesson for much of Europe, and one we are still processing. But we need to reduce our dependence on the US. Any dependency will become leverage at some point.

The US used to be the good guys.

Comment What's the problem? (Score 1) 82

With all of GitHub's great new AI features, it writes all your code for you! It doesn't matter whether the site is up at any given moment; just download your newly completed app at some point then the site is online. You're free to kick back, relax and scroll your social feeds because you don't actually have to do anything anymore. This is truly a golden era!

Comment Re:We need humility, not arrogance (Score 1) 172

Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.

So you prompt the LLM to "find all the bugs".

Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.

I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.

Slashdot Top Deals

"The eleventh commandment was `Thou Shalt Compute' or `Thou Shalt Not Compute' -- I forget which." -- Epigrams in Programming, ACM SIGPLAN Sept. 1982

Working...