Comment Vote Republican folks! (Score 1, Troll) 40
Trump is doing all in his power to fight for the little guy including stopping foreign H1B1 Visa holders.
The democrats care about the foreignors. Not us!
Trump is doing all in his power to fight for the little guy including stopping foreign H1B1 Visa holders.
The democrats care about the foreignors. Not us!
Is the USA in need of a tunnel to Denmark?
As a matter of fact, yes. Specifically, to the Greenland region.
Although a golden bridge of grossly outsized proportions and festooned with tacky ornamentation would be much preferred.
Notepad, which is a tech demo for some controls written by Microsoft
Apparently, its current purpose is a demo for their "Copilot" AI technology.
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!
This is why NASA always packs a tin of Bondo with the mission supplies.
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.
My point exactly. With 5 bullets, does a 16% chance of surviving each trigger pull actually mean anything?
It would mean that there's an 83% chance that the rest of us would be spared from more posts expounding on your silly line of reasoning.
The "probability" is meaningless if it is being used to predict the outcome of a single event. Statistics 101.
If that's the case, the next time you play Russian roulette, why don't you go ahead and put in 5 bullets?
Mutually Assured Destruction and even a small arsenal like Israel is said to have makes nuclear war pointless.
If what you say is true, then why is everyone freaking out over the prospect of Iran obtaining nuclear weapons?
From now on, I'm only drinking soda in October.
This is why Monopolies and Oligopolies SUCK.
They lobby the governments of the world to not be held accountable and it is in their best interest to limit production to raise demand. Without competitors why should they lower supplies or increase capacity?
Infact, the mem makers got busted3x times for price fixing in the past 25 years! Micron or Hynix even stated they do not want to increase production in case the AI fad dies and they are suck with an abundance of supply.
The US also has a far right wing government now where nvidia, sumsung, and others paid for Trumps ballroom when the East Wing was demoed so the FCC won't do anything now.
Well the demand for RAM is due to clouds providers buying blades.
Besides memory they also need SSDs to boot and run programs.
As long as I pay my electricity, who cares?
Ignoring the fact that you don't seem to know what a laptop battery is, it looks like you could have a promising career as a data center site planner.
Not to mention, blocking more ads and other unnecessary stuff == better performance on the stuff you were actually trying to view. It very likely comes out as a net performance win even with a ~20% disadvantage in raw CPU speed.
If you read this post it shows that AMD stole Intel's design and reverse engineered it.
If you dig deeper, you'll find that AMD originally reverse engineered the *8080*, not the 8086. The two companies had entered into a cross-licensing agreement by 1976. Intel agreed to let AMD second-source the 8086 in order to secure the PC deal with IBM, who insisted on having a second source vendor.
There would have been no Intel success story without AMD to back them up.
(That actually would have been for the best. IBM would probably have selected an non-segmented CPU from somebody else instead of Intel's kludge.)
DEC diagnostics would run on a dead whale. -- Mel Ferentz