Sujet : Re: Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing in enlightenment)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prologDate : 15. Nov 2024, 03:54:54
Autres entêtes
Message-ID : <vh6d5u$6ndu$1@solani.org>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
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/1400132013068218370How 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?
Scryer Prolog is dead now? (Was: A harsh wind is blowing into the face of Prolog now…)
Re: Is Rust the culprit? (Was: What about the Holy Grail?)