News for hackers. Stuff that matters.
Re:Binder – Turn a Git repo into a collection of interactive... by drusepth on Monday January 21, 2019 @08:04PM (#18965120)
This link gives me a "Binder inaccessible" error, FWIW.

>Is this a Binder that you created?

>If so, your authentication cookie for this Binder has been deleted or expired. You can launch a new Binder for this repo by clicking here.

> Did someone give you this Binder link?

>If so, the link is outdated or incorrect. Recheck the link for typos or ask the person who gave you the link for an updated link. A shareable Binder link should look like https://mybinder.org.

I got the link to work by mangling it into the following format, but I'm not sure if this is what you were intending: https://mybinder.org/v2/gh/norvig/pytudes/master

Re:Binder – Turn a Git repo into a collection of interactive... by betatim on Tuesday January 22, 2019 @01:20AM (#18966364)
That is the right link. Unfortunately we haven't yet found a good UX solution to people sharing the "wrong" link which only works for their personal instance.

(I am a project lead on binder)