That's actually a pretty good concept, if the engineers agree. A battery built for fast charge that is good enough for a regular commute and a battery built for max energy density.
Of course, if you're heading off on a 2000 km trip you're probably not going to like having to stop every 100 km after the first half of the trip.
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.
Literally everything you just said has no basis in anything I said.
False.
Again, if you can't read, please don't reply to my posts.
Can't tell if gaslighting, or honestly stupid.
You're wasting my time and everyone else's.
It's never a waste of time to confront a partisan shit-for-brains.
That, and all the open fascists.
Ah, there it is.
From my perspective the problem is those fascists, and the illiberal shit-for-brains like yourself that don't realize just how little sunlight exists between you and them.
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.
Yes, that is what this idiot just claimed.
No, it isn't.
No, there is no magic in LLMs
Correct.
and incompleteness not only applies
Wait- wasn't it you who said "The only tool that is able to find all bugs in a piece of software is formal verification.".
lol- you fucking idiot.
China is already the world's largest importer of natural gas. While they do have natural gas reserves, they don't have enough to replace their electrical generation. I expect they mostly are looking for an energy source they don't need to import.
China is also the largest importer of coal. Cost has priority, so coal is prioritized over natural gas. They'll use natural gas when they've used all the coal they can dig up or import.
But the opposite is what's happening right now: they are decreasing their coal imports, and increasing their natural gas imports.
https://www.wita.org/atp-resea...
** MAXIMUM TERMINALS ACTIVE. TRY AGAIN LATER **
