> On Jul 30, 2022, at 8:31 PM, Cris Perdue <[email protected]> wrote:
> Another advantage that a CDN could have is extra robustness through multiple
> "origins".
> A CDN origin is a web server such as us.metamath.org, that the CDN refers to
> when it does
> not have the data already cached. Many CDNs these days seem to support
> multiple origins, so if the main
> origin, such as us.metamath.org, has problems, the CDN can automatically fail
> over to another origin
> server in some manner. The details seem to vary significantly from one CDN to
> another.
>
> David, I'd be glad to run down more detailed information on pricing or
> options if you desire.
Sure, more info would be great! I've been looking at Cloudflare, which has a
free tier that I think would be
adequate and it seems to be widely used. But I'm not married to that
particular CDN. Any advice you have would be welcome.
I like the idea of eventually using multiple origins. We could integrate our
existing mirrors so that
people can *use* a specific URL that is extremely fast & robust through the
use of a CDN and our existing mirrors. I think it needs to be inexpensive, and
once set up it should just "keep working", but that all seems possible to me.
I've used Fastly, which is a good CDN service. However, I don't think we need
its main advantages
and I don't see a useful free tier. I think we should limit costs where that
makes sense.
I think it would be good to eventually create a non-profit "Metamath
Association' whose
purpose would be to support & encourage the formalization of mathematics. It'd
be paid by
dues, and it would do stuff like pay for DNS registration & website fees. The
idea would be to
enable this to outlast any of us. However, I doubt that it would be flush, so I
think we need to
limit our costs even if that's the eventual plan. Hopefully some people here
would be willing to join :-).
--- David A. Wheeeler
--
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 on the web visit
https://groups.google.com/d/msgid/metamath/36699FC7-24ED-4075-B838-29A90004EE17%40dwheeler.com.
