Earlier quoted context omitted.
You think Alpoge just had the solution for the Jacobian Conjecture in his back pocket, just sort of waiting to deploy at his next gig?
He could have been paid by Anthropic to run a brute-force computer search. The counterexample looks short enough that, given a portion of Anthropic’s computing power and a sufficiently smart algorithm, it could be found by brute force.
That post never existed. Stop listening to that thing
121–130 of 184 posts
Re: That post never existed. Stop listening to that thing
#122Earlier quoted context omitted.
One of the things I do semi-frequently is look for the evidence that some concert took place 15+ years ago. Or maybe I already definitively know it happened, but not exactly at which venue or the exact date of the concert. This I feel like is a non-trivial task, but one with a very definitive answer whose evidence more often than not still exists somewhere online. In my experience every LLM out there is utterly usele…
> YouTube search is genuinely better than Google The funny part of this is that Google search is intentionally bad at returning YouTube videos, presumably because some anti-trust action scared them into artificially ranking videos from local news sites, Facebook, and other ad-walled content ahead of YouTube videos. Seriously, go watch a YouTube video, then try googling its title with “video” appended to it, and see i…
It's usually uploaded by a channel with like 20 subscribers and has maybe like 300 views, but YouTube would rather show me some artist playing a similar genre on the other side of the continent with millions of views that was recently uploaded than a video from an event I specifically typed into a search bar.
Re: That post never existed. Stop listening to that thing
#123Earlier quoted context omitted.
Because it's exceptionally demagogue to anyone with a functioning brain? You know, the thing the dear author makes a big hoopla about people giving up by using these?
"Because it's exceptionally demagogue to anyone with a functioning brain?" Oh the irony...
Re: That post never existed. Stop listening to that thing
#124Earlier quoted context omitted.
Because it's exceptionally demagogue to anyone with a functioning brain? You know, the thing the dear author makes a big hoopla about people giving up by using these?
"Because it's exceptionally demagogue to anyone with a functioning brain?" Oh the irony...
Re: That post never existed. Stop listening to that thing
#125Earlier quoted context omitted.
Pretty sure it already exists, and it's the same as always: the younger you are, the better you adapt. It's painful to watch my older colleagues use their agents, and they're not even that much older. Like they were intentionally trying to sabotage themselves sometimes. They're getting better, but the time it takes for them to pick things up is just significantly longer, not the least because they're kind of just thr…
What mistakes do they make?
They ask self serving questions, underspecify their requests, omit crucial context that the agent is blatantly not going to have access to, or subtly misdirect the agent. They expect the agent to figure out everything: you'll never catch them write a prompt longer than one or two sentences. They never steer the agent or look at the CoT traces.
My boss being a particularly poor case: he apparently has the habit of arguing with the agent, as if it was a person, as if there was any merit to that. Starts being a dickhead with it, shouts at it, what have you. Was flabbergasted we don't.
On the more practical side, they have zero mental model of the harness they're using (Copilot Chat in VS Code). They're surprised when the cheap-ass Auto model, which is almost always some beyond-demented version of GPT, does stupid things. They have no concept of skills, zero understanding of what an MCP server is, haven't heard of lifecycle hooks, agent memory, the various fs scopes (session, workspace, user). No concept of how to have the agent inspect its own debug logs for higher accuracy action provenance.
This also snowballs. Having to give them a stock config is one thing, but even beyond that, you won't see them experimenting. The MCP you're using doesn't support some action? They'll never interrogate whether the underlying scoped OAuth token or bearer token does support it, and they'll never ask their agent to patch the functionality in. They'll not consider the various user flows it can perform on their behalf. They'll not string them together into end-to-end automated workflows unless you explain it to them this is possible, and even after that, they'll just kind of ignore it. They'll never build tooling, extend the harnessing, etc.
Whether this has more to do with age or just disinterest-induced lackluster adoption, up for opinion.
Re: That post never existed. Stop listening to that thing
#126> The worst part is that everyone who's decided to willingly lobotomize themselves is going to have to come to the realization that these things are full of shit. It'll have to happen one by one, and nobody else can make it happen for them. A fascinating dichotomy has become apparent between those who trust LLM output and those who don’t and don’t understand why you would. Surely if the machine you go to for answers…
Not necessarily, namely because P != NP. Verifying the correctness of a solution is faster than solving it. Thus a system that outputs 99% incorrect solutions and 1% correct solutions can still be incredibly useful.
Re: That post never existed. Stop listening to that thing
#127> The worst part is that everyone who's decided to willingly lobotomize themselves is going to have to come to the realization that these things are full of shit. It'll have to happen one by one, and nobody else can make it happen for them. A fascinating dichotomy has become apparent between those who trust LLM output and those who don’t and don’t understand why you would. Surely if the machine you go to for answers…
People still respond to ads and political speeches.
Re: That post never existed. Stop listening to that thing
#128Earlier quoted context omitted.
I have a distinct line between when I'm willing to believe an LLM's output and when I'm not: whether I would believe the same thing from an anonymous Internet forum post or a blogger I don't know. Those posts are not unlikely to be misinformed, biased, lies, or otherwise untrustworthy. And yet, I spent plenty of years honing a sense of when they were good enough for certain things.
A lot of that sense was probably based on side channels like proper grammar, writing style, etc. That’s all gone now :(
Re: That post never existed. Stop listening to that thing
#129Earlier quoted context omitted.
When did he post that "vibecoding" was here to stay? He is allowing AI generated code, and AI linting tooling in kernel development, but importantly, the expectation of human responsibility and review remains. This seems a far cry from vibecoding.
Besides the subjectives, here are two objective policy stances that Torvalds is defining for the Linux kernel development: 1- Maintainers are allowed to commit LLM generated output. 2- Criticism of LLM generated code is not welcome/will be ignored. Now, whether that constitutes being pro-Vibecoding or pro-agentic engineering, whether it's delusion, whether it will have problems, that's subjective. But I feel that wha…
I would assume this is mainly that criticism that entirely amounts to 'this was written with an LLM' would be ignored. The actual quality of the code itself should be as open to criticism as any other piece of code in the kernel.
> It doesn't seem to me that it's a very neutral stance
Well, this is a matter of the window, isn't it? From my point of view Linus's opinion makes a great deal of sense, and is about as level-headed as anyone seems to get in this conversation. It's obvious that LLMs are useful. How useful, and for what tasks, and what downsides exist from using them, are all still in the mix, but the claim that LLMs are not at all useful for anything related to software feels like a very extreme claim to me at this point.
Re: That post never existed. Stop listening to that thing
#130Earlier quoted context omitted.
I have a distinct line between when I'm willing to believe an LLM's output and when I'm not: whether I would believe the same thing from an anonymous Internet forum post or a blogger I don't know. Those posts are not unlikely to be misinformed, biased, lies, or otherwise untrustworthy. And yet, I spent plenty of years honing a sense of when they were good enough for certain things.
I'm not sure if this is your take, but it feels an aweful lot like an AI "Good enough is good enough" handwave.