Forgot your password?
typodupeerror

Comment Meanwhile, at Carnegie Mellon... (Score 4, Interesting) 193

Jensen Huang to college grads: "Run. Don't walk" toward AI

https://www.axios.com/2026/05/...

Nvidia founder and CEO Jensen Huang told graduates at Carnegie Mellon University in Pittsburgh yesterday that demand for AI infrastructure is creating a "once-in-a-generation opportunity to reindustrialize America and restore the nation's capacity to build."

Why it matters: With many college grads fearing AI could obliterate their career dreams, Huang pointed to boundless opportunity as a "new industry is being born. A new era of science and discovery is beginning ... I cannot imagine a more exciting time to begin your life's work."

Nvidia, which makes AI chips, is the world's most valuable company. Huang told 5,800 recipients of undergraduate and graduate degrees that the AI buildout will require plumbers, electricians, ironworkers, and builders for chip factories, data centers and advanced manufacturing facilities.

"No generation has entered the world with more powerful tools â" or greater opportunities â" than you," he said. "We are all standing at the same starting line. This is your moment to help shape what comes next. So run. Don't walk."

"Every major technological revolution in history created fear alongside opportunity," Huang added. "When society engages technology openly, responsibly, and optimistically, we expand human potential far more than we diminish it."

Full speech: https://www.youtube.com/watch?...

Comment Re:Nope (Score 1) 82

Dude. I'm so old I have actually used a VT100. I actually used a teletype for a few minutes for the heck of it. No punch cards, though.

I'm pretty clear on what a terminal emulator is. I've probably used one more days than not over my more than half century.

My point was: **We're totally ditching github!!** - and yet their website still links only to source on github.

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

Promising costs nothing, it's the delivering that kills you.

Working...