paper.pdf

Stream: Equational

[Terence Tao]

The link to the paper on https://teorth.github.io/equational_theories/paper.pdf is currently 404'ed. I am not sure exactly how this pdf is generated - is it done during CI?

[Julian Berman]

https://github.com/teorth/equational_theories/pull/1249 accidentally dropped the relevant lines I think. EDIT: hopefully this does it.

[Terence Tao]

Weirdly, I got a temporary glitch when navigating to paper.pdf :

Bad Request
Your browser sent a request that this server could not understand.
Reference #7.d8e9c717.1749911982.25fd1571

https://errors.edgesuite.net/7.d8e9c717.1749911982.25fd1571

but after a few seconds it resolved correctly. It could be a problem on my end.

[Julian Berman]

That's an error coming from Akamai (the "CDN" which is serving the site) and if it's gone away yeah I'd just ignore it until/unless it comes back -- it's almost certainly some random bug that they will see and fix if it's not something transient (which would not have anything to do with the project's site specifically).