404s

[ianmcorvidae]

Just cloned/got, and as I was mentioning on twitter some failed; the full list:

A Poor Man's Concurrency Monad.pdf A Term Calculus for Intuitionistic Linear Logic.pdf Focusing on Binding and Computation.pdf Functor is to Lens as Applicative is to Biplate.pdf Generalising Monads to Arrows.pdf On Understanding Data Abstraction, Revisited.pdf Relating Algebraic and Coalgebraic Descriptions of Lenses.pdf Safe Functional Reactive Programming through Dependent Types.pdf Value Recursion in Monadic Computations.pdf

Not as though there's not plenty else to read, of course, so not pressing, but in any case there they are!

[ocharles]

Wow, the web bitrots fast! I'll see if I can get some mirrors up. Thanks for the report!

[ianmcorvidae]

Good cross-pollination idea I had, since I was just uploading https://archive.org/details/musicbrainz-20120623-002010 -- an IA item for all of these papers (which could additionally be added as URLs to all the files, of course!) could be an ideal persistent mirror.

[ocharles]

Ooohh, I like it! I'll look into how that works.

[alanz]

The git-annex webapp shows the internet archive as a supported backend storage type, might be very simple.

[ianmcorvidae]

Indeed: http://git-annex.branchable.com/tips/Internet_Archive_via_S3/

[ianmcorvidae]

(though it looks as though that may store the S3 access/secret keys somewhere, and may not work as well with other users such as ourselves, vs. just adding them as URLs)

[joeyh]

S3 creds are not stored in the git repo, but are only cached locally. (Unless you pass embedcreds=yes to initremote.)

Using the S3 remote for IA will also automatically add the public urls for everything that's stored there to the repo, which is convenient.

[ocharles]

Alrighty, we should all be setup with the IA now! If you to try, run:

git annex sync
git annex get

and it should all just magically work... If so, let me know and I'll close this (unless you can close it yourself).