Comment Re:All part of the Elite's agenda. RESIST IT. (Score 1) 46
Apparently, the elite also own all the newline characters.
Pica FTW!
Apparently, the elite also own all the newline characters.
Pica FTW!
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.
The good thing is hiring 9,000 H1Bs now could cost $900,000,000 in filing fees, and visas are weighted so that the highest wage H1Bs are given 4x the weight of the lowest wage H1Bs. I've noticed the number of H1B “entry-level openings" meaningfully decrease, which means it was never actually about talent "scarcity" and all about talent "cost". The H1B funnel is also getting a double whammy with AI consuming exactly the offshore-able, entry-level work the H-1B and offshore IT models were built around. The cost advantage that enabled both to work is at the point of economic unviability.
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.
"In modern cars, it can only help visibility"
Until the screen fucks with your night time vision.
Fuck that just get ones of those retina-searing flashlights out of China and just aim it at your side view mirror.
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?
There is zero chance I'd go back to an ICE car. The maintenance, reliability, and fuel costs are not even comparable. The math behind driving an ICE car today only makes sense if you need to tow large loads for significant distances. The caveat is that you need a place to charge them for it to be stress-free. We calculated not long ago that it would take $0.25/gallon gas to make an ICE car break even with what we're spending on EVs.
Back then most emulators were just an executable and a couple smaller files. Throw a full library of games on a ZIP disk, head to your friend's house to play games.
From now on, I'm only drinking soda in October.
It is easier to write an incorrect program than understand a correct one.