I wrote a toy SAT solver in J, and tried getting ChatGPT4 to make the same
thing.
It worked eventually, but took quite a lot of feedback to make it sensible.
The initial version looked plausible right off the bat, but there were lots
of bugs and hallucinations going on...
On Mon, May 8, 2023 at
It seems to prefer 3 : 0 explcit definition over {{}}. When I force it to {{}}
it doesn’t seem to use x and y parameters.
That is likely because the code base favors the original explicit definition.
As to the matrix multiplication:
It doesn’t seem to have any concept of J matrix multiplication
I guess one question is: does the mechanism understand J token formation?
For example, can you determine if it understands the difference
between +/ .* and +/.* ?
If so, can it recognize that + /. * is the same as +/.* ?
And, if so, does it recognize that {{ and { { are different while [[
and [
Forgive me for keeping my own thread alive.
This article at Hackernoon put together a comparison of Coding AI bots using
Leetcode questions as the stem:
https://hackernoon.com/how-ai-bots-code-comparing-bing-claude-co-pilot-gpt-4-and-bard
How AI Bots Code: Comparing Bing, Claude+, Co-Pilot, GPT
== Report of Meeting 2023-05-04 ==
Present: Ed Gottsman, Devon McCormick, Raul Miller, and Bob Therriault
Full transcripts of this meeting are now available on the its wiki page.
https://code.jsoftware.com/wiki/Wiki/Report_of_Meeting_2023-05-04
1) Since Ed has got to a point of polishing up the
