help / color / mirror / Atom feed
From: magardner2010 <>
Subject: Re: ChatGPT
Date: Fri, 31 Mar 2023 14:04:55 +0300	[thread overview]
Message-ID: <u06eon$1cjen$> (raw)
In-Reply-To: <u06043$19uam$>

On 31/03/2023 09:54, Dmitry A. Kazakov wrote:
> On 2023-03-31 01:00, Jeffrey R.Carter wrote:
>> On 2023-03-30 23:49, Anatoly Chernyshev wrote:
>>> What do you think?
>> No doubt there are a large number of such programs in the training 
>> data. If it had simply regurgitated one of those, at least the program 
>> would have compiled. That it couldn't even do as good as that is not 
>> impressive.
> Right. Fun would be adding qualifiers to the request. E.g. "in extended 
> precision", "taking arguments from user input" etc. Parroting works up 
> to some limit.

I have been trying to get chatGPT to help me with a larger Ada project 
on and off for the past few months. It not only has no idea regarding 
what functions do and do not exist in a given library, but it sometimes 
doesn't even understand how private types or tasks work. I will admit, 
those are not necessarily super common, but given how easy Ada makes it 
to use them, I can honestly say that Ada is the only language in which I 
am comfortable writing multithreaded programs that require more 
sophistication than a simple fork() call.

So, yeah. ChatGPT knows the syntax of Ada, and it is familiar with 
Ada.Text_IO's more common functions. It knows about the existence of 
GNAT.Sockets and AdaSockets, but it has no idea on how to use them.

I would be quite confident that that is pretty much it as far as ChatGPT 
and Ada goes.

  reply	other threads:[~2023-03-31 11:04 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-30 21:49 ChatGPT Anatoly Chernyshev
2023-03-30 22:32 ` ChatGPT Jerry
2023-04-01 12:10   ` ChatGPT Hou Van Boere
2023-03-30 23:00 ` ChatGPT Jeffrey R.Carter
2023-03-31  6:54   ` ChatGPT Dmitry A. Kazakov
2023-03-31 11:04     ` magardner2010 [this message]
2023-03-31 21:44     ` ChatGPT Anatoly Chernyshev
2023-04-01  7:39       ` ChatGPT Dmitry A. Kazakov
2023-04-07  1:51         ` ChatGPT Ken Burtch
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox