Path: ...!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: Re: Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing in
 enlightenment)
Date: Fri, 15 Nov 2024 03:54:54 +0100
Message-ID: <vh6d5u$6ndu$1@solani.org>
References: <v32hjd$s3qh$1@solani.org> <v7g0du$475u$1@solani.org>
 <v7j9g9$643u$1@solani.org> <v7mem6$6uld$1@solani.org>
 <vfj2nk$1e8pq$1@solani.org> <vh6auj$6mca$1@solani.org>
 <vh6bcm$6mju$1@solani.org> <vh6bkn$6mlv$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Nov 2024 02:54:54 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="220606"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:/w/ZYazWaxse0TU0ps+P3YKAcNQ=
In-Reply-To: <vh6bkn$6mlv$1@solani.org>
X-User-ID: eJwNyMERACAIA7CVQChcx0HE/UfQZwILjU4PhOPiCp1uQhvN/XlqIaj7zx6Hdq2zvNSaSjlpsJEupLHnVj0nfxTv
Bytes: 2389
Lines: 33

How it started:

An exciting day! @spolsky called me and let me
know. Today's sale of Stack Overflow, most importantly,
lets Stack Overflow continue as an independent site --
and also mints 61 new millionaires.
Jeff Atwood - 6:47 PM · Jun 2, 2021
https://twitter.com/codinghorror/status/1400132013068218370

How its going:

Stack Overflow cuts 28% of its staff
https://techcrunch.com/2023/10/17/stack-overflow-cuts-28-of-its-staff/

Mild Shock schrieb:
> My objection was then that Prolog didn't do
> the proof only ChatGPT did it.
> 
> "But Prolog is supposed to search for proofs.
> What is the proof?"
> 
> It then continued with attempts like:
> 
> what_if_befriend(Person, Friend, Goal) :-
>      assert(friend(Person, Friend)),  % Assert the new friendship
>      Goal,  % Check the goal with the new friendship
>      retract(friend(Person, Friend)).  % Retract after checking the goal
> 
> Only the above will not work, since
> assert/1 cannot return a variable binding.
> 
> So what is the magic behind lambda-Prolog
> and hypothetical reasoning? lambda-Prolog
> not being in the scope of ChatGPT?