Re: Re: Project website

Hi Tim,

why don't you allow someone who has GitHub creds all set to manage it for y=
ou?
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]> wrote:
>
> Axiom is dead. The site got no traffic. I don't have github access anymor=
e
> 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 constructi=
on
> of "Category, Domain, Proof" which integrated LEAN proofs (e.g. about Abe=
lians)
> as a separate, connected hierarchy, enabling proofs of algorithms like th=
e 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. Nob=
ody 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 peop=
le 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@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                                        [email protected]=
rg
>> =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'll=
ah
>
> --
> 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-de=
vel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-s3XNqRiDwd3vbNQ%40mail.gmai=
l.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/CAAWYfq1nEBNrmwQ0NsX8%2Bbm%2Bvhw%3DmC3P0CrxqRhot2EmDpoHOw%40mail.gmail.co=
m.