Discuss nomenclature

[choldgraf]

We should have a nomenclature discussion about the binder ecosystem.

We have a start for this here:

https://hackmd.io/CwQwjATAZgbMCcBaAzAU3iRwwGMCsiAHFMjogOwgBGeyVcCMAJkA

Please add comments / edits / etc!

[willingc]

A first pass at this:

myBinder

• mybinder: documentation serving end users of a BinderHub deployment or Binder service
• mybinder website: the documentation, blog posts, etc. focused on helping end users
• content producer: a person posting content (Binder) to be served by a BinderHub deployment
• content consumer: a person pressing a button to launch an interactive UI (notebook, jupyterlab, etc) to explore content (Binder)
• potential user: anyone who is considering being either a content producer or consumer.

BinderHub

• BinderHub deployment: a cluster that is deployed and administered (jupyterhub/binderhub repo)
• BinderHub admin: person(s) responsible for deployment and administration of a BinderHub

Binder

• 'Binder' service: a generic name for a user facing service that offers the interactive UI needed to run or post content
• Binder website: the UI served by a Binder service
• 'Binder' content: the notebooks, files, data that is available for use by content consumers
• Binder: the encapsulated content that is shared by a content producer which is shared via URL link, Binder badge.
• Binder image: the Docker image

Legacy Binder

• legacy Binder: anything related to the former version/deployment of Binder

[choldgraf]

how about deployer for people that create their own binder setups, creator for people that generate binder-ready repos, and user for people that are clicking binder links?

And what if we only used mybinder to refer to the public binder deployment? That way we can distance it from binder the technology...

[choldgraf]

(consumer / producer also sound correct to me...but they feel a little bit stiff)

[choldgraf]

Hey all - as @mpacer and I were going over the Binder submission to scipy, we realized that we still aren't super precise about our language around Binder (e.g. when to call it "Binder", when it's "BinderHub" etc. I realized this issue had never really been sorted out.

I propose we give this one another shot, I really liked @willingc 's start at language etc. I've turned it into a hackmd so that folks can make small edits / comments / etc.

https://hackmd.io/CwQwjATAZgbMCcBaAzAU3iRwwGMCsiAHFMjogOwgBGeyVcCMAJkA

Shall we give this another go, and then write out a page on the binder docs that lays all of this out?

[betatim]

I'd be ok with the terms we defined in the hackmd and how e defined them. How do we move towards accepting/rejecting the doc?

[willingc]

@betatim @choldgraf I'm having difficulty pulling up the hackmd pad. Can one of you submit a PR and we can move this forward and then move #76 forward with any necessary changes. Thanks!

[choldgraf]

@willingc hmmm, actually other hackmds are down for me too...I wonder if the whole site is having an outage?

[choldgraf]

ah yep: https://twitter.com/hackmdio/status/968763013774938112