| Deutsch English Français Italiano |
|
<vm5h8t$2ubh$3@solani.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: Mild Shock <janburse@fastmail.fm> Newsgroups: sci.math Subject: Curry Prolog visualized [Julios Dream] Date: Tue, 14 Jan 2025 12:19:59 +0100 Message-ID: <vm5h8t$2ubh$3@solani.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 14 Jan 2025 11:19:57 -0000 (UTC) Injection-Info: solani.org; logging-data="96625"; mail-complaints-to="abuse@news.solani.org" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20 Cancel-Lock: sha1:GyguSjBKA4qhqRpCDx0dobyOri8= X-User-ID: eJwVysERACEIA8CW1EiAcpRI/yXc3L7XwMnyTeO2ti5WeITSVZONdpPVauHUQ8aiO288CsOFv/fBZeaAbo4PYfwVvw== X-Mozilla-News-Host: news://news.solani.org:119 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/