> On Nov 14, 2025, at 3:05 PM, Falcon Dai <[email protected]> wrote:
>
> Oh no. I am happy to help. So the current site is hosted on linode (per some
> of the comments in the linked file)? I wonder if it is worthwhile to migrate
> it to GitHub hosting. It it is free to host a static site and quite
> performant in my experience (not to mention that it saves efforts to
> configure and maintain servers).
I looked into that (my personal website is hosted on GitHub).
The website is regenerated daily. This is a *good* thing, because serving
static pages to many systems is efficient, and all websites are now being hit
by constant downloads (organizations are constantly re-downloading the Internet
to feed to machine learning training processes). Regenerating the website takes
more time than GitHub Actions will provide for free. Using linode means there's
a fixed known price (that I pay each month).
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" 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/metamath/C2D94F87-0A56-488A-8CB2-7E9F280CC57E%40dwheeler.com.
