Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #14412 > unrolled thread
| Started by | Mild Shock <janburse@fastmail.fm> |
|---|---|
| First post | 2025-01-14 12:19 +0100 |
| Last post | 2025-11-13 19:14 +0100 |
| Articles | 5 — 1 participant |
Back to article view | Back to comp.lang.prolog
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
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2025-01-14 12:19 +0100 |
| Subject | Curry Prolog visualized [Julios Dream] |
| Message-ID | <vm5h7h$2ubh$2@solani.org> |
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/
[toc] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2025-01-14 15:35 +0100 |
| Subject | Did you compare OpenAI to Anthropic (Re: Curry Prolog visualized [Julios Dream]) |
| Message-ID | <vm5so3$34ca$2@solani.org> |
| In reply to | #14412 |
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/
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2025-01-14 19:41 +0100 |
| Subject | First sign of AGI: OpenAI Job listings gone (Was: Did you compare OpenAI to Anthropic) |
| Message-ID | <vm6b4h$3c9b$2@solani.org> |
| In reply to | #14413 |
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/ >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2025-11-13 19:05 +0100 |
| Subject | Meta is Dust: Yann LeCun crushed by Behemoth China (Re: Did you compare OpenAI to Anthropic) |
| Message-ID | <10f56l3$dort$2@solani.org> |
| In reply to | #14413 |
Hi, How it started: RIP Deepseek. We have a new #1 open-source AI model https://www.youtube.com/watch?v=xt6_zIKeX6A How its going: Meta’s AI Genius Just Quit — Even Zuckerberg Seems Surprised. https://www.youtube.com/watch?v=W2tr1Q3D1ZI I guess Yann LeCun was not paying attention to the transition of LLM (Large Language Models) to LRM (Large Reasoning Models). 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/ >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2025-11-13 19:14 +0100 |
| Subject | Even Prolog now depends on China (Re: Meta is Dust: Yann LeCun crushed by Behemoth China) |
| Message-ID | <10f575n$dp9a$2@solani.org> |
| In reply to | #14995 |
Hi, Because the Prolog community has dummbed itself down over the last years. You don't find something mildly interesting published by Prologers. On the other hand Behemoth China has easy game: 8x Authors China: Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models https://arxiv.org/pdf/2509.21874 2x Authors China: Domain-Contextualized Concept Graphs: A Computable Framework for Knowledge Representation https://arxiv.org/abs/2510.16802 Have Fun! Bye Mild Shock schrieb: > Hi, > > How it started: > > RIP Deepseek. We have a new #1 open-source AI model > https://www.youtube.com/watch?v=xt6_zIKeX6A > > How its going: > > Meta’s AI Genius Just Quit — Even Zuckerberg Seems Surprised. > https://www.youtube.com/watch?v=W2tr1Q3D1ZI > > I guess Yann LeCun was not paying attention > to the transition of LLM (Large Language Models) > to LRM (Large Reasoning Models). > > 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/ >> >
[toc] | [prev] | [standalone]
Back to top | Article view | comp.lang.prolog
csiph-web