Re: Axiom git

--000000000000f4cd4105f6443db9
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

No.  Axiom is alive and well and being developed.
I am changing Axiom but not posting changes until
they reach a "release" version.

The new Axiom uses common lisp rather than Spad,
has a much richer "scaffold" of inheritance, and integrates
Lean-style logic for program proof.

I know from my prior effort to eliminate the Boot language
that these changes, though required since Spad can't
handle dependent types or proofs, will be unpopular.

Axiom is a "research platform". I'm pushing a research
agenda that integrates proofs and algebra. Nobody cares.
Thus, "working in public" is not helpful.

Axiom is still free and open source. The source will be
available at every release.

Tim


On Mon, Mar 6, 2023 at 6:08=E2=80=AFPM Svjatoslav Agejenko <svjatoslav@svja=
toslav.eu>
wrote:

> Hello !
>
> On Mon, 2023-02-13 at 14:42 -0500, Tim Daly wrote:
> > You'll notice that I've stopped updating the Axiom source tree.
> > I thought FOSS development was a great idea when I started
> > in 1997. The Axiom effort has convinced me otherwise.
> > I've stopped working in "open source".
>
>
> Is it so that open source version of Axiom is dead ?
> It will not be developed as free software anymore ?
>
> Best regards
> --
> Svjatoslav Agejenko
> WWW: http://svjatoslav.eu
>
>
>
>
>
>

--000000000000f4cd4105f6443db9
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>No.=C2=A0 Axiom is alive and well and being developed=
.</div><div>I am changing Axiom but not posting changes until</div><div>the=
y reach a &quot;release&quot; version.</div><div><br></div><div>The new Axi=
om uses common lisp rather than Spad,</div><div>has a much richer &quot;sca=
ffold&quot; of inheritance, and integrates</div><div>Lean-style logic for p=
rogram proof.</div><div><br></div><div>I know from my prior effort to elimi=
nate the Boot language</div><div>that these changes, though required since =
Spad can&#39;t <br></div><div>handle dependent types or proofs, will be unp=
opular.</div><div><br></div><div>Axiom is a &quot;research platform&quot;. =
I&#39;m pushing a research</div><div>agenda that integrates proofs and alge=
bra. Nobody cares.</div><div>Thus, &quot;working in public&quot; is not hel=
pful.</div><div><br></div><div>Axiom is still free and open source. The sou=
rce will be <br></div><div>available at every release.<br></div><div><br></=
div><div>Tim</div><div><br></div></div><br><div class=3D"gmail_quote"><div =
dir=3D"ltr" class=3D"gmail_attr">On Mon, Mar 6, 2023 at 6:08=E2=80=AFPM Svj=
atoslav Agejenko &lt;<a href=3D"mailto:[email protected]">svjatoslav=
@svjatoslav.eu</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padd=
ing-left:1ex">Hello !<br>
<br>
On Mon, 2023-02-13 at 14:42 -0500, Tim Daly wrote:<br>
&gt; You&#39;ll notice that I&#39;ve stopped updating the Axiom source tree=
.<br>
&gt; I thought FOSS development was a great idea when I started<br>
&gt; in 1997. The Axiom effort has convinced me otherwise.<br>
&gt; I&#39;ve stopped working in &quot;open source&quot;.<br>
<br>
<br>
Is it so that open source version of Axiom is dead ?<br>
It will not be developed as free software anymore ?<br>
<br>
Best regards<br>
-- <br>
Svjatoslav Agejenko<br>
WWW: <a href=3D"http://svjatoslav.eu" rel=3D"noreferrer" target=3D"_blank">=
http://svjatoslav.eu</a><br>
<br>
<br>
<br>
<br>
<br>
</blockquote></div>

--000000000000f4cd4105f6443db9--