If AI services are becoming too expensive in the current environment, we can look to nature for help. There is a an abundant species of large mammals in the ape family that can be trained to do this kind of work as well.
For criminal negligence by foisting their QA and QC upon their users instead of trained QC/QI/QA personnel.
Electric bikes get far better range per watt. I can get 45 miles on a 500Wh battery without pedal assist, putting my consumption at ~12Wh per mile.
Like this is so basic of a thought exercise that anyone with a brain (or anyone that owns an e-bike) can see this story is utter bullshit.
Neither is Elordi
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?
The best way to accelerate a Macintoy is at 9.8 meters per second per second.
