Forgot your password?
typodupeerror

Comment Re:Stop purchasing Bambu products (Score 1) 78

I like their products. I just want printing without fuss and without having to learn every detail about leveling, etc. Their product works for me and I do not care about its openness, it is about as important for what I need it as my headphones being open sourced (not at all). So this product is for my use case, not for people who want to control every aspect of their printer and every software feature.

IF they decide to make it prohibitively expensive to operate their hardware, then I will go back to a less capable hardware kit.

Comment What's the problem? (Score 1) 80

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:Cue up (Score 1) 348

40% Informative
    20% Troll
    20% Overrated /. has long become a voting system for political opinions that the moderators agree or disagree with, 'Troll' or 'Overrated' means that they disagree with the opinion, yet the opinion is a fact in this case. It is a fact that taxes are introduced by majority voting to take something away from a minority. It is a fact that income taxes were introduced only to tax the top earners and it was 1% for incomes of 3000USD and over, 6% for incomes of half a million and over, it is a fact that can be independently confirmed.

The opinion in this case is that such behavior is confiscation and that it is not a sound foundation for the economy and that eventually these taxes expand to the rest of the population because this is how taxes work.

So I wonder is it the fact or is it the opinion that the /. moderates here? Neither facts, nor opinions are a way to troll anyone, if we mark everything that we disagree with as 'troll' then there is no discourse at all.

Comment Re:Cue up (Score 1) 348

So are you saying that a large number of people ganging together to take possession of property that is already owned by a small number of people is a fair way to run society, fair way to tax people, just invent new "taxes" on the fly on property that has been taxed already or that hasn't been sold yet, so there is no transaction, no money exchanging hands? Is THAT how "happy places" operate? Is that a sustainable path towards happiness?

Comment Re:Cue up (Score 3, Informative) 348

This is just property confiscation, I understand that poorer people do not care about wealthier people paying anything, that's how taxes and subsidies are pushed through in the first place. However call it what it is - it is confiscation of private property. As a side note, the so called 'income tax' also started as a wealthy people's tax. It was 1% and it was only applicable to a small fraction of the population who were earning over 3000 dollars a year or so and 6% of additional tax on incomes above 500,000USD, which was a tiny number of a small fraction of people.

You can go ahead and figure out what happened to that idea of only taxing 1% of a tiny number of people over the last 113 years without my help.

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

"There is such a fine line between genius and stupidity." - David St. Hubbins, "Spinal Tap"

Working...