• Curry Prolog visualized [Julios Dream]

    From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Tue Jan 14 12:19:15 2025
    From Newsgroup: comp.lang.prolog


    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/
    --- Synchronet 3.20c-Linux NewsLink 1.2
  • From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Tue Jan 14 15:35:49 2025
    From Newsgroup: comp.lang.prolog

    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?

    Mild Shock schrieb:

    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/

    --- Synchronet 3.20c-Linux NewsLink 1.2
  • From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Tue Jan 14 19:41:24 2025
    From Newsgroup: comp.lang.prolog

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

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

    Have Fun!

    Bye

    Mild Shock schrieb:
    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?

    Mild Shock schrieb:

    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/


    --- Synchronet 3.20c-Linux NewsLink 1.2