Re: Good Bye Stack-Overflow

On 11/14/2024 6:36 PM, Mild Shock wrote:

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

 

Try making some dynamic weights that can debug itself (dynamic code...) without any help from any creator, so to speak... ;^)