Re: Re: Project website
Tim Daly <[email protected]> Wed, 5 Feb 2025 18:08:41 -0500
| Newsgroups | gmane.comp.mathematics.algebra.fricas.devel,gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=JDp234PZds0r7RVhCRGJrpcLSUC=XROkc6jQcjnqaZ6g@mail.gmail.com> |
--000000000000802bcb062d6d355b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable >why don't you allow someone who has GitHub creds all set to manage it for you? There is nothing there to "manage". Feel free to gain control if you can. >It's very easy to keep your push access to GitHub repos, just let this > someone upload your public ssh key there. I don't have an SSH key to the Axiom repo. While Microsoft was busy locking things down I was busy writing code and struggling with navel gazing about how to merge proofs with the Category Domain hierarchy. Since this was such a deep and fundamental change I was not pushing updates so I was not paying attention. Mea Culpa. Tim On Wed, Feb 5, 2025 at 3:28=E2=80=AFPM Dima Pasechnik <[email protected]> w= rote: > 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=E2=80=AFPM Tim Daly <[email protected]> wrot= e: > > > > 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> > 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 > [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]. > > To view this discussion visit > https://groups.google.com/d/msgid/fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZ= fsfz3omdpP%2B%3Du-s3XNqRiDwd3vbNQ%40mail.gmail.com > . > --=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%3DJDp234PZds0r7RVhCRGJrpcLSUC%3DXROkc6jQcjnqaZ6g%40mail.gmail.com. --000000000000802bcb062d6d355b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div>>why don't you allow someone who has GitHub cr= eds all set to manage it for you?</div><div><br></div><div>There is nothing= there to "manage". Feel free to gain control if you can.<br></di= v><div><br></div><div> >It's very easy to keep your push access to GitHub repos, just let t= his<br> > someone=C2=A0 upload your public ssh key there.</div><div><br></div><d= iv>I don't have an SSH key to the Axiom repo. While Microsoft was</div>= <div>busy locking things down I was busy writing code and struggling</div><= div>with navel gazing about how to merge proofs with the Category</div><div= >Domain hierarchy. Since this was such a deep and fundamental</div><div>cha= nge I was not pushing updates so I was not paying attention.</div><div>Mea = Culpa.<br></div><div><br></div><div>Tim</div><div><br></div><div><br></div>= </div><br><div class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr"= class=3D"gmail_attr">On Wed, Feb 5, 2025 at 3:28=E2=80=AFPM Dima Pasechnik= <<a href=3D"mailto:[email protected]">[email protected]</a>> wrote:<= br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8e= x;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Tim,<br> <br> why don't you allow someone who has GitHub creds all set to manage it f= or you?<br> It's very easy to keep your push access to GitHub repos, just let this<= br> someone=C2=A0 upload your public ssh key there.<br> <br> Dima<br> <br> On Wed, Feb 5, 2025 at 1:17=E2=80=AFPM Tim Daly <<a href=3D"mailto:axiom= [email protected]" target=3D"_blank">[email protected]</a>> wrote:<br> ><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 Abelians)<br> > as a separate, connected hierarchy, enabling proofs of algorithms like= the GCD.<br> > That will never see the light of day.<br> ><br> > The real cause of death is my lack of management skills and objectiona= ble personality.<br> > I thought the point of research software was to innovate, not polish. = Nobody agreed.<br> > Adding proofs and being literate were too radical. Dick Jenks would ha= ve succeeded.<br> ><br> > My real frustration is that the several hundred people who contributed= in large and<br> > small ways over many years don't seem to even get mentioned. Credi= t is so easy<br> > to share. Axiom would never have been re-created without effort from p= eople 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>&g= t; wrote:<br> >><br> >> Hi Tim!=C2=A0 I hope this note finds you well!<br> >><br> >> Just noticing that <a href=3D"http://axiom-developer.org" rel=3D"n= oreferrer" target=3D"_blank">axiom-developer.org</a> appears to be inaccess= ible.<br> >> Github appears more recent.=C2=A0 What is the best way to keep cur= rent with<br> >> axiom?<br> >><br> >> Take care,<br> >> --<br> >> Camm 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 <a href=3D"mailto:[email protected]" target=3D"_blank">c= [email protected]</a><br> >> =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> >> "The earth is but one country, and mankind its citizens."= ;=C2=A0 --=C2=A0 Baha'u'llah<br> ><br> > --<br> > You received this message because you are subscribed to the Google Gro= ups "FriCAS - computer algebra system" group.<br> > To unsubscribe from this group and stop receiving emails from it, send= an email to <a href=3D"mailto:fricas-devel%[email protected]"= target=3D"_blank">[email protected]</a>.<br> > To view this discussion visit <a href=3D"https://groups.google.com/d/m= sgid/fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-s3XNqRiDwd3vb= NQ%40mail.gmail.com" rel=3D"noreferrer" target=3D"_blank">https://groups.go= ogle.com/d/msgid/fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-s= 3XNqRiDwd3vbNQ%40mail.gmail.com</a>.<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%3DJDp234PZds0r7RVhCRGJrpcLSUC%3DXROkc6jQcjnqaZ6g%40mail= .gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.co= m/d/msgid/fricas-devel/CAJn5L%3DJDp234PZds0r7RVhCRGJrpcLSUC%3DXROkc6jQcjnqa= Z6g%40mail.gmail.com</a>.<br /> --000000000000802bcb062d6d355b--