Forgot your password?
typodupeerror

Comment Corrections (Score 4, Informative) 19

Duke 3D's soundtrack was not exclusively the work of Bobby Prince; Lee Jackson, Apogee's go-to music guy, also did some of the tracks, including the title theme, Grabbag.

Prince used not only his MIDI skills but also his experience as a lawyer to ensure his 'inspired' derivatives were as close as legally possible to the originals. The relationship between individual tracks is often very clear and sometimes even hinted in the metadata of the source files.

Comment Re:Lack of accountability (Score 2, Insightful) 132

The teachers--at least, the competent ones--are often the only ones who care. But they're the least empowered of the parties involved.

They are paid a pittance by the district and treated like glorified babysitters by the parents. They have had their ability to enact discipline taken away; parents are unwilling to hear that their little angel could do anything wrong or that they themselves are responsible for a home environment that doesn't foster learning.

The administrators only want to line their own pockets. They keep increasing class sizes and cutting programs and services, while repeatedly falling for band-aid, quick fix "solutions" pushed by corporate educational snake oil salesmen.

Parents are overworked, underpaid, and can barely enforce discipline on their kids. They've abdicated their role as parents to social media algorithhms. In this regard, social media is a symptom of the problem, not the root cause. In other parts of the world where social media is as pervasive, why have we not seen a similar magnitude of decline in learning outcomes?

Meanwhile, corporations and politicians are behind much of these problems. It's a societal and cultural issue, in which those in power correctly believe that they don't need to cultivate future generations of intelligent citizens. They only need some of them--their own children and friends--to be well educated, while the rest of the working class only needs to be smart enough to do whatever menial tasks their corporate overlords enslave them to do.

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:The purpose of art (Score 3, Interesting) 90

It makes more sense as a dialogue if we think of it not so much as a one-to-one conversation, but more like an ongoing, global discourse. After all, movies are not made in a vacuum, and they are--generally speaking--not made for a single specific individual to watch. The artist is informed and shaped by their experiences.

I frame it this way because I want to move away from the "maker"/"viewer" framework--this dichotomy of the creator of an experience versus those who experience the creation. There is a kind of feedback at play that is intrinsic to the ability to create art and to enjoy it. We even see this in cinema--the works of actors (which roles they choose, how they play those roles) are invariably influenced by the culture and sentiments that surround them.

In a strict sense, you are right--it's not as if the artist is directly engaging in a back-and-forth literal conversation. But I think that a more encompassing point of view is useful for contextualizing why generative AI being propped up as "art" is so offensive to some. It doesn't feel "real" to us, and it isn't because the tool is "artificial"--we have computer animated films, for instance. It's because it feels disengaged from that feeling of human connection.

Slashdot Top Deals

"It says he made us all to be just like him. So if we're dumb, then god is dumb, and maybe even a little ugly on the side." -- Frank Zappa

Working...