[darcs-users] darcs patch: relicense Darcs.Commands.GZCRCs as BSD3
gwern0 at gmail.com
Mon Sep 21 13:37:51 UTC 2009
On Mon, Sep 21, 2009 at 2:53 AM, Stephen J. Turnbull <stephen at xemacs.org> wrote:
> > If copyright were a proposed type system, it'd be rejected for being
> > logically incoherent. :)
> Actually, not. It's really not that hard to understand how copyright
> works, not by comparison with Hindley-Milner ... unless your self-
> interest clouds your understanding. Lawrence Rosen _Open Source
> Licensing_ is the best source I've come across.
1. Any copyrighted work can be represented as a number, x; this number
is therefore copyrighted.
2. Two things are identical & the same only if they share all the same
3. The number from #1 can also be derived via non-copyrighted
processes (eg. enumerating all bitstrings); this number is therefore
4. If I have #1, and I then have #3, I have the same number, yet by #2
I do not, as one is copyrighted and the other is not.
5. Therefore x != x. This is a contradiction.
(It's important to remember that there is no theoretical justification
or sensible theory of copyright & intellectual property. What's up
there is only rubbish. The justifications are purely practical.)
A good presentation of this position is
More information about the darcs-users