LeCompteSftware

8 ms·

31.
by LeCompteSftware 5mo ago
I did with the Weizenbaum link, but here's a specific refutation: https://en.wikipedia.org/wiki/ELIZA_effect The Turing Test is totally meaningless, as was conclusively demonstrated some 6 decades ago. It is a tes
32.
by LeCompteSftware 5mo ago
Hmm I think all these replies are overcomplicating things. At a group level, some kids are slower at this Stop/Go task than others. The group difference appears to be this increased broad-scale brain activity: the slow group is overall
33.
by LeCompteSftware 5mo ago
The point is "Claude is conscious" is a hypothesis with no explanatory gain, no empirical constraint, and by denying that non-human consciousness is relevant to the discussion it gains unlimited ad hoc flexibility. I am relating t
34.
by LeCompteSftware 5mo ago
I obviously don't know what the codebase looks like, but a) Haskell's reputation for terseness partially comes from its overrepresentation in academic / category-theoretic circles, where it's typically fine to say things
35.
by LeCompteSftware 5mo ago
Consciousness is not definable because we don't know enough about it. That doesn't mean it can't be discussed; we didn't have a good definition of "number" until the 1800s. That didn't make arithmetic mean
36.
by LeCompteSftware 5mo ago
The fact that LLMs often score as "more human" than actual humans is a downstream consequence of ELIZA tricking people into thinking it had a glimmer of consciousness. The Turing test was refuted because it was proven scientifical
37.
by LeCompteSftware 5mo ago
The broader point Marcus is making is that ignoring arguments based on causality and plausibility goes against decades of Dawkins's philosophical atheism. Why not believe in the Flying Spaghetti Monster? Reality is consistent with its
38.
by LeCompteSftware 5mo ago
> $160 is what the market will bear. You previously acknowledged it's a "very captive market" that you "would've expected Texas Instruments to try gouging" :) "$160 is what the very captive market will
39.
by LeCompteSftware 5mo ago
But you can't divorce that from computing technology in general. A TI-83 used a z80 in 2000 and was priced at 1990's z80 rates, it was already gouging even back then! Now 26 years later the TI-84 uses an ez80 (or something somethi
40.
by LeCompteSftware 5mo ago
It is also things like "I can feel that my left knee is bearing a little too much weight, I should shift weight to my right hand and use that to push myself up" - things that come automatically to animals after learning the hard w
41.
by LeCompteSftware 5mo ago
As a longtime F# developer and longtime recipient of STEM academic bullying[1] I refuse to use LLMs in large part because ChatGPT-3.5 was so ridiculously bad and obvious about copy-pasting from F# GitHub repos. I never felt the AGI, I just
42.
by LeCompteSftware 5mo ago
Yes, we've known the line is blurry for hundreds of years, that's why we have courts. That has nothing to do with the specific problem of LLMs infringing copyright. LLMs needs to be held to much higher scrutiny because they are no
43.
by LeCompteSftware 5mo ago
Intelligence is certainly not compression. People need to think more carefully about how it is that cockroaches and house spiders are able to live comfortably and adaptably in human houses, which are totally novel environments that have onl
44.
by LeCompteSftware 5mo ago
I doubt you would ever blurt out a copyrightable portion of a book without realizing that's what you're doing. That's the biggest difference. In particular, you are a legal person who can be sued in civil court if you infring
45.
by LeCompteSftware 5mo ago
This is a good example of what I mean! fnCAD appears to be a significantly buggier and highly incomplete version of OpenSCAD, where AI essentially grabbed the low-hanging fruit - albeit an impressively large amount of fruit - and left you w
46.
by LeCompteSftware 5mo ago
>> Whereas earlier you had to use something that was mass produced to be satisfactory for everyone As someone who recently started using OpenSCAD for a project I find this attitude quite irritating. You certainly did not "have to
47.
by LeCompteSftware 5mo ago
Getting back to this.... The most effective response is rarely to argue the general case. Instead, acknowledge the concern, offer a brief reframe, and propose one concrete demonstration on the person’s own code. Most concerns are resolv
48.
by LeCompteSftware 5mo ago
This Scientology-ass blog aligns startlingly well with my hypothesis that certain tech workers (including CEOs like Dario Amodei and Satya Nadella) are excessively enamored with LLMs because of a fundamental spiritual emptiness and ignoranc
49.
by LeCompteSftware 5mo ago
I am a musician and deeply morally opposed to any form of generative AI that has unauthorized training data. That means I am morally opposed to any useful system. This seems to be a majority opinion among creatives: they are plagiarism mach
50.
by LeCompteSftware 5mo ago
This story is so irresponsible. >> Notepad++ for macOS is maintained by Andrey Letov, who wrote the Objective-C++ Cocoa UI that replaces Notepad++'s Win32 front-end. The app is available to download from the Notepad++ website. Th
51.
by LeCompteSftware 5mo ago
FWIW I also think an underappreciated advantage is Windows Server (last I checked that was still rock-solid) and Active Directory. Lots of CIOs / CTOs would correctly veto a move off of these, absent a specific technical problem. This
52.
by LeCompteSftware 5mo ago
"The" future of software engineering is a silly thing to predict. I might predict one substantial change is that we get our house a little more in order about universities and the private sector distinguishing between computer sci
53.
by LeCompteSftware 5mo ago
Being LLM slop in particular, this book cost way more of my time than it should have. It really does look superficially competent, until you realize that competence is paragraph-to-paragraph, not section-to-section. The scam is not stating
54.
by LeCompteSftware 5mo ago
I guarantee they didn't read a single word of this book. Look at the introduction to C and tell me that a) it's a good introduction to C b) a human read any of it https://github.com/ebrandi/FDD-book/blob&
55.
by LeCompteSftware 5mo ago
There is something wrong with it because LLMs are really not capable of writing a useful book, and this book is 100% LLM slop. Look at this totally useless """introduction""" to C: https://github.com
56.
by LeCompteSftware 5mo ago
But both of you are ignoring the parent comment! Actually you're ignoring the context of the thread. Originally someone said "I wish I was math smart to know if [this vibe-mathematics proof] worked or not." They did NOT say &
57.
by LeCompteSftware 5mo ago
That's not what the parent comment meant. They meant checking the Lean-language definitions actually match the mathematical English ones, and that the Lean theorems match the ones in the paper. If that's true then you don&#x27
58.
by LeCompteSftware 5mo ago
"For now" is sort of the entire point of the article :) Even in the Before Times, it was much cognitively cheaper to write code than it is to read someone else's code closely, or manage lots of independent code across a team,
59.
by LeCompteSftware 5mo ago
The point of the article is that sometimes the "old ways" really means "not particularly profitable or necessary in the short term" but the bill comes due in a crisis. The reason US/EU manufacturing was "the ol
60.
by LeCompteSftware 5mo ago
But that's summarizing a paper from 2012.

More ›