Path: ...!npeer.as286.net!npeer-ng0.as286.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: Re: Waste of EU money / bread and butter of statistics (Re: Deep
 Ecology and Artificial Intelligence)
Date: Wed, 6 Nov 2024 10:20:34 +0100
Message-ID: <vgfcd1$i2kg$3@solani.org>
References: <v3ndr5$1782o$2@solani.org> <vgfc9t$i2kg$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 6 Nov 2024 09:20:33 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="592528"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:IUmfobNjYyYlCC/xkyVIL89VQ7o=
In-Reply-To: <vgfc9t$i2kg$2@solani.org>
X-User-ID: eJwVy8ERwCAIBMCWonKclOOB9F9Cku/OLJYPT5rDDY2WuWas3Tw8t66VM2JCv4wmdigywbT+JqqeYQeKqdIWX16IFeY=
Bytes: 4866
Lines: 102

Hi,

My experience with change_arg/3 so far,
one that is akin to nb_linkarg/3 from SWI-Prolog
is as follows:

- The lack of purity in that there is one
   more side effect, is compensated in that we
   don't need a FFI and dozen foreign function
   implemented gadgets, like this gadget,
   termed "dedicated low-level implementation".

 > In SWI-Prolog, this can rely on an efficient specialised
 > implementation of aggregate_all(count,_,_), while we provide
 > a dedicated low-level XSB implementation in a count module
 > that we include with our program, courtesy of David S.
 > Warren (personal communication).

- Instead of million different gadgets, there
   is only one gadget, which is change_arg/3 itself.
   One can integrate it with the Prolog garbage collection.
   I could demonstrated the same that change_arg/3
   can fully participate in minor and major garbage collections
   of the Prolog system using a write barrier.

- Having only this gadget, one can implement nb_XXX
   datastructures such as findall/3 bag. The big advantage
   since it will rely on Prolog garbage collection, is
   that no slow setup_call_cleanup/3 is needed. You can
   complemently forget about an infrastructure for this
   monster, its all superseeded by garbage collection,
   you also don't need to call some free()

- You can spin it further and implement more nb_XXX
   datastructures profiting from the same advantages
   again, this is ongoing work right now. Example
   datastrutures are library(util/hash) and the
   brand new library(util/tree).

- You can spin it even further to the ultimate goal.
   You can then use these nb_XXX datastructures to
   have memory savy aggregates. And thats one of the
   plateaus we want to reach. We want to compete
   with Pandas from Python and participate in Billion
   Row Challenges.

Bye

Mild Shock schrieb:
> Hi,
> 
> Spain is one of the main recipients of EU recovery funds,
> with a total of 163 billion euros ($178 billion) earmarked
> for the country, approximately half in grants and the rest
> in loans. It has already received 37 billion euros.
> 
> Madrid and software.imdea.org is no exception. Probably
> the same disaster as the Valencia floods. The money
> is just siphoned into some crooks pockets. The biggest
> crooks are at the moment ALP & friends,
> 
> just publishing a series of failure reports. Every
> paper just reports some problems, never solutions.
> Most recent cringe example:
> 
> BoostRLR: The beauty of Prolog for statistical
> relational learning
> https://www.informatik.uni-wuerzburg.de/fileadmin/10030600/2024/KI_2004_paper_174.pdf 
> 
> 
> What the fuck does this mean:
> 
>  > In SWI-Prolog, this can rely on an efficient specialised
>  > implementation of aggregate_all(count,_,_), while we provide
>  > a dedicated low-level XSB implementation in a count module
>  > that we include with our program, courtesy of David S.
>  > Warren (personal communication).
> 
> Why is change_arg/3 not common among Prolog systems.
> Why do we deal with aggregates like we are still in
> stone age. Aggregates are a well known discipline
> of database technology.
> 
> Why only aggregate_all/2 and not also a memory savy
> solutions of aggregate/3. Aggregates are the bread
> and butter of statistics.
> 
> Bye
> 
> Mild Shock schrieb:
>> Just reading:
>>
>> "Deep ecologists reject any mechanical
>> or computer model of nature, and see
>> the Earth as a living organism, which
>> should be treated and understood accordingly"
>> https://en.wikipedia.org/wiki/Deep_ecology#Sources
>>
>> Now that we enter the age of AI. What
>> about an AI Computer model. An AI Earth
>> Computer model? Any pointers?
>