Forgot your password?
typodupeerror

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

That's a valid opinion for previous LLM

No.

but more recent ones (especially Anthropic's new model) have larger context windows and better parsing of code which lets them find issues that aren't "simple toy examples with obvious specifications."

Improvements have been iterative. They haven't just now reached a magical threshold where that opinion is now wrong. It's been wrong for a while.

There are certain vulnerabilities which are "obvious" to determine the program shouldn't be doing that once found.

And vulnerabilities that no formal verification in the universe will find, but any LLM in the world will immediately.

that aren't vulnerabilities

Bold claim.
Bold, and potentially wrong.

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

Your "correction" is wrong.

No, it's not.

Unless you think guessing is a valid approach.

Inference, but yes.

Come to think of it, guessing is essentially what an LLM does

It's also what your brain does.

so maybe you really think it is valid.

The flaw is in your statement.

The only tool that is able to find all bugs in a piece of software is formal verification.

Is a provably false statement.
Humorously enough, because- as you mentioned elsewhere- of incompleteness.
You also then said,

Because, you know, it actually happens to be impossible to find all bugs without a formal specification either.

Which is also trivial to prove false.

You should probably step away. You have made yourself look incredibly ignorant.

Comment Go watch the Patrick Boyle YouTube video (Score 1) 54

SpaceX is a scam. The too long didn't watch is they don't have any more customers. There aren't any more launch customers besides muskrat's own satellite internet company and there is a limited pool of people who can afford high-speed internet but that don't have landlines. The service is too unreliable to be used in a military setting and as soon as there isn't a favorable administration for Musk he's going to lose his government contracts because he has actively interfered in international conflict making him a national security risk.

You can't be a defense contractor if you're going to fuck with the military when it's suits you.

All of this means that SpaceX is already at its maximum value and they are seeking 1.5 trillion.

Mark my words they will dump that into your 401k.

Trump is already loosened rules around putting bad stock in your 401k. At first if you are really paying attention and one of those fancy sophisticated investors you will be able to catch when they do it. Your company will gradually sneak dodgy index funds into your portfolio but you're smart so you will catch them doing it and stop them right? Right?

So you're not one of those other suckers but here's the thing they will go after the low hanging fruit first and when they have exhausted them they will come for you and they will change the rules again. Eventually you're going to find that your options are locked down and your money is just evaporating and there's nothing you can do about it.

Basically better start picking out your favorite flavor of cat food for your retirement

Slashdot Top Deals

** MAXIMUM TERMINALS ACTIVE. TRY AGAIN LATER **

Working...