Groups > comp.lang.python > #197245

Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)

Path	csiph.com!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.python
Subject	Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)
Date	Thu, 13 Feb 2025 19:12:22 +0100
Message-ID	<volcm5$6r8g$2@solani.org> (permalink)
References	<vmt1l3$bokb$2@solani.org> <vmtopp$c5ui$3@solani.org> <vo2kjh$11mi6$3@solani.org> <vo7m0a$14pkn$4@solani.org> <vofbg6$35so$2@solani.org>
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	8bit
Injection-Date	Thu, 13 Feb 2025 18:12:21 -0000 (UTC)
Injection-Info	solani.org; logging-data="224528"; 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:bZE/GsdSlkYyh3RVhL0WAIBq3Zs=
X-User-ID	eJwFwYEBACAEBMCVwnsZR8n+I3TnRuEN0AkfnxBGH7G1ALhmQbZWCnc8nVVzbisLuGOPavTs9siENqfxASXsFKw=
In-Reply-To	<vofbg6$35so$2@solani.org>
Xref	csiph.com comp.lang.python:197245

Show key headers only | View raw

An autoencoder learns two functions: an encoding
function that transforms the input data, and a
decoding function that recreates the input data
from the encoded representation. We approach
autoencoders via our already developed SAT Learning
in the Prolog programming language.

Switching from a marginal maximizer to a conditional
maximizer gives better results but also requires a
more costly and slower optimizer. Maximum entropy
methods were already suggest by Peter Cheeseman in
1987. Mostlikely flawed since there is not yet a
feedback loop from the decoder to the encoder.

Maximum Entropy in SAT Autoencoding
https://x.com/dogelogch/status/1890093860782764409

Maximum Entropy in SAT Autoencoding
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> Dogelog Player is a Prolog system for JavaScript,
> Python and Java. It is 100% written in Prolog itself.
> We present an enhancement to DCG translation. It uses
> unification spilling to reduce the number of needed
> unify (=)/2 calls and intermediate variables.
> 
> Unification spilling can be readily implemented by
> performing unification (=)/2 during DCG translation.
> Careful spilling without breaking steadfastness gave
> us a 10% — 25% speed increase not only for the calculator
> example but also for the Albufeira transpiler.
> 
> See also:
> 
> DCG Translation with Unification Spilling
> https://x.com/dogelogch/status/1889270444647182542
> 
> DCG Translation with Unification Spilling
> https://www.facebook.com/groups/dogelog
> 
>

Back to comp.lang.python | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 10:20 +0100
  Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 16:55 +0100
    Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-06 16:30 +0100
      Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-11 12:15 +0100
        Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-13 19:12 +0100
          Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-20 11:19 +0100

csiph-web