Re: Re: Project website
Tim Daly <[email protected]> Wed, 5 Feb 2025 21:09:55 -0500
| Newsgroups | gmane.comp.mathematics.algebra.fricas.devel,gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=+5A8DOT1G_PP+9WnQoVDpt3sVH39cT-Xay1-B_kqJUfw@mail.gmail.com> |
--000000000000a42035062d6fbd5a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable In my professional opinion FRICAS is a fine project doing excellent work. I hope it continues to achieve its goals. I wish it only success. > Thank you for making Axiom open source, otherwise it will remain > as a dead commercial product. Axiom was never intended to be a commercial product. It was a research project. Releasing it was forced on the project by IBM. The open source Axiom project goals were also research, not commercial. The target was "computational mathematics" not "computer algebra" as witnessed by, for example, the project goal of proofs. I mentioned the demise of Axiom on this list as it seemed like some might find it an interesting event if only for historical reasons. Tim On Wed, Feb 5, 2025 at 7:08=E2=80=AFPM Qian Yun <[email protected]> wrote: > Hi Tim, > > Thank you for making Axiom open source, otherwise it will remain > as a dead commercial product. > > I've known Axiom for over a decade and contributed to FriCAS for > over nine years, it's a great project and it's been a fun journey > for me. > > I'm sorry to hear the status of Axiom repo and website. > I have a proposal to reduce the damage of this, and to > extend the heritage of Axiom: would you like to endorse > the FriCAS project? (I mean, could you write an email > about this, and I will link it to Axiom github issue page, > so that people noticing about Axiom can also notice about > FriCAS, after all, currently Axiom has more stars than > FriCAS on github.) > > Thank you Tim, again, for making Axiom open source, and > working on it for decades. > > - Best, > - Qian > > On 2/6/25 3:16 AM, Tim Daly wrote: > > Axiom is dead. The site got no traffic. I don't have github access > anymore > > due to Microsoft's multi-factor "protection". It was a good 24 years. > > > > It was fun while it lasted. The last effort was a new parallel > construction > > of "Category, Domain, Proof" which integrated LEAN proofs (e.g. about > > Abelians) > > as a separate, connected hierarchy, enabling proofs of algorithms like > > the GCD. > > That will never see the light of day. > > > > The real cause of death is my lack of management skills and > > objectionable personality. > > I thought the point of research software was to innovate, not polish. > > Nobody agreed. > > Adding proofs and being literate were too radical. Dick Jenks would hav= e > > succeeded. > > > > My real frustration is that the several hundred people who contributed > > in large and > > small ways over many years don't seem to even get mentioned. Credit is > > so easy > > to share. Axiom would never have been re-created without effort from > > people like you. > > At least I personally say "Thank you, Camm." > > > > Tim > > > > > > > > > > On Wed, Feb 5, 2025 at 12:50=E2=80=AFPM Camm Maguire <camm@maguirefamil= y.org > > <mailto:[email protected]>> wrote: > > > > Hi Tim! I hope this note finds you well! > > > > Just noticing that axiom-developer.org <http://axiom-developer.org> > > appears to be inaccessible. > > Github appears more recent. What is the best way to keep current > with > > axiom? > > > > Take care, > > -- > > Camm Maguire > > [email protected] <mailto:[email protected]> > > > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > "The earth is but one country, and mankind its citizens." -- > > Baha'u'llah > > > > -- > > You received this message because you are subscribed to the Google > > Groups "FriCAS - computer algebra system" group. > > To unsubscribe from this group and stop receiving emails from it, send > > an email to [email protected] <mailto:fricas- > > [email protected]>. > > To view this discussion visit https://groups.google.com/d/msgid/fricas- > > devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du- > > s3XNqRiDwd3vbNQ%40mail.gmail.com <https://groups.google.com/d/msgid/ > > fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du- > > s3XNqRiDwd3vbNQ%40mail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter= >. > > --=20 You received this message because you are subscribed to the Google Groups "= FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-deve= l/CAJn5L%3D%2B5A8DOT1G_PP%2B9WnQoVDpt3sVH39cT-Xay1-B_kqJUfw%40mail.gmail.co= m. --000000000000a42035062d6fbd5a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div>In my professional opinion FRICAS is a fine project d= oing excellent work.</div><div>I hope it continues to achieve its goals. I = wish it only success.<br></div><div><br></div><div>> Thank you for makin= g Axiom open source, otherwise it will remain<br> > as a dead commercial product.</div><div><br></div><div>Axiom was never= intended to be a commercial product. It was a research project.</div><div>= Releasing it was forced on the project by IBM. The open source Axiom projec= t goals</div><div>were also research, not commercial. The target was "= computational mathematics"</div><div>not "computer algebra" = as witnessed by, for example, the project goal of proofs.</div><div><br></d= iv><div>I mentioned the demise of Axiom on this list as it seemed like some= might find</div><div>it an interesting event if only for historical reason= s.<br></div><div><br></div><div>Tim</div><div><br></div></div><br><div clas= s=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_att= r">On Wed, Feb 5, 2025 at 7:08=E2=80=AFPM Qian Yun <<a href=3D"mailto:ol= [email protected]">[email protected]</a>> wrote:<br></div><blockquote cl= ass=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid= rgb(204,204,204);padding-left:1ex">Hi Tim,<br> <br> Thank you for making Axiom open source, otherwise it will remain<br> as a dead commercial product.<br> <br> I've known Axiom for over a decade and contributed to FriCAS for<br> over nine years, it's a great project and it's been a fun journey<b= r> for me.<br> <br> I'm sorry to hear the status of Axiom repo and website.<br> I have a proposal to reduce the damage of this, and to<br> extend the heritage of Axiom: would you like to endorse<br> the FriCAS project?=C2=A0 (I mean, could you write an email<br> about this, and I will link it to Axiom github issue page,<br> so that people noticing about Axiom can also notice about<br> FriCAS, after all, currently Axiom has more stars than<br> FriCAS on github.)<br> <br> Thank you Tim, again, for making Axiom open source, and<br> working on it for decades.<br> <br> - Best,<br> - Qian<br> <br> On 2/6/25 3:16 AM, Tim Daly wrote:<br> > Axiom is dead. The site got no traffic. I don't have github access= anymore<br> > due to Microsoft's multi-factor "protection". It was a g= ood 24 years.<br> > <br> > It was fun while it lasted. The last effort was a new parallel constru= ction<br> > of "Category, Domain, Proof" which integrated LEAN proofs (e= .g. about<br> > Abelians)<br> > as a separate, connected hierarchy, enabling proofs of algorithms like= <br> > the GCD.=C2=A0<br> > That will never see the light of day.<br> > <br> > The real cause of death is my lack of management skills and<br> > objectionable personality.<br> > I thought the point of research software was to innovate, not polish.<= br> > Nobody agreed.<br> > Adding proofs and being literate were too radical. Dick Jenks would ha= ve<br> > succeeded.<br> > <br> > My real frustration is that the several hundred people who contributed= <br> > in large and<br> > small ways over many years don't seem to even get mentioned. Credi= t is<br> > so easy<br> > to share. Axiom would never have been re-created without effort from<b= r> > people like you.<br> > At least I personally say "Thank you, Camm."<br> > <br> > Tim<br> > <br> > <br> > <br> > <br> > On Wed, Feb 5, 2025 at 12:50=E2=80=AFPM Camm Maguire <<a href=3D"ma= ilto:[email protected]" target=3D"_blank">[email protected]</a><b= r> > <mailto:<a href=3D"mailto:[email protected]" target=3D"_blank"= >[email protected]</a>>> wrote:<br> > <br> >=C2=A0 =C2=A0 =C2=A0Hi Tim!=C2=A0 I hope this note finds you well!<br> > <br> >=C2=A0 =C2=A0 =C2=A0Just noticing that <a href=3D"http://axiom-develope= r.org" rel=3D"noreferrer" target=3D"_blank">axiom-developer.org</a> <<a = href=3D"http://axiom-developer.org" rel=3D"noreferrer" target=3D"_blank">ht= tp://axiom-developer.org</a>><br> >=C2=A0 =C2=A0 =C2=A0appears to be inaccessible.<br> >=C2=A0 =C2=A0 =C2=A0Github appears more recent.=C2=A0 What is the best = way to keep current with<br> >=C2=A0 =C2=A0 =C2=A0axiom?<br> > <br> >=C2=A0 =C2=A0 =C2=A0Take care,<br> >=C2=A0 =C2=A0 =C2=A0-- <br> >=C2=A0 =C2=A0 =C2=A0Camm Maguire=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0<br> >=C2=A0 =C2=A0 =C2=A0<a href=3D"mailto:[email protected]" target=3D= "_blank">[email protected]</a> <mailto:<a href=3D"mailto:camm@magui= refamily.org" target=3D"_blank">[email protected]</a>><br> >=C2=A0 =C2=A0 =C2=A0=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D<br> >=C2=A0 =C2=A0 =C2=A0"The earth is but one country, and mankind its= citizens."=C2=A0 --=C2=A0<br> >=C2=A0 =C2=A0 =C2=A0Baha'u'llah<br> > <br> > -- <br> > You received this message because you are subscribed to the Google<br> > Groups "FriCAS - computer algebra system" group.<br> > To unsubscribe from this group and stop receiving emails from it, send= <br> > an email to <a href=3D"mailto:fricas-devel%2Bunsubscribe@googlegroups.= com" target=3D"_blank">[email protected]</a> <ma= ilto:<a href=3D"mailto:fricas-" target=3D"_blank">fricas-</a><br> > <a href=3D"mailto:devel%[email protected]" target=3D"_bla= nk">[email protected]</a>>.<br> > To view this discussion visit <a href=3D"https://groups.google.com/d/m= sgid/fricas-" rel=3D"noreferrer" target=3D"_blank">https://groups.google.co= m/d/msgid/fricas-</a><br> > devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-<br> > s3XNqRiDwd3vbNQ%<a href=3D"http://40mail.gmail.com" rel=3D"noreferrer"= target=3D"_blank">40mail.gmail.com</a> <<a href=3D"https://groups.googl= e.com/d/msgid/" rel=3D"noreferrer" target=3D"_blank">https://groups.google.= com/d/msgid/</a><br> > fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-<br> > s3XNqRiDwd3vbNQ%<a href=3D"http://40mail.gmail.com?utm_medium=3Demail&= amp;utm_source=3Dfooter" rel=3D"noreferrer" target=3D"_blank">40mail.gmail.= com?utm_medium=3Demail&utm_source=3Dfooter</a>>.<br> <br> </blockquote></div> <p></p> -- <br /> You received this message because you are subscribed to the Google Groups &= quot;FriCAS - computer algebra system" group.<br /> To unsubscribe from this group and stop receiving emails from it, send an e= mail to <a href=3D"mailto:[email protected]">fricas= [email protected]</a>.<br /> To view this discussion visit <a href=3D"https://groups.google.com/d/msgid/= fricas-devel/CAJn5L%3D%2B5A8DOT1G_PP%2B9WnQoVDpt3sVH39cT-Xay1-B_kqJUfw%40ma= il.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.= com/d/msgid/fricas-devel/CAJn5L%3D%2B5A8DOT1G_PP%2B9WnQoVDpt3sVH39cT-Xay1-B= _kqJUfw%40mail.gmail.com</a>.<br /> --000000000000a42035062d6fbd5a--