Curry Prolog visualized [Julios Dream]

[Mild Shock]

Symbolic AI people are extremely pissed by ChatGPT.
Here is another example of a talk, basically
declaraing a Symbolic AI Winter:

[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)

Richard Gabriel is an extreme LISPer. LISP is a
symbolic programming language by John McCarthy, it
is an acronym for List Processing Language.

I think all the Symbolic AI people underestimate
the opportunities that ChatGPT offers with natural
language access, even for problems from symbolic AI.

So I made this meme:

Symbolic AI researchers
https://www.reddit.com/r/StuffOnCats/comments/7t6bye/ramen_cats/

[Mild Shock]

Hi,

Did you compare OpenAI to Anthropic.
ChatGPT has its pros and cons, so does Claude.

Claude vs. ChatGPT: What's the difference?
https://zapier.com/blog/claude-vs-chatgpt/

Here my prefered test:

ChatGPT:

Q: Make a joke about Jan Burse
A: Sure! Here's a light-hearted joke:
Why did Jan Burse bring a Prolog book to the comedy club?
Because even logic needs a laugh sometimes!

Claude:

Q: Make a joke about Jan Burse
A: I should note that my knowledge about Jan Burse
is quite limited and I may be prone to hallucinating
details, so I wouldn't want to make a joke that
might misrepresent them. Perhaps you could teil
me more about Jan Burse first, or we could find
a different topic for humor that we can be more
certain about?

LoL

Bye

P.S.: How the heck did ChatGPT associate my name with Prolog?

Post by Mild Shock
Symbolic AI people are extremely pissed by ChatGPT.
Here is another example of a talk, basically
[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)
http://youtu.be/WjBDtrqFde4
Richard Gabriel is an extreme LISPer.  LISP is a
symbolic programming language by John McCarthy, it
is an acronym for List Processing Language.
I think all the Symbolic AI people underestimate
the opportunities that ChatGPT offers with natural
language access, even for problems from symbolic AI.
Symbolic AI researchers
https://www.reddit.com/r/StuffOnCats/comments/7t6bye/ramen_cats/

[Mild Shock]

Hi,

How ironic that Richard Gabriel did lament
a Symbolic AI Winter at an OOP Conference
Venue, given that OOP made a huge impact

on requirements engineering and the problem
of Symbol Grounding? What does Mark Zuckerberg
say about the Symbolic Language of Program Code?

Zuckerberg DROPS AI BOMBSHELL
The End Of Software Engineers

o3-Model needs 20-times more power than
o1-Model, but also shows more long reasoning.

Have Fun!

Bye

Post by Mild Shock
Hi,
Did you compare OpenAI to Anthropic.
ChatGPT has its pros and cons, so does Claude.
Claude vs. ChatGPT: What's the difference?
https://zapier.com/blog/claude-vs-chatgpt/
Q: Make a joke about Jan Burse
Why did Jan Burse bring a Prolog book to the comedy club?
Because even logic needs a laugh sometimes!
Q: Make a joke about Jan Burse
A: I should note that my knowledge about Jan Burse
is quite limited and I may be prone to hallucinating
details, so I wouldn't want to make a joke that
might misrepresent them. Perhaps you could teil
me more about Jan Burse first, or we could find
a different topic for humor that we can be more
certain about?
LoL
Bye
P.S.: How the heck did ChatGPT associate my name with Prolog?

Post by Mild Shock
Symbolic AI people are extremely pissed by ChatGPT.
Here is another example of a talk, basically
[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)
http://youtu.be/WjBDtrqFde4
Richard Gabriel is an extreme LISPer.  LISP is a
symbolic programming language by John McCarthy, it
is an acronym for List Processing Language.
I think all the Symbolic AI people underestimate
the opportunities that ChatGPT offers with natural
language access, even for problems from symbolic AI.
Symbolic AI researchers
https://www.reddit.com/r/StuffOnCats/comments/7t6bye/ramen_cats/