thank you for the FLOPs (Was: scryer prolog is dead, BILAI instead?)

Hi,
Given that Scryer Prolog is dead.
This made me smile, traces of Scryer Prolog
are found in FLOPs 2024 proceedings:
7th International Symposium, FLOPS 2024,
Kumamoto, Japan, May 15–17, 2024, Proceedings
https://www.cs.ox.ac.uk/jeremy.gibbons/flops2024.pdf
So why did it flop? Missing garbage collection
in the Prolog System? Or did or is it to estimate
that ChatGPT will also kill Scryer Prolog?
Or simply a problem of using Rust as the
underlying host language?
Bye
Mild Shock schrieb:

 The biggest flop in logic programming
history, scryer prolog is dead. The poor
thing is a prolog system without garbage
 collection, not very useful. So how will
Austria get out of all this?
With 50 PhDs and 10 Postdocs?
 "To develop its foundations, BILAI employs a
Bilateral AI approach, effectively combining
sub-symbolic AI (neural networks and machine learning)
with symbolic AI (logic, knowledge representation,
and reasoning) in various ways."
 https://www.bilateral-ai.net/jobs/.
 LoL
 Mild Shock schrieb:

>
You know USA has a problem,
when Oracle enters the race:
>
To source the 131,072 GPU Al "supercluster,"
Larry Ellison, appealed directly to Jensen Huang,
during a dinner joined by Elon Musk at Nobu.
"I would describe the dinner as me and Elon
begging Jensen for GPUs. Please take our money.
We need you to take more of our money. Please!”
https://twitter.com/benitoz/status/1834741314740756621
>
Meanwhile a contender in Video GenAI
FLUX.1 from Germany, Hurray! With Open Source:
>
OK. Now I'm Scared... AI Better Than Reality
https://www.youtube.com/watch?v=cvMAVWDD-DU
>
Mild Shock schrieb:

>
The carbon emissions of writing and illustrating
are lower for AI than for humans
https://www.nature.com/articles/s41598-024-54271-x
>
Perplexity CEO Aravind Srinivas says that the cost per
query in AI models has decreased by 100x in the past
2 years and quality will improve as hallucinations
decrease 10x per year
https://twitter.com/tsarnick/status/1830045611036721254
>
Disclaimer: Can't verify the later claim... need to find a paper.
>
>
Mild Shock schrieb:

>
Your new Scrum Master is here! - ChatGPT, 2023
https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years >
>
LoL
>
Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:

Prolog Class Signpost - American Style 2018
https://www.youtube.com/watch?v=CxQKltWI0NA

>

>