The Coq mailing list

[e+coq-club AT x80.org (Emilio Jesús Gallego Arias)]

Clément Pit--Claudel 
<clement.pit AT gmail.com>
 writes:

> On 2016-06-17 11:27, Emilio Jesús Gallego Arias wrote:
>> For now there's https://github.com/ejgallego/jscoq-builds/ , could
>> that work as a CDN ?
>
> I'm not sure; my proposal was to host the latest jsCoq release on a
> public server, which all websites using jsCoq could point to.
>
> This would be similar to e.g. https://code.jquery.com/; with such an
> architecture in place, browsers would be able to cache jsCoq's sources
> and .vo files across websites using jsCoq. This way, if I visit two
> separate blogs both using jsCoq, I'll only need to download jsCoq's
> files a single time — which would be useful, given the size of the
> download.

Yeah, I was thinking of using jscoq.github.io as such site. In fact, you
can use now:

https://raw.githubusercontent.com/ejgallego/jscoq-builds/$COMMIT/

as CDN, but it seems it is discouraged, even if a lot of people do it.

If anyone has a suggestion for a (free as in beer) CDN I'll be happy to
look at it.

E.