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.

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.

Comment Not sure, we've been all electric over 2 years (Score 4, Interesting) 296

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.

Slashdot Top Deals

It is easier to write an incorrect program than understand a correct one.

Working...