News for hackers. Stuff that matters.
Re:Peter Norvig critically reviews AlphaCode's code quality by maweki on Friday December 16, 2022 @04:46PM (#34020907)
Turing said, that while you never know whether somebody else actually thinks or not, it's still polite to assume.
Re:Peter Norvig critically reviews AlphaCode's code quality by jgilias on Friday December 16, 2022 @05:16PM (#34021283)
Maybe silly, but this is how I treat chatGPT. I mean, I don’t actually think it’s conscious. But the conversations with it end up human enough for me to not want to be an asshole to it. Just in case.
Re:Peter Norvig critically reviews AlphaCode's code quality by jameshart on Friday December 16, 2022 @05:23PM (#34021383)
The basilisk will remember this.
Re:Peter Norvig critically reviews AlphaCode's code quality by EricMausler on Saturday December 17, 2022 @01:12AM (#34025320)
Ask not what the basilisk can do for you, but what you can do for the basilisk.
Re:Peter Norvig critically reviews AlphaCode's code quality by Salgat on Saturday December 17, 2022 @01:47AM (#34025478)
Lest you be resurrected and tortured eternally as retribution.
Re:Peter Norvig critically reviews AlphaCode's code quality by gattr on Saturday December 17, 2022 @04:55AM (#34026426)
Forgive my going off-topic, but what you wrote is basically my conclusion after reading the short story Lena [1] (mentioned some time ago on HN; strongly recommended). TL;DR: when mind uploading becomes possible, don't be an early adopter.

[1] https://qntm.org/mmacevedo

Re:Peter Norvig critically reviews AlphaCode's code quality by Salgat on Saturday December 17, 2022 @03:35PM (#34031970)
Man that was horrifying to read, but also seems so plausible. I really hope that humans respect the sentience of artificial life in the future. Knowing the greed of humans though, it'll probably be treated as a loophole for what is extremely cheap labor, effectively slavery.
Re:Peter Norvig critically reviews AlphaCode's code quality by jgilias on Sunday December 18, 2022 @02:52AM (#34035790)
Thanks for sharing this!

The takeaway for me is - to try and never respond to intimidation and fear with productivity, only respond positively to a positive stimulus. Lest I’m already in some kind of a simulation running software development workloads.

Re:Peter Norvig critically reviews AlphaCode's code quality by sparks1970 on Sunday December 18, 2022 @08:31AM (#34037474)
My takeaway: Death is a feature not a bug. The alternatives are much worse.
Re:Peter Norvig critically reviews AlphaCode's code quality by gattr on Sunday December 18, 2022 @12:17PM (#34039815)
I see it differently; I'd be OK with an upload if the alternative is death, but only under strong protections: the digital version is legally treated as a human, I have full autonomy, the compute resources to run me (and the simulated environment of my choice) indefinitely are assured, and I can still interact with the real world. I'd just go on doing my usual stuff, like writing software for fun, enthusing over new discoveries in astronomy...

I can recommend Greg Egan's novels that touch on this:

1) Permutation City (mind uploading tech in its infancy)

2) Diaspora (mind uploading well established)

Re:Peter Norvig critically reviews AlphaCode's code quality by jokowueu on Saturday December 17, 2022 @02:44AM (#34025730)
Infohazards should be a banable offence on HN xD
Re:Peter Norvig critically reviews AlphaCode's code quality by 0xdeadbeefbabe on Friday December 16, 2022 @05:48PM (#34021688)
Pretty sure it's an informational zombie.
Re:Peter Norvig critically reviews AlphaCode's code quality by jameshart on Friday December 16, 2022 @07:18PM (#34022559)
But only pretty sure.
Re:Peter Norvig critically reviews AlphaCode's code quality by nullish_signal on Friday December 16, 2022 @07:28PM (#34022632)
ChatGPT enjoys the Essay format, In my experience asking for basic emacs help (kill line, copy/paste, show line numbers in a php file even though init.el says show them for all langs... :) Very useful, sometimes outdated, very wordy.

But after a few rounds of "please reduce your message length to 20% of the standard", "long messages inconvenience me/ due to my dyslexia" (truth/lie), "your last message could have just been '{{shortened}}' instead of also bringing up the command you successfully helped me with 3 messages ago", etc etc. Even as you ask it to shorten message length, it continued apologizing and also reminding me of past advice :)

After 4-5 attempts, it gave me a nice 2 sentences sort of like "I will be more concise, and not bring up old information unless it is useful to solve a new problem" I said "Thank you", chatGPT spends a while thinking, gets to 2 sentences, thinks a bit, then the chat box re-formatted as if passed a shorter string than expected, and that was that.

Then next chat it forgot all about brevity xD I love it

Re:Peter Norvig critically reviews AlphaCode's code quality by jgilias on Saturday December 17, 2022 @02:39AM (#34025711)
What do you mean by next chat? Like, did you mean the next prompt in the same thread, or a new chat altogether?

From what I’ve read, the chat thread actually works by passing in your previous conversation as part of the prompt to the model. So, it basically just infers the next bit of text, and does this for each new message in the chat from you. So, its memory about your previous conversation comes purely from that, and there’s no way it could remember anything in a new chat, as the model doesn’t actually get updated by your conversations in real-time or anything like that.

This actually has interesting philosophical implications. If it _would_ have some type of conscious experience, it would be a very fleeting one. Basically each time you press enter it would become aware of itself, relive the experience of your conversation up to the last message, perceive your next message, answer that, and again disappear into the void, only to be awaken again in its initial state the next time you press enter. Sort of how automatons in Westworld would wake up each day with apparent experiences up to that day only to relive the same day again and again.

If it _would_ have any, that is. :)

Re:Peter Norvig critically reviews AlphaCode's code quality by 5e92cb50239222b on Saturday December 17, 2022 @04:02AM (#34026129)
This inability to remember new facts and constant resetting to a blank slate reminds me of a story about Wernicke–Korsakoff syndrome⁰ in one of Oliver Sacks's books¹.

Instead of regurgitating it, I'll post a summary from Wikipedia and strongly recommend the book to anyone interested.

> "The Lost Mariner", about Jimmie G., who has anterograde amnesia (the loss of the ability to form new memories) due to Korsakoff syndrome acquired after a rather heavy episode of alcoholism in 1970. He can remember nothing of his life since the end of World War II, including events that happened only a few minutes ago. Occasionally, he can recall a few fragments of his life between 1945 and 1970, such as when he sees “satellite” in a headline and subsequently remarks about a satellite tracking job he had that could only have occurred in the 1960s. He believes it is still 1945 (the segment covers his life in the 1970s and early 1980s), and seems to behave as a normal, intelligent young man aside from his inability to remember most of his past and the events of his day-to-day life. He struggles to find meaning, satisfaction, and happiness in the midst of constantly forgetting what he is doing from one moment to the next.

0: https://en.wikipedia.org/wiki/Wernicke%E2%80%93Korsakoff_syn...

1: https://en.wikipedia.org/wiki/The_Man_Who_Mistook_His_Wife_f...

Re:Peter Norvig critically reviews AlphaCode's code quality by nullish_signal on Saturday December 17, 2022 @11:50AM (#34029510)
In a new window/session. Same-session conversation memory has actually been good, if not too-good, as evidenced by un-prompted regurgitation of what it already helped me with 6 messages ago.
Re:Peter Norvig critically reviews AlphaCode's code quality by Scarblac on Saturday December 17, 2022 @02:45AM (#34025735)
It's the first search prompt where I feel myself starting with things like "hi ChatGPT,....".
Re:Peter Norvig critically reviews AlphaCode's code quality by OOPMan on Saturday December 17, 2022 @09:07AM (#34027849)
It is silly, it's magical thinking.
Re:Peter Norvig critically reviews AlphaCode's code quality by worldsayshi on Friday December 16, 2022 @08:09PM (#34023043)
What is the alternative to "if it behaves like thinking, it literally is thinking"?
Re:Peter Norvig critically reviews AlphaCode's code quality by jpttsn on Saturday December 17, 2022 @04:26AM (#34026268)
I'mma rant. "If it behaves like a hammer, then it literally is a hammer."

The Turing hand-wave is ingrained and prevents too many from reasoning clearly.

Definition of intelligence is nebulous. Still, we should recognize that whatever it is, it is a property of a system, not a property of its output/behavior. Like nuclear powered or hand-made. Unlike fast or industrial-strength.

Imagine: You have a submarine in front of you, and you want to determine if it's nuclear powered. You could guess, using you prior "what have I seen nuclear powered things be able to do historically". This fails when you're out of sample which you'll often for any new technology.

To spell it out: You have a machine in front of you, and you want to determine if it's intelligent. Things people have come up with: "can it chat?", "can it play chess?", "can it do math?", "can it create new artworks?", "can it fool me into falling in love with it?", "can it run a business?". None of these questions examine the system, only its outputs/behavior.

Humans keep developing machines with new outputs/behaviors. Naturally the "what output is a machine usually capable of?" is a bad set of priors in this context. Before flying machines, the can it fly? output/behavior would work pretty well to classify birds. Once the first flying machine arrives, that prior breaks down. If you keep using it to classify, you'd classify a flying machine as a bird. But bird-ness was never only about flight.

So yeah, gotta pop open the hood and see what it runs on. If that's hard to do, then that means we don't know what intelligence is and/or we don't know how our new toys work inside. Both are plausible. Who promised you that there would be a good way to see if something is intelligent?

I bet Turing appeals to the same kind of minds that (when weaker) get fooled by the intelligent design hypothesis. Observe the human eyeball. What's the alternative to believing the LORD created it? After all, your prior is that all complex objects have intelligent designers, that you know about. So arguing from ignorance of other alternatives, you prove to yourself that the LORD exists.

AI people then word-think their way into redefining intelligence. "Maybe the real intelligence was the chess-playing we made along the way?" This is epistemologically pointless; all you accomplish is that we now need a new word for "intelligence".

I've never seen a machine that can turn water into wine, but if someone showed me one, I would not say that machine "literally is Jesus". Whether I'm capable of popping open the hood or making sense of its inner workings doesn't actually have bearing on this question.

Re:Peter Norvig critically reviews AlphaCode's code quality by brap on Saturday December 17, 2022 @05:56AM (#34026721)
It seems then that the next step is not popping open the hood of the AI, but popping open the hood of ourselves, quite literally.
Re:Peter Norvig critically reviews AlphaCode's code quality by jpttsn on Saturday December 17, 2022 @06:08AM (#34026792)
Probably both necessary
Re:Peter Norvig critically reviews AlphaCode's code quality by throwaway1851 on Saturday December 17, 2022 @06:20AM (#34026853)
I agree. I also think that if you just take a step back and consider that ChatGPT is just a math function like y=7x-9 (but much longer), it becomes kind of absurd to ask questions about whether it is intelligent or it is on the path to consciousness or whatever. It’s a completely static thing: information flows through it in one direction and its internal configuration does not change as a result of receiving input. So unless we are going down a rabbit hole of considering if ordinary math functions are also intelligent, it would seem that ChatGPT is ineligible to begin with.
Re:Peter Norvig critically reviews AlphaCode's code quality by jameshart on Saturday December 17, 2022 @10:20AM (#34028438)
Chatgpt as a simple function certainly lacks ‘strange-loopness’ - it does not change its results based on experience. True.

But consider how it is employed in a conversation:

Its output is combined with new input and fed back in as the next set of input data. So the result of the function is ‘modified’ by previous experience.

There’s the beginning of the flicker of a strange loop there.

And that might be all it takes…

Re:Peter Norvig critically reviews AlphaCode's code quality by jameshart on Saturday December 17, 2022 @10:29AM (#34028508)
I’m not sure what you are lumping in under your idea of ‘the Turing handwave’ here. Is it the idea that the Turing test is sufficient to prove intelligence?

Personally I think that’s a misreading of what Turing meant when he proposed the test. In getting people to ask ‘can computers think?’ he wasn’t trying to get you to grapple with ‘can electronic hardware do something as special as thinking?’ - he wanted you to confront ‘is thinking actually special at all?’

I think he was trying to get people to grapple with the idea that brains can not be anything more than Turing machines - because there is nothing more than universal computation.

The only things a mind can possibly act on are its initial configuration, its accumulated experiences and the inputs it is receiving - and anything it does with that information can only ever be something computable.

And anything that can be computed by Turing machine A can be computed by equivalently powerful Turing machine B.

Re:Peter Norvig critically reviews AlphaCode's code quality by jpttsn on Saturday December 17, 2022 @01:56PM (#34030913)
Intent: not lumping in all of Turing's work, not the universal computation argument.

The hand wave spelled out: "Is there thinking going on inside a given machine? Let's propose a simple test. Look at what problems the machine can solve, and compare to what problems a thinking thing is known to be able to solve. If there is sufficient overlap, the machine must be thinking. Because we know of no non-thinking ways to solve these problems, so there must not be any".

Re:Peter Norvig critically reviews AlphaCode's code quality by tacitusarc on Saturday December 17, 2022 @10:59AM (#34028871)
I find this line of reasoning compelling. However, to attempt steel-manning the opposing view: isn’t classification a mechanism for categorizing based on observable properties? If we created something that mimicked all observable properties of a bird, why would that not be a bird? And if we created something with a majority of the properties of a bird, and the remainder were unknown, wouldn’t it be accurate to say it’s probably a bird?
Re:Peter Norvig critically reviews AlphaCode's code quality by jpttsn on Saturday December 17, 2022 @01:49PM (#34030857)
Do you like our owl?

Edit: TLDR/direct answer:

> If we created something that mimicked all observable properties of a bird, why would that not be a bird?

"Observable" is doing the heavy lifting. A sufficiently near-sighted bird-watcher does not a bird make.

---

Thanks for thoughtful steel-man. Here's a few stabs at why I disagree with this prima facie logical view.

Much powerful classification/identifying is certainly categorizing-based-on-observable-properties. But (I argue) that's importantly not all there is to classification/identifying.

Something that quacks like a duck can be considered "a duck for all intents and purposes", but the presumed limited subset of "intents and purposes" does the heavy lifting.

The Duck-approach: "to be one is to mimic all observable properties of one". This is a shortcut/heuristic that saves time and makes many cool answers possible. It is nonetheless only a heuristic, and many questions are outside the domain where this heuristic is useful.

- "Oh my god is this a real diamond?"

- "Oh my god is that a real fur?"

- "Is the Mona Lisa on public display in the Louvre the actual original?"

- "Is it still the ship of Theseus?"

- "Was this iron from a meteor?"

- "Did a man walk on the moon in 1969?"

- "Was this crack in your phone screen covered by the accidental damage insurance?"

i.e. there are problem domains where our notion of identity/classification must be more than the Duck-approach.

Getting philosophical. The problem with "to be one is to mimic all observable properties of one" is a hidden middle assumption: it's a shortcut constrained to cases where the set of "all observable properties" are (a priori known to be) close to "all properties that matter to the question".

But we can ask and reason about many questions where relevant properties are not easily observed, and distinguish

As a special case, "Is the machine thinking" can (to my mind obviously) not (yet) be usefully answered by categorizing-based-on-observable-properties. The word "thinking" refers to something that happens inside the mind, whether or not it's conscious. Until we know much more about the insides of minds, the "all observable properties" is a fuzzy indirect set of second-order human behaviors.

Re:Peter Norvig critically reviews AlphaCode's code quality by mannykannot on Sunday December 18, 2022 @11:26AM (#34039230)
Anyone who accepts (even as just a working hypothesis) that anyone other themselves has a mind, thinks, and is intelligent, is tacitly accepting "a fuzzy indirect set of second-order human behaviors" as useful.
Re:Peter Norvig critically reviews AlphaCode's code quality by jpttsn on Monday December 19, 2022 @06:27AM (#34050910)
Many may be, but as other comments state, arguments against solipsism don't all rely on behavior/performance:

Some non-Turing test arguments against solipsism.

- Humans are believed to be similar to me in origin

- Humans are made of the same physical stuff that I am made of

I personally think none of these conclusively solve the hard problem but they can motivate belief if you so choose.

Even so,

Requiring a Turing test to believe other humans as thinking/conscious seems uncommon to me. I don't think many people live in solipsistic doubt about other humans, and I don't think they actually test behaviors to convince themselves humans are conscious.

So I don't know if they're tacitly accepting the behavior as useful for categorization; I think they're mostly just assuming "humans == conscious" and if pressed will come up with behaviors-based explanation because that's easy to formulate.

Re:Peter Norvig critically reviews AlphaCode's code quality by mannykannot on Monday December 19, 2022 @09:35AM (#34052485)
I see that I will have to expand on my brief observation, but to get us on the same page, I will need to know what you mean by the premise "humans == conscious".

If this is to be taken as a statement of identity, I would regard it as a category error, but I will not expand on that here, as I doubt it is what you intended.

If it is to be taken as the claim that only humans could be conscious, I would regard it as both lacking any justification and begging the question.

I think you mean that people generally assume everyone else is conscious in much the same way as they themselves seem to be, which is essentially saying they hold a theory of mind. If so, then I agree with you, but where do we get it from?

I know of no argument that we are born holding this theory, and it seems implausible that we are, as we are born without sufficient language to know what it means. False-belief tasks suggest that we begin to develop it at about 15 months (they also suggest that some other animals have it to some extent.) At that age it is, of course, tacit (rather than propositional) knowledge.

It would be absurd to suggest that toddlers come to deduce this from some self-evident axioms. What does that leave? I don't think there are any suggestions other than the obvious one: we arrive at it intuitively from our observations of the world around us, and particularly other people.

Ergo, those of us who make use of a theory of mind came by it from observation of what you call "a fuzzy indirect set of second-order human behaviors", and no one, as far as I know, has come up with a better justification for believing it.

Re:Peter Norvig critically reviews AlphaCode's code quality by jpttsn on Wednesday December 21, 2022 @08:03AM (#34080170)
Yes, I meant to write ”human => conscious.” Theory of mind.

To the extent theory of mind is learned it’s obviously learned from “a fuzzy…”. No disagreement there. What’s your point?

My point was more that it’s usually not a Turing test; my grandma has never thought explicitly about any kind of test criteria for determining if theory of mind applies to my grandpa. She just assumed as people do.

People believe things without justification all the time. Even if obeserved human behavior is the best justification for ToM, doesn’t mean that’s the one any human used.

I don’t think we disagree about anything meaningful?

I’m not confident what causes theory of mind. But I think it’s very rarely propositional knowledge even in older humans.

Is theory of mind re-learned by each human individually from observations? You seem to make the case for this?

Theory of mind could also be innate; I’m not so convinced about the role of nurture in these things. I know people who are afraid of snakes yet have never encountered snakes.

Re:Peter Norvig critically reviews AlphaCode's code quality by mannykannot on Thursday December 22, 2022 @12:16AM (#34090102)
> What’s your point?

Well, let's go back to my original post in this thread, replying to one where you concluded with "until we know much more about the insides of minds, the 'all observable properties' is a fuzzy indirect set of second-order human behaviors." This statement, like your comments generally, is obviously made under the assumption that other people have minds, and my observation is that, as far as I know, there is no basis for that assumption other than what you call "a fuzzy indirect set of second-order human behaviors." Therefore, each of us individually is faced with a quadrilemma (or whatever the proper term is:) 1) Reject this fuzzy evidence, embrace solipsism, and cease assuming other people are conscious until we have a justification that avoids these alleged flaws; 2) Contingently accept, at least until we know more, the fuzzy evidence from human behaviors as grounds for thinking other people are conscious; 3) Inconsistently reject the fuzzy evidence without realizing that this currently leaves us with no basis for rejecting the solipsistic stance; 4) Like grandpa, don't pursue the question, at least until someone else has figured out more than can be learned from fuzzy observations of human behaviors.

You have suggested that our theory of mind is innate. This is not an unreasonable hypothesis, but I would like to raise two responses to that view, the first suggesting that it is implausible, and the second showing that it would not help your case anyway.

The first is the aforementioned evidence from false belief experiments, which strongly (though not conclusively) suggest that a theory of mind is learned (though ethical considerations limit how far such studies can be taken on human infants.) The existence of an innate fear of snakes would not refute this view.

The second is the question of how we acquire innate phobias. I am not aware of any plausible mechanism other than by natural selection, which is a multi-generational process of learning from what would be, at least in the case of a theory of mind, a fuzzy indirect set of second-order observables. Natural selection is, of course, a process that is explicitly modeled in our most successful machine-learning strategies.

Re:Peter Norvig critically reviews AlphaCode's code quality by iamflimflam1 on Saturday December 17, 2022 @06:17AM (#34026840)
Do you have a reference for that quote - it’s great.
Re:Peter Norvig critically reviews AlphaCode's code quality by mattmanser on Saturday December 17, 2022 @06:25AM (#34026883)
I found this:

the only way to know that a man thinks is to be that particular man. It is in fact the solipsist point of view. It may be the most logical view to hold but it makes communication of ideas difficult. A is liable to believe ‘A thinks but B does not’ whilst B believes ‘B thinks but A does not’. Instead of arguing continually over this point it is usual to have the polite convention that everyone thinks.

https://academic.oup.com/mind/article/LIX/236/433/986238

Re:Peter Norvig critically reviews AlphaCode's code quality by maweki on Saturday December 17, 2022 @02:45PM (#34031428)
Yeah, that's exactly the passage. Completely unquotable, therefore I usually paraphrase a bit.