+1 For me Axiom is not dead, and more, its name. Scratchpad was as I see it an experimentation. Axiom the resulting software. Losing this software name would be a real personal deception (even if it is a little pedantic name).
My two cents; Greg Le mer. 5 févr. 2025 à 21:28, Dima Pasechnik <dimp...@gmail.com> a écrit : > > Hi Tim, > > why don't you allow someone who has GitHub creds all set to manage it for you? > It's very easy to keep your push access to GitHub repos, just let this > someone upload your public ssh key there. > > Dima > > On Wed, Feb 5, 2025 at 1:17 PM Tim Daly <axiom...@gmail.com> 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> wrote: > >> > >> Hi Tim! I hope this note finds you well! > >> > >> Just noticing that 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 > >> ========================================================================== > >> "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. > > To view this discussion visit > > https://groups.google.com/d/msgid/fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-s3XNqRiDwd3vbNQ%40mail.gmail.com. > > -- > 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/CAAWYfq1nEBNrmwQ0NsX8%2Bbm%2Bvhw%3DmC3P0CrxqRhot2EmDpoHOw%40mail.gmail.com. -- 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/CAHnU2db7Vd8ZSsj2JkPzr2Sh2J56CCAC7QBExSY1Z_xTSUaUxA%40mail.gmail.com.
