Forgot your password?
typodupeerror

Comment Re:A missed opportunity (Score 1) 29

It wouldn't now. I agree. But I think Sam deserves some.. Credit for this current AI cycle. He was the one bold enough to unlesh LLM's and market them to the masses. Google was too timid to do it. Ironically, Open Ai was supposed to prevent this from happening. But Sam is Sam, asking him to show restraint is cuckoo bonkers, its like asking Epstein to start a preteen modeling agency so they don't get trafficked. It would take some one stupid as Musk to put him in charge.

Comment Re:Do dragons count? (Score 1) 44

AI isn't ready until it blames previous developers with an appropriate amount of profanity, before resolving in self loathing and self destructive alcoholism

# fuck this shit, fucking lscagg, fuck my life its fucking miller time, actually fuck it. inviting my friends johnny, jim and jack over , fucking three wise men are needed to wipe this fucking shit from my brain

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:Never got the hate (Score 1) 79

Ugh, it sucked compared to google maps and still does. It doesn't have the Steve jobs obsession with usability. Somehow Google is better at that for maps.

But still, I wish both Google and Apple would spend some more time fixing and improving their maps. I should be able to choose route preferences like " Don't make any un protected left hand turns on to busy streets" and have it route accordingly. Google still routes people through really small alleyways sometimes to save a minute, or will route you on an expensive tollway by default to save a minute. I don't want to avoid all tollways, but I want to make efficient use of time and money. Saving 20 minutes might be worth $2, but Spending $8 to maybe save one minute is not.

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:Why do I care (Score 1) 28

Da Fuk? First of all, thats not what Allbirds was. It designed. marketed and sold shoes that were very different in material and shape than normal shoes, so they were not just a logistics company, but had some real manufacturing know how aboard as well. But thats neither here nor there. A shoe factory would at least has a building space with power and water supplied. which is ironically the one thing allbirds doesn't have.

Slashdot Top Deals

MAC user's dynamic debugging list evaluator? Never heard of that.

Working...