Path: ...!2.eu.feeder.erje.net!feeder.erje.net!news.swapon.de!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: Will WASM be fast some time? (Was: thank you for the FLOPs)
Date: Tue, 4 Mar 2025 10:09:51 +0100
Message-ID: <vq6g0v$11g11$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
 <1b7ce2bd-722b-4c2e-b853-12fc2232752bn@googlegroups.com>
 <vb2jba$202pl$1@solani.org> <vc7mjb$9ptr$1@solani.org>
 <vcelid$b5f1$3@solani.org> <vihokt$lrea$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 4 Mar 2025 09:09:51 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1097761"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.20
Cancel-Lock: sha1:XzXHQ0URWkU9JWlG4zxzCM3quXk=
X-User-ID: eJwFwQkBACAIBLBK8kMcBa5/BDcTJ+9QN1eDYTeIS9dEOO9Y5K2wRs9KJqGGAe497xadw1qoHFIfHdDzD1YaFao=
In-Reply-To: <vihokt$lrea$1@solani.org>
Bytes: 4743
Lines: 115

Hi,

I wonder wether WASM will be fast some time.
I found this paper which draws a rather dim picture,
but the paper is already a little bit old:

Understanding the Performance of WebAssembly Application
Weihang Wang et al. - 2021
https://weihang-wang.github.io/papers/imc21.pdf

The take away is more or less that jitted JavaScript has
same speed as WASM. With sometimes WASM more favorable
outcome for Firefox than for Chrome and Edge:

Java Script 	Chrome	Firefox	Edge
D.1 Exec. Time (ms)	45.57	48.26	63.62
M.2 Exec. Time (ms)	249.60	167.03	201.68

WASM	Chrome	Firefox	Edge
D.1 Exec. Time (ms)	65.23	39.65	83.53
M.2 Exec. Time (ms)	233.08	345.98	192.87

Bye

Mild Shock schrieb:
> 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
>>>>
>>>
>>
>