Comment Re:People Seem to Forget Problems Existed Pre-AI (Score 1) 112
By employing a load of rats. How did you do it?
By employing a load of rats. How did you do it?
Obviously there were not many - and it might have been rarity value.
Or perhaps no one had told them about mosquito coils.
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!
How many of you are ready to fund me asking the whales if under water explosions make them feel they are haunted?
Politics ain't free, you know
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?
I have a very small mind and must live with it. -- E. Dijkstra