From: magardner2010 <magardner2010@gmail.com>
Subject: Re: ChatGPT
Date: Fri, 31 Mar 2023 14:04:55 +0300 [thread overview]
Message-ID: <u06eon$1cjen$1@dont-email.me> (raw)
In-Reply-To: <u06043$19uam$1@dont-email.me>
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.
next prev parent 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