Forgot your password?
typodupeerror

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 Re:Who's "we"? (Score 3, Interesting) 73

People act like life expectancies have been getting shorter.

They romanticize historic and prehistoric diets alike, as if they were utopian; as if people somehow intuited what to eat, or else that the constraints of supply somehow shaped digestive evolution like an intelligently designed metabolic symphony of symbiosis. That ignores the plain reality of volatile supplies -- even after the advent of agriculture, but especially before it -- and the reality that evolution is not driven by perfect health or life expectancy; only by surviving long enough to reproduce.

Even if modern diets are "unhealthy" (whatever that means), that doesn't imply that people were eating healthier at any point in the past. In fact, skeletal records clearly show that human existence has been rife with scurvy, rickets, iron deficiency, and stunted growth. Nutritional deficiencies were the norm, not the exception. Now (many people) have abundance, and that presents its own challenges, but the notion of an ideal, historic nutritional baseline is pure fiction. It's turtles all the way down.

Slashdot Top Deals

In every hierarchy the cream rises until it sours. -- Dr. Laurence J. Peter

Working...