But ChatGPT has still to learn a lot, it
cannot make the link from Prolog to
lambda-Prolog to natural deduction.

Somehow after some questioning ChatGPT
presented me this Prolog code:

likes(john, pizza).
likes(mary, sushi).
likes(sam, burgers).

friend(john, mary).
friend(mary, sam).

likes_what_friends_like(Person, Thing) :-
friend(Person, Friend),
likes(Friend, Thing).

I then asked for a Prolog query that
solves the following question:

"who should john befriend so that we
can assume he likes burgers"

Interestingly ChatGPT strated using
Prolog and natural deduction on the meta
level, mentioning modus ponense, and answering

Proof via Natural Deduction:
Assumption: Assume friend(john, X) (where X = sam).

Apply the Rule: Since friend(john, sam) is true, and likes(sam, burgers)
is also true, we apply the rule likes_what_friends_like(john, Thing) and
infer likes_what_friends_like(john, burgers).

Conclusion: Therefore, likes_what_friends_like(john, burgers) holds,
which implies that John would like burgers if he befriends Sam.

Mild Shock schrieb:

Hi,

The cest pool of bit rot is finally gone:

(Bit rot, because they did everything in a
facist way ignoring your copyright to prevent
you from deleting you own out dated stuff)

CoincidenceIDontThinkSo
https://9gag.com/gag/abAG4oE

The Fall of Stack Overflow https://observablehq.com/@ayhanfuat/the-fall-of-stack-overflow

The downfall is related to the appearance of
ChatGPT. I feel pitty for Ulrich Neumerkel false
and others who spammed stackoverflow for years

with their infinite dif/2 nonsense.

Bye

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

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?

Mild Shock schrieb:

But ChatGPT has still to learn a lot, it
cannot make the link from Prolog to
lambda-Prolog to natural deduction.

Somehow after some questioning ChatGPT
presented me this Prolog code:

likes(john, pizza).
likes(mary, sushi).
likes(sam, burgers).

friend(john, mary).
friend(mary, sam).

likes_what_friends_like(Person, Thing) :-
    friend(Person, Friend),
    likes(Friend, Thing).

I then asked for a Prolog query that
solves the following question:

"who should john befriend so that we
can assume he likes burgers"

Interestingly ChatGPT strated using
Prolog and natural deduction on the meta
level, mentioning modus ponense, and answering

Proof via Natural Deduction:
Assumption: Assume friend(john, X) (where X = sam).

Apply the Rule: Since friend(john, sam) is true, and likes(sam, burgers)
is also true, we apply the rule likes_what_friends_like(john, Thing) and infer likes_what_friends_like(john, burgers).

Conclusion: Therefore, likes_what_friends_like(john, burgers) holds,
which implies that John would like burgers if he befriends Sam.

Mild Shock schrieb:

Hi,

The cest pool of bit rot is finally gone:

(Bit rot, because they did everything in a
facist way ignoring your copyright to prevent
you from deleting you own out dated stuff)

CoincidenceIDontThinkSo
https://9gag.com/gag/abAG4oE

The Fall of Stack Overflow
https://observablehq.com/@ayhanfuat/the-fall-of-stack-overflow

The downfall is related to the appearance of
ChatGPT. I feel pitty for Ulrich Neumerkel false
and others who spammed stackoverflow for years

with their infinite dif/2 nonsense.

Bye

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

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?

Mild Shock schrieb:

But ChatGPT has still to learn a lot, it
cannot make the link from Prolog to
lambda-Prolog to natural deduction.

Somehow after some questioning ChatGPT
presented me this Prolog code:

likes(john, pizza).
likes(mary, sushi).
likes(sam, burgers).

friend(john, mary).
friend(mary, sam).

likes_what_friends_like(Person, Thing) :-
     friend(Person, Friend),
     likes(Friend, Thing).

I then asked for a Prolog query that
solves the following question:

"who should john befriend so that we
can assume he likes burgers"

Interestingly ChatGPT strated using
Prolog and natural deduction on the meta
level, mentioning modus ponense, and answering

Proof via Natural Deduction:
Assumption: Assume friend(john, X) (where X = sam).

Apply the Rule: Since friend(john, sam) is true, and likes(sam,
burgers) is also true, we apply the rule likes_what_friends_like(john,
Thing) and infer likes_what_friends_like(john, burgers).

Conclusion: Therefore, likes_what_friends_like(john, burgers) holds,
which implies that John would like burgers if he befriends Sam.

Mild Shock schrieb:

Hi,

The cest pool of bit rot is finally gone:

(Bit rot, because they did everything in a
facist way ignoring your copyright to prevent
you from deleting you own out dated stuff)

CoincidenceIDontThinkSo
https://9gag.com/gag/abAG4oE

The Fall of Stack Overflow
https://observablehq.com/@ayhanfuat/the-fall-of-stack-overflow

The downfall is related to the appearance of
ChatGPT. I feel pitty for Ulrich Neumerkel false
and others who spammed stackoverflow for years

with their infinite dif/2 nonsense.

Bye

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Hi,

The cest pool of bit rot is finally gone:

(Bit rot, because they did everything in a
facist way ignoring your copyright to prevent
you from deleting you own out dated stuff)

CoincidenceIDontThinkSo
https://9gag.com/gag/abAG4oE

The Fall of Stack Overflow https://observablehq.com/@ayhanfuat/the-fall-of-stack-overflow

The downfall is related to the appearance of
ChatGPT. I feel pitty for Ulrich Neumerkel false
and others who spammed stackoverflow for years

with their infinite dif/2 nonsense.

Bye

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

The rot started when StackOverflow started violating their own Creative
Commons license and blocked competitors. The final nail in the coffin
was Overflow AI. If I wanted answers from a pretrained transformer, I'd
ask Claude or ChatGPT. Between that and the old problem of overzealous moderators deleting question left and right based on some technicality,
newbie hostile environment: You will not be missed.

P.S: Hope someone has a data dump of the StackOverflow Q&A and put it behind
a free API and nice interface for historical value, before the ship is sink
for good.

-----Original Message-----
From: Mild Shock <janburse@fastmail.fm>
Subject: Good Bye Stack-Overflow
Date: 11/15/2024 08:05:56 AM
Newsgroups: sci.math

Hi,

The cest pool of bit rot is finally gone:

(Bit rot, because they did everything in a
facist way ignoring your copyright to prevent
you from deleting you own out dated stuff)

CoincidenceIDontThinkSo
https://9gag.com/gag/abAG4oE

The Fall of Stack Overflow https://observablehq.com/@ayhanfuat/the-fall-of-stack-overflow

The downfall is related to the appearance of
ChatGPT. I feel pitty for Ulrich Neumerkel false
and others who spammed stackoverflow for years

with their infinite dif/2 nonsense.

Bye

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)