Forgot your password?
typodupeerror

Comment Re:Manipulated bullshit (Score 1) 59

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.

Submission + - How is it that Youtube's auto-generated subtitles are so appallingly bad?

Anne Thwacks writes: I frequently use the subtitles on YouTube — either not to disturb others in the room, or because my hearing is not very good.
The subtitling is terrible! Almost every sentence has a huge error. Proper names are more often wrong than right. Non-English place names are almost always mangled to barely recognizable, and no effort whatever is made to use context to figure out whether a place name is Russian or Arabic, and often complete garbage is used in place of a common French, Spanish or Italian name.
If AI actually works (I have my doubts about this), surely it would be possible to figure out language contexts: it it is about an event in Italy, then expect a lot of Italian names. If it is about the Russia-Ukraine war, then expect places in Russia or Ukraine to be more plausible than mindless gobbledegook!
Does YouTube not know that there are places in the world that are not in America?
However, plenty of names of people and places famous in America are also regularly screwed up.
I am sure that the vast majority of the foul-ups could be fixed by the use of a dictionary — available from a very popular book retailer who would be happy to have some free publicity. (But they will get nothing free from me).
However, the situation seems to be getting worse!
Do Americans sue people for spelling their names right?
Is there another reason for this appalling stupidity?
Enquiring minds want to know!

Comment What's the problem? (Score 1) 82

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!

Comment Re:We need humility, not arrogance (Score 1) 172

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.

Slashdot Top Deals

I have a very small mind and must live with it. -- E. Dijkstra

Working...