Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: mhx@iae.nl (mhx)
Newsgroups: comp.lang.forth
Subject: Re: Differentiable Forth
Date: Wed, 17 Jul 2024 05:12:49 +0000
Organization: novaBBS
Message-ID: <b794283c1ddd3cdf019651ee73c42417@www.novabbs.com>
References: <e9689378e46f06961fe4fe43b47dfd3b@www.novabbs.com> <v766m4$3hipk$1@news.xmission.com> <f806c73034c83af94d0ce3d857075241@www.novabbs.com> <v76ris$3htrd$1@news.xmission.com> <b83ad41e25a48ccb727b94f427665073@www.novabbs.com> <87h6cpgcct.fsf@nightsong.com> <e554423c6bd0af3caba1de25676b01df@www.novabbs.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: i2pn2.org;
	logging-data="3561696"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="t0bSWFIQDvYvkkhDiPIIv6byulC6WbSEwXWMJpxc4k0";
User-Agent: Rocksolid Light
X-Rslight-Site: $2y$10$6NjjWgT6r7cwPCg9BLsHhOkDbGSpXAh6PaTswzd7OKqSaPSqvMeke
X-Rslight-Posting-User: 59549e76d0c3560fb37b97f0b9407a8c14054f24
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2023
Lines: 22

On Wed, 17 Jul 2024 2:59:10 +0000, minforth wrote:

> There is a whole website dedicated to AD, tools and applications:
> https://www.autodiff.org/

Useful!

> Projected to Forth, an autodiff wordset could be thought of similar
> to a complex number wordset imaging the standard fp-number wordset.

That is just what I hoped to find. The Julia blurb did not mention
complex number similarities (probably I should've dug deeper).

> However, care must be taken with non-differentiable regions in
> e.g. fabs, fsqrt and some (inverse) trigonometric functions.
> (AD libraries in C++ use operator overloading)

Exactly the problem I face when applying state-space modeling to
power electronics combined with digital control. It can be
handled relatively easily because everything already revolves
around knowing when such discontinuities happen.

-marcel