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 have > 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 PM Camm Maguire <c...@maguirefamily.org > <mailto:c...@maguirefamily.org>> 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 > c...@maguirefamily.org <mailto:c...@maguirefamily.org> > ========================================================================== > "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 fricas-devel+unsubscr...@googlegroups.com <mailto:fricas- > devel+unsubscr...@googlegroups.com>. > 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=email&utm_source=footer>. -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/44f61dac-fba4-4593-90d2-9a2ebf745166%40gmail.com.
