News for hackers. Stuff that matters.
Re:GPT-4 Designed a Programming Language by yowzadave on Thursday March 16, 2023 @01:58AM (#35178646)
Last year, when Blake Lemoine was fired by Google for claiming his AI was sentient, a lot of people on this website sensibly noted that the danger of these chatbots was not that they were sentient, but that average people could easily be tricked into thinking that they were.

And now here we are: it seems we tech people are every bit as susceptible to this kind of thinking as the average joes we looked down on.

Actually look at this “language” that GPT-4 has written: it’s just a mishmash of features from the most commonly blogged-about existing programming languages. It has no conceptual insights, no original ideas, no taste that isn’t cribbed from one of the few languages it’s copying from.

There are cases where getting a short distillation of the mean opinion of The Internet is useful. But designing a new programming language is clearly not one of them, mostly because the chatbot is not “designing” a language—it is guessing the most likely response to a question about programming languages.

Re:GPT-4 Designed a Programming Language by avgcorrection on Thursday March 16, 2023 @02:24AM (#35178802)
> And now here we are: it seems we tech people are every bit as susceptible to this kind of thinking as the average joes we looked down on.

More. We’re more suspectible.

We are the people who take the Turing Test as an objective test of GAI, after all, instead of looking at it like a test for those robot birds in nature shows that fool real birds into thinking that they’re one of them; from an objective standpoint (not relative to those birds), such robots have not demonstrated that they are birds. Only that they imitate them well enough to fool real birds.

Re:GPT-4 Designed a Programming Language by zuminator on Thursday March 16, 2023 @02:42AM (#35178906)
The Turing Test isn't meant to be an objective test of GAI. It's meant to replace a question that might be too vague or philosophically contentious to be answerable, "Can machines think?" with an answerable one, "Can a machine successfully fool a person into thinking it's a person?" So a robot bird that fools real birds arguably has passed the Avian Turing Test. (Also, arguably the Turing Test is by definition subjective.)
Re:GPT-4 Designed a Programming Language by avgcorrection on Thursday March 16, 2023 @03:02AM (#35179033)
> The Turing Test isn't meant to be an objective test of GAI. It's meant to replace a question that might be too vague or philosophically contentious [snip]

Correct in that that was what Turing intended. But the vulgar interpretation of it makes it out to be more than it really is.

For Pete’s sake: two years ago I even saw a psychologist who suggested that psychologists should take notes from how computer science ostensibly measures “intelligence” by the Turing Test, because it’s so “objective”. That was sad.

Re:GPT-4 Designed a Programming Language by RHSman2 on Thursday March 16, 2023 @02:39AM (#35178885)
The question is when does guessing become a moot point?

AlphaGo guessed it’s way to being the best.

Can something guess it’s way to evolving into a less guessy thing? I think so. Look at us?

I am aware of how it works and used to be ‘it’s ok, it won’t happen’ but now I am actually pretty concerned.

We think GAI as the thing but there maybe a reality that doesn’t require full GAI to completely unhinge us.

I mean, what is the point? It only plays to the negatives of our society. We don’t need it. It allows for ‘do more’ but what cost does that ‘do more’ come with?

Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @02:42AM (#35178907)
> AlphaGo guessed it’s way to being the best.

No it didn't, AlphaGo was backed by an algorithm that perfectly understood go and used that to train itself to play go better. That is a completely different situation.

If you tried to make a go engine that only tried to replicate old moves then you'd have a hard time making it perform valid moves. ChatGPT is like such an engine and we just made it perform valid moves most of the time, and now people say "now that it can make valid chess moves it is only a matter of time until it beats masters!". No just statistically reproducing human moves wont lead to a smart chess engine, so why would you think that would make a smart text engine?

Re:GPT-4 Designed a Programming Language by oezi on Thursday March 16, 2023 @03:24AM (#35179165)
Because it is not just reproducing existing moves. An LLM can come to acquire a model which models the structure of moves (in chess for instance using letter an number indexing of board positions), the checking of valid moves and the valuation of board positions.

It seems surprising that training an LLM would result in layers/weights which contain such representations but it seems that this is indeed an efficient representation of information in the same way that neural nets would learn addition by encoding textual integers into floats.

Re:GPT-4 Designed a Programming Language by RHSman2 on Thursday March 16, 2023 @03:05AM (#35179056)
You are too close.

AlphaGo was trained with tech. It beat humans.

ChatGPT et al are being trained.

Everyone is arguing the inner workings of what is in the box. It doesn’t matter.

The usage of the box(s) is what will be the big impact.

Previously those boxes couldn’t be relied upon so stayed down in the hierarchy of usefulness.

Now. They are rising.

Re:GPT-4 Designed a Programming Language by fho on Thursday March 16, 2023 @04:52AM (#35179653)
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.
Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @04:57AM (#35179676)
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.
Re:GPT-4 Designed a Programming Language by RHSman2 on Thursday March 16, 2023 @11:22AM (#35183163)
AlphaGo Zero

It had basic rules of Go as an input.

Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @11:47AM (#35183509)
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 by RHSman2 on Thursday March 16, 2023 @01:34PM (#35185253)
What is your point out of interest?
Re:GPT-4 Designed a Programming Language by oska on Saturday March 18, 2023 @10:10PM (#35215296)
Not the person who you posed the question to, but I believe their point may be that Go is a fully described game, a constrained 'space' even if that space is remarkably deep.

Our world is not a fully described game (unless you want to take a radical philosophical position, and in which case we still don't know the rules of this game). We talk about and think about this world in language. Training a machine on human language and then after training, having that machine take language inputs and generate language outputs is not the same as training a machine to 'play' Go because the two worlds they have been trained in (1. the game of Go; 2. the real world) are fundamentally not equivalent.

Re:GPT-4 Designed a Programming Language by AnimalMuppet on Thursday March 16, 2023 @08:54AM (#35181234)
That would be an interesting experiment. Take something like ChatGPT, train it to play tic-tac-toe and reversi and chess and go. Tic-tac-toe it will probably be unbeatable. How does it do at chess and go? Is there a level of difficulty of the game where its ability to master it tops out?

Can ChatGPT(-ish), trained on a ton of games, beat AlphaGo?

Re:GPT-4 Designed a Programming Language by xlii on Thursday March 16, 2023 @02:28AM (#35178828)
Well put. I share the sentiment.

I used GPT-3/3.5/4 for multiple tasks and I never found it useful. It just feels… average.

It can “answer” many questions correctly but that’s only on the data set it’s been training on. I asked it to solve Elixir issues, write Elisp snippets, figure out why my Rust code was complaining about lifetimes and even went for easy mode and asked for JavaScript code.

Only JavaScript (very popular) responses were workable but they still had popular problems included in it (e.g. not clearing out timers or dealing with common edge cases). Elixir “hints” were very interesting since - when out of water - it would produce code assuming that it’s a OOP and that was a rabbit hole it declined to exit.

Too technical? Went for fun with family members who have exceptional cooking skills. We tried to figure out a dish variation of an apple pie. Suggestions were heavily criticized as non workable for many reasons (too sugary, consistency wouldn’t be too good, modification change the ingredients but GPT refuse to break of out theme etc.)

Colin Meloy made an experiment some time ago and created The Decemberists-like song with it and then actually recorded it. It worked but it was described as below average and bland. I share that vibe.

In the end I have this feeling that GPT is on a level of 7 year old with an access to vast library. It uses proper grammar it can copy parts of texts, but one needs to provide it with a great benefit of doubt and energy just so that it’s useful.

In contrast to 7 year old, GPT isn’t grateful for that sacrifice and is actually making money of you.

Re:GPT-4 Designed a Programming Language by anonzzzies on Thursday March 16, 2023 @03:21AM (#35179145)
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 noticed gpt make (which I have to fix usually), only gpt does it in seconds vs hours and practically for free. By replacing all these people, I don’t have to build in the overhead of communicating with them (I just copy the jira task in gpt with some context and a few seconds later I have something better than most my colleagues write in 2-3 hours, on a good day), and they are happier doing nothing anyway. The company won’t fire them probably as managers get paid more and promoted more ‘managing’ more people.

This is not an exception either; teams like mine exist in every large enterprise. I worked in several of them and this AI makes life so much better. Let’s not pretend it makes certain outsourcing countries not fully obsolete though, to the tune of 10s of millions+ programmers, data entry workers, text producers (bloggers for seo, docs no one reads etc) and more are mostly all already worse than gpt3.5 and 4. Wait for 6 or 7.

Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @03:33AM (#35179213)
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.
Re:GPT-4 Designed a Programming Language by anonzzzies on Thursday March 16, 2023 @03:37AM (#35179238)
Yes, totally correct. I am just saying what I see as the norm; the norm is not you and me or many other HNers. They should worry in my opinion. I see it every day, and worse, none of them even heard of gtp or copilot.
Re:GPT-4 Designed a Programming Language by anonzzzies on Thursday March 16, 2023 @12:19PM (#35184085)
> 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 by jackstraw14 on Thursday March 16, 2023 @03:24AM (#35179167)
> In the end I have this feeling that GPT is on a level of 7 year old with an access to vast library.

It's probably more like a 14 year old but I think you're probably right. It can give step-by-step instructions and even the code to set up entire web apps, but it's only when you go through those steps that you find the issues. Packages out of date, less-than-optimal ways of handling non-obvious cases, and I've even found it trying to use javascript functions that have never existed. To its credit, it apologizes and tries again when I call it out. Maybe GPT-5 will be the real one to worry about.

Re:GPT-4 Designed a Programming Language by runnerup on Thursday March 16, 2023 @08:23AM (#35180950)
> I used GPT-3/3.5/4 for multiple tasks and I never found it useful.

I’ve found it useful for drafting cover letters (I just need to do final edits).

I’ve also found it useful as an adjunct to google when I’m searching for niche things like “Luxury resorts with activities for my dog and lots of off-leash trails”.

So far that’s it, but it does seem like a useful addition to Google search for super niche things. Obviously it hallucinates a lot on these niche edge cases but it gives some great starting points.

Re:GPT-4 Designed a Programming Language by midoridensha on Thursday March 16, 2023 @09:33PM (#35191652)
>Colin Meloy made an experiment some time ago and created The Decemberists-like song with it and then actually recorded it. It worked but it was described as below average and bland. I share that vibe.

So... this early-stage AI was able to make music that's better than the vast majority of commercial recording artists these days? I fail to see how that's a failure.

Re:GPT-4 Designed a Programming Language by cyclotron3k on Thursday March 16, 2023 @02:14AM (#35178755)
It seems only yesterday that we were marvelling at the capabilities of ChatGPT - it's ability to parse the sum knowledge of humankind and synthesise not trivial responses to questions we posed.

But look how far we've come since those heady and carefree days. We're already able to pour buckets of scorn on its capabilities, and brush them aside as if designing a language (albeit a derivative and uninspired one) is a trivial task that any human could achieve.

Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @02:18AM (#35178777)
> We're already able to pour buckets of scorn on its capabilities

No we don't, we are just trying to put a damper on all the "the singularity is here!" style comments that seems to flood any discussion about GPT.

Re:GPT-4 Designed a Programming Language by KyeRussell on Thursday March 16, 2023 @02:56AM (#35178983)
Oh please. This community is filled to the brim with people that are addicted to negativity and contrarianism. LLM criticisms very typically go far far beyond “this isn’t the singularity”, well toward “LLMs do nothing of value, snd certainly can’t I - the esteemed developer - with anything I find hard in my job!”
Re:GPT-4 Designed a Programming Language by adt on Thursday March 16, 2023 @03:39AM (#35179248)
>Oh please. This community is filled to the brim with people that are addicted to negativity and contrarianism. LLM criticisms very typically go far far beyond “this isn’t the singularity”, well toward “LLMs do nothing of value, snd certainly can’t I - the esteemed developer - with anything I find hard in my job!”

Yep. Welcome to HN. And welcome to the majority of humanity!

https://lifearchitect.ai/contrarianism/

https://lifearchitect.ai/why-does-ai-make-you-so-angry/

https://lifearchitect.ai/ai-panic/

Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @03:05AM (#35179057)
Not many say "LLMs do nothing of value". Many comments say LLMs aren't useful to them, but I haven't seen many say that LLMs aren't useful at all.
Re:GPT-4 Designed a Programming Language by UncleEntity on Thursday March 16, 2023 @03:33AM (#35179212)
I’ve seen countless comments stating that it is just predicting the next token, move along, nothing to see here.
Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @03:59AM (#35179358)
That is literally what LLMs do though. Those comments try to explain how it works so you better can see how it produced the results you see, they aren't trying to say that the program is worthless just that it isn't the magic some people think it is.

These models are trained to produce text snippets that look like text snippets it has seen before, and it has seen all internet. That means it can do a lot of impressive things, but also that it is very dumb in other ways.

Re:GPT-4 Designed a Programming Language by dm33tri on Thursday March 16, 2023 @04:32AM (#35179558)
These comments are deceptive. Yes, this is how LLMs work, but that doesn't mean they only repeat things they have seen before. LLMs are capable of following instructions to construct new words in any language they know, words never seen before.

I've seen it being dumb in maths or real world problems. But as a large language models, they understand and speak languages fine, and even mistakes they make look like mistakes humans who are not natives in the language would make.

We may as well say that when we speak, we are just predicting words we have trained on. I don't see how these models are worse than people in that regard.

The general knowledge and thinking of these models are surely limited. But seeing GPT-4 go from text only input to text with images, I think it is very possible to break the barriers very soon.

Re:GPT-4 Designed a Programming Language by oska on Saturday March 18, 2023 @09:28PM (#35215047)
Ok, since you called out the gp comment as 'deceptive', I in turn am going to call you your comment (and others like it) as delusional, and point to specific places in your comment that exhibit this state of delusion (about LLMs).

> they understand and speak languages fine

No, they neither 'understand' nor 'speak' languages. The first word here is the more delusional, they have no understanding of languages. They have simply generated a model of the language. And they do not 'speak' the language they have modeled; they generate text in that language. Speaking generally implies an active intelligence; there is no intelligence behind an LLM. There is simply a machine generating (wholly derivative) output text from input text.

> We may as well say that when we speak, we are just predicting words we have trained on

This is the delusion, commonly being repeated, that humans themselves are only LLMs. This is a dangerous delusion, in my view, and one that has no evidence behind it. It is only a supposition, and a sterile and nihilistic one in my view.

> The general knowledge and thinking of these models are surely limited [...] I think it is very possible to break the barriers very soon

The limitations are fundamental to LLMs. LLMs have no general knowledge and LLMs don't do any 'thinking'. Your understanding of what they are doing is in grave error, and that error is based on a personification of the machine. An error coming from the delusion that because they generate 'natural' language they are operating similarly to us (false and addressed above). They are never going to break the limits because they have never started to transcend those limits in the first place, nor can they. They don't and will never 'think' or 'reason'.

Re:GPT-4 Designed a Programming Language by geraneum on Thursday March 16, 2023 @02:37AM (#35178882)

  > designing a language (albeit a derivative and uninspired one) is a trivial task that any human could achieve.
It is, isn’t it? You just need to be able to read and write words and symbols that reassemble a programming language coherently and follow the pattern. This is what humans do after all; remixing. Anyone can do this.
Re:GPT-4 Designed a Programming Language by eitland on Thursday March 16, 2023 @02:48AM (#35178936)
Sorry if I am missing something here, but I think we all know well functioning, productive humans, maybe even in our field, who wouldn't have been able to create this language or a similarly well thought out one.

I know a competent man should be able to "change a diaper, plan an invasion, butcher a hog, conn a ship, design a building, write a sonnet, balance accounts, build a wall, set a bone, comfort the dying, take orders, give orders [...]" and what not and specialization is for insects, but even on the Mysterious Island not everyone is Cyrus Smith (Harding).

Re:GPT-4 Designed a Programming Language by geraneum on Thursday March 16, 2023 @03:10AM (#35179087)
I think you are missing my sarcasm. I don’t think every human can design a well thought out language, let alone an LLM. I was trying to point out that we are more than this. More than what humans are being demoted to in some HN comments recently. My problem is with the some characterizations of humans here.
Re:GPT-4 Designed a Programming Language by KyeRussell on Thursday March 16, 2023 @02:57AM (#35178993)
Don’t bother. Hacker News takes the throne for “I could do this in a weekend” rhetoric.
Re:GPT-4 Designed a Programming Language by lostmsu on Thursday March 16, 2023 @09:58AM (#35182032)
"in a weekend" now is too slow. They'd have to do it in 5 minutes or even less.
Re:GPT-4 Designed a Programming Language by sbergot on Thursday March 16, 2023 @02:34AM (#35178860)
ChatGPT is both impressive and scary. We know how things work: there is no way to slow down this train. However it is already having an impact on things like education. Teacher don't have good enough tools to detect cheaters, and students are going to suffer because of that. Honest ones will be wrongly accused. Cheaters will get good grades. The only solution I see is to ban any graded homework.

What will be the other impacts?

Re:GPT-4 Designed a Programming Language by dgb23 on Thursday March 16, 2023 @03:17AM (#35179124)
Students have been “cheating” with homework forever. Many get help from their parents and some even have professional help. Many collaborate or copy.

This is just another tool in the student’s toolbox and should be treated as such.

Re:GPT-4 Designed a Programming Language by dzhiurgis on Thursday March 16, 2023 @04:31AM (#35179553)
> ban any graded homework.

Modern countries don't do homework, other than reading, for ages

Re:GPT-4 Designed a Programming Language by alto22 on Thursday March 16, 2023 @02:19AM (#35178784)
Aren't all new languages a mishmash of older languages, even?
Re:GPT-4 Designed a Programming Language by marviel on Thursday March 16, 2023 @02:12AM (#35178737)
I agree with your point about the dangers of chatbots being mistaken as sentient. And I also recognize the dangers of the self-improving systems like this in general -- that's why I'm not letting it run loose with a LangChainAI Agent script to self-execute a new language (though wouldn't that be fascinating??)

While the language it generated needs refinement, the design process is iterative, and it takes time to develop a programming language that is worth using.

I encourage you to consider how you would approach designing a programming language. Like you, I would likely start by incorporating my favorite features from languages I love and addressing problems I've encountered in the past, similar to the dialogue GPT and I have in the post.

As I mention in the post -- creativity often involves remixing existing ideas, and GPT-4's attempt at generating a programming language is no exception. Notably, it also called out explicitly the constructs it was borrowing from other languages when designing the language.

It's worth noting that this was GPT-4's initial attempt at something highly complex, and even if there are "plot holes" -- it's a noteworthy achievement in and of itself.

Re:GPT-4 Designed a Programming Language by geraneum on Thursday March 16, 2023 @02:25AM (#35178807)

  > As I mention in the post -- creativity often involves remixing existing ideas
This is carrying the weight of your core argument. It’s not wrong but it’s not completely correct either.

Creativity involves remixing but is not all remixing. Is it? Not even all humans are at the same level in this. Number of attempts means nothing if you don’t add features that the LLM desperately needs to be grounded in the reality, or perform logical reasoning beyond RLHF.

Re:GPT-4 Designed a Programming Language by marviel on Thursday March 16, 2023 @02:43AM (#35178910)
You're totally right -- random recombination isn't good enough. not trying to make that case at all.
Re:GPT-4 Designed a Programming Language by krupan on Thursday March 16, 2023 @02:23AM (#35178799)
Ok, but take a step back and really look at the whole situation here. So you've created a machine that solves problems in kind of the same way humans do. Yay? What overall problem is a machine like this solving? How is this better than just having a human do the job? It seems to have most of the same drawbacks as humans, and then some on top of that
Re:GPT-4 Designed a Programming Language by marviel on Thursday March 16, 2023 @02:36AM (#35178875)
It's a hard question to be honest. If you look at the incentives involved, people are very incentivized to create these machines to reduce the amount of toil humans have to endure. I don't disagree about the risks at scale of something like this; as I mention in the post -- I don't get pure warm fuzzies about this at all. But I also don't know how to stop AI progress, because the incentives to keep it going are so real.

Government regulation has been brought up multiple times, most recently by Sama himself on twitter. I think it will have to come, but I don't know what flavor it should take.

Re:GPT-4 Designed a Programming Language by justinclift on Thursday March 16, 2023 @02:32AM (#35178844)
> How is this better than just having a human do the job?

The cynical take is quite clearly: "Because sales people can sell it"

eg wrap some pretty UX around it, tell people it's "nearly human", then have your sales people try and get non-technical CxO types (or consultancies) to cut them a cheque

Re:GPT-4 Designed a Programming Language by ummonk on Thursday March 16, 2023 @02:42AM (#35178908)
I don’t have a massive pool of skilled slave labor I can delegate work to, but I can delegate work to ChatGPT.
Re:GPT-4 Designed a Programming Language by KyeRussell on Thursday March 16, 2023 @02:59AM (#35179009)
What!? Look back at the last few hundred years, where the majority of great leaps have been the result of getting a machine to do something that humans did.
Re:GPT-4 Designed a Programming Language by habitue on Thursday March 16, 2023 @02:05AM (#35178683)
Yeah, I find llms are really useful for taking premises you supply, and trying them out, or exploring inconsistencies in them. It's decent at the synthesis kind of creativity (mashups, remixes, etc) but it isn't smart enough yet to make really big inferential leaps that we would consider more original.
Re:GPT-4 Designed a Programming Language by sparkie on Thursday March 16, 2023 @02:55AM (#35178975)
> It’s just a mishmash of features from the most commonly blogged-about existing programming languages. It has no conceptual insights, no original ideas, no taste that isn’t cribbed from one of the few languages it’s copying from.

It will also learn all the bugs and reproduce them.

Programmers who think ChatGPT is going to replace their job must have a very low opinion of their own skill set.

Re:GPT-4 Designed a Programming Language by Jensson on Thursday March 16, 2023 @02:58AM (#35178998)
It will also combine correct things in incorrect ways, so even if everything it is trained on is correct it will still print incorrect things.

We see it in this article, both the statement "Indentation-based scoping, similar to Python" and the code with bracers were probably correct in their original contexts, but combined they are no longer correct. LLMs will make such errors no matter what kind of data you train it on, there is no known way to avoid that class of errors.

Re:GPT-4 Designed a Programming Language by sparkie on Thursday March 16, 2023 @03:01AM (#35179024)
Yes, and imagine if StackOverflow questions are part of the training material. The "AI" will be learning from unfinished/unworking code samples.
Re:GPT-4 Designed a Programming Language by hkt on Thursday March 16, 2023 @03:06AM (#35179063)
> Programmers who think ChatGPT is going to replace their job must have a very low opinion of their own skill set.

As a devops guy I live in fear of anything that can copy and paste from stackoverflow faster than I can.

Re:GPT-4 Designed a Programming Language by dgb23 on Thursday March 16, 2023 @03:13AM (#35179102)
I fully agree with your sentiment.

However I want to add that it does the guesswork and the presentation surprisingly well to a degree that it’s effective in certain contexts.

The more people think of this as a tool that they can use and master, the more they will benefit from it.

Re:GPT-4 Designed a Programming Language by amoss on Thursday March 16, 2023 @03:17AM (#35179122)
The interesting part of the exchange is the contrast between the surface level syntax of the exchange and the semantics below. It reminds me of teaching in a lot of ways. The level of polish on the immediately apparent surface level of the conversation is very high: reasonable tenents, good justification and ability to explain them.

But then applying them directly into an example falls down a bit. The language is a bit of a mismash and parts of it might not work semantically. The use of actors looks a bit out of place, and raises a lot of questions about how the memory management and scheduling is working under the hood. Despite the bold aims in the tenents thre is nothing in the language exposed so far that addresses them: why would the language produce more modular code in the large? what features of the syntax would increase the level of abstraction in code written? etc etc

Overall this would warrant a (barely) passing grade by modern standards, i.e. it can regurgitate the material succesfully but without demonstrating any deep understanding. I find the result quite interesting as it demonstrates how much of what we judge to be quality is actually fitting a particular pattern of response (w.r.t a specific field of study) rather than exploring the material more deeply.

I like the use of the arrows in the function definitions though :) I've seen that somewhere before and will be "appropriating" it for the project that I'm currently working on.

Re:GPT-4 Designed a Programming Language by UncleEntity on Thursday March 16, 2023 @03:30AM (#35179198)
> I like the use of the arrows in the function definitions though :) I've seen that somewhere before…

Python type hints probably.

I (ab)used them for good effect when I was fiddling around with the spark earley parser that used to be part of the python build system.

Re:GPT-4 Designed a Programming Language by dunefox on Thursday March 16, 2023 @04:01AM (#35179368)
Also haskell signatures, for example.
Re:GPT-4 Designed a Programming Language by amoss on Thursday March 16, 2023 @06:28AM (#35180165)
lol, of course. I hadn't realised it is so long since I wrote any Haskell...
Re:GPT-4 Designed a Programming Language by fho on Thursday March 16, 2023 @04:49AM (#35179637)
It actually comes from math notation and was used in ML-type languages long before python.
Re:GPT-4 Designed a Programming Language by mikrotikker on Saturday March 18, 2023 @03:53AM (#35207091)
But it could be a good starting point for a group of humans to take, polish and maintain as a new language.

Not sure why need any new languages when we have the perfection that is Golang tho.

Re:GPT-4 Designed a Programming Language by 28304283409234 on Thursday March 16, 2023 @03:29AM (#35179189)
99.9999 percent of humans are no more than copiers of other people's ideas. With no conceptual insight, no original ideas, etc etc. That doesn't mean they're not sentient. :-)
Re:GPT-4 Designed a Programming Language by oska on Saturday March 18, 2023 @10:15PM (#35215320)
This is (arrogant) misanthropy, and I see far too much of it on forums that contain significant numbers of people who consider themselves more 'enlightened' than the common man (reddit being a prominent example).
Re:GPT-4 Designed a Programming Language by nailer on Thursday March 16, 2023 @03:49AM (#35179301)
The thing is most humans also have no taste. New programming languages are regularly released with noisy syntax by actual people.
Re:GPT-4 Designed a Programming Language by tpoacher on Thursday March 16, 2023 @10:13AM (#35182245)
Whenever there is a simple error that most laymen fall for, there is always a slightly more sophisticated version of the same problem that experts fall for.

--Amos Tversky

Re:GPT-4 Designed a Programming Language by camillomiller on Friday March 17, 2023 @04:55AM (#35194727)
I would provocatively say that GPT-4 is the stupid sentient being's idea of an intelligent sentient being.
Re:GPT-4 Designed a Programming Language by dragonwriter on Friday March 17, 2023 @04:59AM (#35194741)
> Actually look at this “language” that GPT-4 has written: it’s just a mishmash of features from the most commonly blogged-about existing programming languages. It has no conceptual insights, no original ideas, no taste that isn’t cribbed from one of the few languages it’s copying from.

On the one hand, I agree.

On the other hand, I see some variant of this comment on HN about every new language, so...