Live data from Hacker News

GPT-4 Designed a Programming Language

lukebechtel.com

291–300 of 338 posts

Re: GPT-4 Designed a Programming Language

#291

Earlier quoted context omitted.

Fast thinking/slow thinking by Daniel Kannerman (and the Unlocking Project) is a book people need to read and understand. When we slow think, we work things out, when we fast think we are parrots.

Hmm. If you want to argue that ChatGPT has half of what an AI needs, I could buy that a lot more than I buy "ChatGPT is the road to AGI". Do inference engines have the other half? Or Cyc plus an inference engine? Can that be coupled to ChatGPT? My own (completely uninformed) take is that such a coupled AI would be very formidable (far more than ChatGPT), but that it will be very hard to do so, because the representat…

I didn’t say half. I just said we have 2 ways of thinking.

Re: GPT-4 Designed a Programming Language

#292
post #262

Earlier quoted context omitted.

It's been a while, but wasn't it two AlphaGo versions? One that was trained on existing games and "trained" with existing engines. One that was retrained from scratch without any external input? I might be wrong.

Both had a program running it with real Go rules. We don't have a program that can run with the real rules for logic and text to train a language model from scratch.

AlphaGo Zero

It had basic rules of Go as an input.

Re: GPT-4 Designed a Programming Language

#293
post #256
post #154

Earlier quoted context omitted.

No but that does happen a lot of the time. The difference is that we can choose to engage the deductive engine to verify what the parrot says. Sometimes it's easier to do so (what's 17×9?) and sometimes it's harder (a ball and a bat costs $1.1 and the bat costs $1 more than the ball, what does the ball cost?)

You can ask ChatGPT to show it's working too. It's likely, for many things, (as it is with humans a lot of the time) that the way it does it when it walks you through the process is entirely different to how it does it when it just spits out an answer, but it does work. E.g. I asked it a lot of questions about the effects of artificial gravity using a rotating habitat a few days ago, and had it elaborate a lot of the…

Maybe we're getting close to what makes me doubt the utility of LLMs. Much like humans, they are quick to employ System 1 instead of System 2. Unlike humans, their System 1 is so well trained it has a response for almost everything, so it doesn't have a useful heuristic for engaging System 2.

Re: GPT-4 Designed a Programming Language

#294
I don't think this works... It looks like FetchPersons is free in the body of the receive, and I can't see any indication of the synchronization points in the actor. I mean, maybe every function in the actor is implicitly synchronized, but that's... a choice, and I think it needs other changes to work around that fact.

I actually tried to get Chatgpt to help me design a new language feature for C# and it was useless. Basically just gave me existing C#.

Re: GPT-4 Designed a Programming Language

#295

Earlier quoted context omitted.

> The advent of chatGPT had millions of people on the internet trying to downplay the intelligence of chatGPT by continuously trying to re-emphasize the things it gets wrong. This is a fundamental misunderstanding of the criticism. It is not that chatGPT is unreliable because chatGPT makes occasional errors. It is that chatGPT is not intelligent because the type of errors chatGPT makes are indicative of the fact that…

>This is a fundamental misunderstanding of the criticism. And this a fundamental misunderstanding of the criticism of the criticism. The problem here is that yes the occasional errors demonstrate certain flaws in it's understanding of some topic. The issue is there are many times where it produces completely novel and creative output that could not have existed in the training data and can only be formulated through…

> The problem here is that yes the occasional errors demonstrate certain flaws in it's understanding of some topic.

No, they demonstrate that the machine does not understand.

> The issue is there are many times where it produces completely novel and creative output that could not have existed in the training data and can only be formulated through complete and understanding of the query it was given.

What have you done to eliminate the possibility that it assembled the words algorithmically and the solution generated is something the reader constructed by assigning meaning to the text response? If the answer "can only be formulated through complete and understanding of the query it was given" then you must have eliminated this possibility.

> Understanding of the world around us is not developed through the lens of a singular model or a singular piece of understanding. We build multiple models of the world and we have varying levels of understanding of each model. It is the same with chatGPT. The remarkable thing about chatGPT understands a huge portion of these models really really well.

Where is the evidence that chatGPT understands a thing?

> There's literally no way it could do the above without understanding what you asked it to do. Read to the end. The end demonstrates awareness of self, relative to the context and task it was asked to perform.

Thats an interpretation of the text output that you assigned based on what the words in the text mean to you. I could just as easily say that Harry Potter is self-aware.

> Yet people illogically claim that for some other topic because chatGPT failed to correctly model the topic it therefore MUST be flawed in ALL of it's understanding of the world. This claim is not logical.

I don't think you understand what we're discussing.

Re: GPT-4 Designed a Programming Language

#296

This stuff makes me sick to my stomach. I hate this future. How can I continue my career when it is for progressing this monstrosity, watching it claw in another component of my humanity piece by piece? All I want to do is stroke oil paintings, hand written notes, products of the heart and the ernest mind. I feel dread that my life is over. These headlines are killing me inside. I wish I could more easily discriminat…

[deleted]

Re: GPT-4 Designed a Programming Language

#297

Earlier quoted context omitted.

Both had a program running it with real Go rules. We don't have a program that can run with the real rules for logic and text to train a language model from scratch.

AlphaGo Zero It had basic rules of Go as an input.

It also had a program giving it potential moves it could play, and explained to it when it had won the game. That isn't zero input. We don't have such programs for logic or text. So there will be no GPT zero, at least until we have already solved logic.

Re: GPT-4 Designed a Programming Language

#298
post #49

Earlier quoted context omitted.

A person who does understand how new technology works will see it as a dumb contraption. A person who doesn't understand how it works will see it as magic.

Lol no. That's just what you tell yourself to feel smart. They're are many who understand that don't think of it as dumb. "I think GPT-3 is artificial general intelligence, AGI. I think GPT-3 is as intelligent as a human. And I think that it is probably more intelligent than a human in a restricted way… in many ways it is more purely intelligent than humans are. I think humans are approximating what GPT-3 is doing, n…

A founder trying to sell a product by telling you the product is magic? Yeah, very trustworthy source there.

Re: GPT-4 Designed a Programming Language

#299

Earlier quoted context omitted.

You probably never had to work with one of the 99% of programmers in the world that are not of your level (I am assuming it is high, otherwise you might just be very scared saying all this, and rightfully so), but me, working in the fortune 1000 company space, worked with many. Most of my colleagues can readily be replaced by gpt-4 today as far as coding and documentation goes. They make the same errors as you notice…

Many humans have lost their jobs to dumb programs before. If your job is mostly copying code snippets and modifying them a tiny bit then yeah, you should worry, these language models are great at that. If you are doing more creative coding then it will probably take a while.

> Many humans have lost their jobs to dumb programs before

I do think really this is you’re not being in touch with most of reality and what most people on earth do daily at this moment. It definitely as nothing to do with the productivity you have and the drive you feel internally to ‘get shit done’. Most people, by a huge stretch, get education, want to do work what they are told to do related so that education and that’s it. They have no, at all, drive to ever move beyond that. They learned Angular on their first job; that’s it. Etc.

This is now replaceable; this is not, at all, comparable to automation before this. It’s a threshold; it you cannot see it, you definitely will be shocked in the coming years. This is not going away and it is replacing humans now on a small scale. The companies that really can just remove 90% of their staff are late always, but it will come. I see this all day because I work in massive orgs where this holds, not only for tech.

Re: GPT-4 Designed a Programming Language

#300

Earlier quoted context omitted.

Hmm. If you want to argue that ChatGPT has half of what an AI needs, I could buy that a lot more than I buy "ChatGPT is the road to AGI". Do inference engines have the other half? Or Cyc plus an inference engine? Can that be coupled to ChatGPT? My own (completely uninformed) take is that such a coupled AI would be very formidable (far more than ChatGPT), but that it will be very hard to do so, because the representat…

I didn’t say half. I just said we have 2 ways of thinking.

I just meant "half" in the sense that there are two major chunks that are needed. I did not mean that each "half" was used as much as the other, or was as much work to implement.
Post reply on HN