ken47

This wouldn't be a problem so long as they properly attribute.

Thanks for creating and sharing this.

> However, this was not verified in Lean.

This is the caliber of thinking in unimpaired AI bullishness.

Because the majority of executives think AI is a magical black box, I’d reckon.

I have to wonder if there is a relation to the rising prevalence of coding LLMs.

Coincidence is God’s way of remaining anonymous.

And don't forget that physical loneliness, that is, actually being alone, eliminates one major feedback source that something could be wrong with your health, or a source of immediate aid if e.g. you go into cardiac arrest.

Maybe the researcher above touches on these things, but more generally, there should be a standardized probability and statistics exam for ALL aspiring scientific researchers, and a high score should be the minimum cutoff. The influence that a statistically flawed study can have over our collective futures is too dangerous.

The main premise of this article is that SPA frameworks are primarily about transitions. This is yet another passionate argument built on a false foundation.

The overarching problem is that signal:noise ratio in contemporary discussions of AI is absurdly low. This is thanks in large part to a media complex whose primary goal seems to be the pumping of AI investments and stocks, and the associated cacophony of mendacious exaggerations. If only we could have a reasonable discussion without the "contributions" of the non-technical and/or salespeople...

Occam’s Razor applies.

Those wealthy enough to invest or speculate in real estate incur a write-down they can likely afford - as Warren Buffett once said, don’t swim naked. The person of average or below-average means gets a chance at a standard life.

We don't need AGI in order for AI to destroy humanity.

> rise of IDEs, or Google search, or AWS.

None of these things introduced the risk of directly breaking your codebase without very close oversight. If LLMs can surpass that hurdle, then we’ll all be having a different conversation.

Longer.