I wish it were clearer in these kinds of posts how "I use AI code I don't understand" is so different from "I use libraries written by other people I don't understand", or "I work in a large codebase which was 99% written by other people, and I haven't seen all of it", or even "I use software written by other people I don't understand".

Note that this is not really true of this problem in particular.

Reductio ad absurdum is a technique to prove something.

Developers often depend on external libraries like things for Image processing, Numpy, etc. Do they have to "own" the code in those external libraries and review them, in the same way people sometimes insist you have to review all AI-generated code? Do developers have to be able to recreate Numpy by themselves, even if their field isn't necessarily numerical optimization etc?

Those seem like very high and unreasonable bars.

In any case, I'm pretty sure it's just a coincidence, I don't think it's a stylistic thing, unless I'm missing something.

Though note that as GP said, on the Wason selection task, people famously do much better when it's framed in a social context. That at least partially undermines your theory that its lack of familiarity with the terminology of formal logic.

I might agree (don't know) with the idea of limiting new accounts more heavily.

There are a lot of people who understand English fairly well, but are not actively learning the language, are not native speakers, and can use LLMs to catch grammar mistakes that they otherwise wouldn't notice. Or catch small nuances in what they are saying, small implications that could otherwise go unnoticed.

In general, I push back on people saying "I can't find a good/legitimate use for this technology, therefore there are no good/legitimate use for it".

Some people can really benefit from using LLMs to help them write. E.g. non-native speakers.

LLM-assisted-writing doesn't have to be low effort, it can help people express themselves better in many cases. I'd argue that someone who spent their time doing multiple passes with an LLM to get their phrasing just write, has taken obviously more care than the majority of people on HN take before commenting.

And if you don't like the way something is written? Just down vote it. That's true whether or not it's partially/wholly written by an LLM.

2. That said, almost all the people who "want to see a study" don't make sense to me. I don't remember anyone insisting on seeing a study that shows that writing Python is more productive than C; people just used it and largely agreed that it was. How many studies show that git (or other DVCS) are better than the things that preceded it? I don't know if any exist. I do know that nobody was looking for studies before switching to git.

I don't ever remember seeing any new technology in software development for which people demanded studies before adopting it. They just assumed that if the professional developers they trusted to build their software said something was better, then it was — a correct assumption IMO.

Now, we're seeing a technology which most professional developers — that have used it seriously, at least — insist is orders of magnitude better than anything else that's come before it. And suddenly developers can't be trusted? Suddenly, when the claimed effect is orders of magnitude bigger than almost any other new technology, developers are biased and incapable of making this kind of determination?

I really don't think that's a serious position to hold.

One book that I can't recommend more highly is William Dunham's "Journey Through Genius". He picks ten or so the greatest proofs in math over the centuries, then proceeds to give you all the historical background about why they were created, who created them, etc, and then proceeds to give the full details of the proofs themselves. Including showing places the proof is considered wrong by modern standards.

It's my favorite "semi-pop-math" book, I highly recommend it.

It absolutely was the "promise" the media spun.

I had the relatively unique experience of moving from being an outsider to this field to being an insider. While I was an outsider, my impressions, formed by the media, was exactly that—3d printing would be the next big revolution, in a few years there'd be a printer in every home, etc.

I then joined a company that allocated a lot of resources to 3d printing. It only took me a month or two to realize that the big media claims were absolutely ridiculous, and didn't make any sense as stated. They misunderstood the state of the technology, and misunderstood basic economics and how regular manufacturing works.

That's not to say there's no value in 3d printing or the maker movement. There's a ton of value that's been uncovered. But the specific media dream of "people will be printing their plates at home instead of buying them in the store" was never real.

(Btw, IMO "vibe coding" is absolutely real and revolutionary, likely the biggest revolution in the software industry since, idk, the invention of the computer itself. And AI more generally is, even beyond vibe coding aspect, a revolutionary technology that will change the world in many ways.)

Then came LLMs, and there was so much talk of them using em dashes. A few weeks ago, I finally decided it's time and learned the difference. (Which took all of 2 minutes, btw.) Now I love em dashes and am putting them everywhere I can! Even though most people now assume I'm using AI to write for me.