Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.prolog > #14412

Curry Prolog visualized [Julios Dream]

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Curry Prolog visualized [Julios Dream]
Date 2025-01-14 12:19 +0100
Message-ID <vm5h7h$2ubh$2@solani.org> (permalink)

Show all headers | View raw


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)
https://www.youtube.com/watch?v=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.

So I made this meme:

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

Back to comp.lang.prolog | Previous | NextNext in thread | Find similar | Unroll thread


Thread

Curry Prolog visualized [Julios Dream] Mild Shock <janburse@fastmail.fm> - 2025-01-14 12:19 +0100
  Did you compare OpenAI to Anthropic (Re: Curry Prolog visualized [Julios Dream]) Mild Shock <janburse@fastmail.fm> - 2025-01-14 15:35 +0100
    First sign of AGI: OpenAI Job listings gone (Was: Did you compare OpenAI to Anthropic) Mild Shock <janburse@fastmail.fm> - 2025-01-14 19:41 +0100
    Meta is Dust: Yann LeCun crushed by Behemoth China (Re: Did you compare OpenAI to Anthropic) Mild Shock <janburse@fastmail.fm> - 2025-11-13 19:05 +0100
      Even Prolog now depends on China (Re: Meta is Dust: Yann LeCun crushed by Behemoth China) Mild Shock <janburse@fastmail.fm> - 2025-11-13 19:14 +0100

csiph-web