all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: David Kastrup <dak@gnu.org>
To: Richard Stallman <rms@gnu.org>
Cc: esr@thyrsus.com, emacs-devel@gnu.org, monnier@iro.umontreal.ca,
	slewsys@gmail.com, "Perry E. Metzger" <perry@piermont.com>
Subject: Re: Contributing LLVM.org patches to gud.el
Date: Thu, 12 Feb 2015 11:28:58 +0100	[thread overview]
Message-ID: <87k2znpgnp.fsf@fencepost.gnu.org> (raw)
In-Reply-To: <E1YLgTM-0007tO-1n@fencepost.gnu.org> (Richard Stallman's message of "Wed, 11 Feb 2015 18:13:32 -0500")

Richard Stallman <rms@gnu.org> writes:

> [[[ To any NSA and FBI agents reading my email: please consider    ]]]
> [[[ whether defending the US Constitution against all enemies,     ]]]
> [[[ foreign or domestic, requires you to follow Snowden's example. ]]]
>
> You said
>
>   > The distinction here, of course, is that LLVM does not *require* that
>   > you link the components together, or indeed, that you use them as
>   > a compiler at all.
>
> and then you said
>
>   > I am afraid that I'm having trouble seeing what the ultimate
>   > distinction is -- again, LLVM all links together too.
>
> However, from what you said above, LLVM doesn't NECESSARILY all link
> together.  That is the point.

Depending on the definition of "linking".  The LLVM project is, in a
way, a collection of compiler utilities, just like we have GNU textutils
and GNU dirutils (which are now combined into something).  The copyright
from cat has no hold over the distribution of tac.  In a similar vein,
the copyright of Bison has no hold over the distribution of Flex, and
yet we do not consider Flex an attack on GNU.

> Anyway, LLVM is just for comparison.  Since it is not copylefted,
> how its parts relate to each other does not affect anything.
> The issue applies to GCC.
>
> It is good for the parts of GCC to be modular.  And it is fine for
> these modules to be able to link with other programs, too.
>
> What I am worried about is for these modules to be used with nonfree
> programs by NOT linking them together.  That that would lead
> to proprietary use which ultimately is bad for users' freedom.
>
> I prioritize users' freedom above technical merit, and that's why I
> wrote GCC.  If not for that, I wouldn't have had to write a C compiler
> at all -- I could have used one of the proprietary ones.

Those compilers were not free.  Prioritizing users' freedom above
technical merit did not force us to rewrite the non-copylefted X Window
System, or to rewrite the non-copylefted Flex (which I believe to be
still used for generating part of GCC).  It did not force us to replace
TeX which Texinfo, the GNU documentation system, uses for generating all
of its printed manuals.

Let me quote from the GNU Manifesto, from the section "Some Easily
Rebutted Objections to GNU's Goals":

    “Competition makes things get done better.”

    The paradigm of competition is a race: by rewarding the winner, we
    encourage everyone to run faster. When capitalism really works this
    way, it does a good job; but its defenders are wrong in assuming it
    always works this way. If the runners forget why the reward is
    offered and become intent on winning, no matter how, they may find
    other strategies—such as, attacking other runners. If the
    runners get into a fist fight, they will all finish late.

    Proprietary and secret software is the moral equivalent of runners
    in a fist fight. Sad to say, the only referee we've got does not
    seem to object to fights; he just regulates them (“For every ten
    yards you run, you can fire one shot”). He really ought to break
    them up, and penalize runners for even trying to fight.

At the current point of time, I see us getting into fist fights with
other free software.  Clang/LLVM do not exist because Apple wants to
damage GCC: the initial Clang code was offered by its author working at
Apple for inclusion into GCC in 2005.  Of course, this would have
included the respective copyright assignments.  This contribution was
rejected.  Not even on philosophical grounds, but rather mostly because
of technical reasons that have by now become irrelevant.

The reason Clang/LLVM thrived even without GCC is because it met
technical needs that GCC was not able to cater for satisfactorily.
These reasons were initially rooted in the history and code base of GCC.
However, in the last decade they have increasingly become political,
focused on avoiding the reuse of GCC for things not planned by its
developers and/or copyright owners.

But flexible reuse of components is the reason for the success of
UNIX-like operating systems including GNU.  It is what enables research
and development and rapid prototyping, and consequently strong roots
into academics.

By confining the use of GNU to those software designs which cannot be
untangled without triggering copyright problems, we are no longer
hacking copyright for the sake of software freedom, but we are hacking
software freedom for the sake of copyright.  We have managed to turn
copyright into a weapon we wield against ourselves.

-- 
David Kastrup



  reply	other threads:[~2015-02-12 10:28 UTC|newest]

Thread overview: 124+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-02-05  7:46 Contributing LLVM.org patches to gud.el Andrew L. Moore
2015-02-05  8:53 ` David Kastrup
2015-02-05 14:15 ` Stefan Monnier
2015-02-06 12:41 ` Richard Stallman
2015-02-06 12:49   ` David Kastrup
2015-02-06 18:21     ` Richard Stallman
2015-02-06 19:00       ` Stefan Monnier
2015-02-07  8:46         ` Helmut Eller
2015-02-07 10:18           ` David Kastrup
2015-02-07 11:42             ` Helmut Eller
2015-02-07 11:53               ` David Kastrup
2015-02-09  0:06             ` Richard Stallman
2015-02-09  3:27               ` Stephen J. Turnbull
2015-02-15 22:50                 ` Richard Stallman
2015-02-16  5:19                   ` Stephen J. Turnbull
2015-02-16 16:23                     ` Richard Stallman
2015-02-09 11:21               ` David Kastrup
2015-02-09 14:21                 ` Stefan Monnier
2015-02-09 22:07                   ` Richard Stallman
2015-02-09 23:59                     ` David Kastrup
2015-02-10  2:40                     ` Stefan Monnier
2015-02-10  3:52                       ` Eli Zaretskii
2015-02-10  8:59                         ` David Kastrup
2015-02-10 16:00                           ` Eli Zaretskii
2015-02-10 16:41                             ` David Kastrup
2015-02-10 16:58                               ` Eli Zaretskii
2015-02-11  3:43                                 ` Stephen J. Turnbull
2015-02-11  3:47                                   ` Daniel Colascione
2015-02-11 10:37                                     ` David Kastrup
2015-02-11 10:51                                       ` Daniel Colascione
2015-02-11 13:22                                         ` Stephen J. Turnbull
2015-02-11 16:07                                           ` Eli Zaretskii
2015-02-12 16:26                                             ` Eli Zaretskii
2015-02-12 17:42                                               ` Daniel Colascione
2015-02-12 20:15                                                 ` Eli Zaretskii
2015-02-11 15:54                                         ` Eli Zaretskii
2015-02-11 23:12                                         ` Richard Stallman
2015-02-11 15:42                                     ` Eli Zaretskii
2015-02-11 15:41                                   ` Eli Zaretskii
2015-02-12  4:20                                     ` Stephen J. Turnbull
2015-02-12 11:23                                       ` David Kastrup
2015-02-12 13:13                                         ` Stephen J. Turnbull
2015-02-12 15:52                                         ` Eli Zaretskii
2015-02-11  4:26                               ` Stephen J. Turnbull
2015-02-11  7:44                                 ` Nicholas Allegra
2015-02-11 15:43                                 ` Eli Zaretskii
2015-02-11 16:21                                   ` Stefan Monnier
2015-02-11 16:27                                     ` David Kastrup
2015-02-11 16:42                                     ` Eli Zaretskii
2015-02-12  5:41                                   ` Stephen J. Turnbull
2015-02-12 16:33                                     ` Eli Zaretskii
2015-02-12 18:29                                       ` Stephen J. Turnbull
2015-02-12 17:34                                     ` Richard Stallman
2015-02-10 17:03                         ` David Engster
2015-02-10 17:18                           ` Eli Zaretskii
2015-02-10 17:36                             ` David Engster
2015-02-10 19:15                               ` Eli Zaretskii
2015-02-10 20:25                                 ` David Engster
2015-02-10 22:49                               ` Richard Stallman
2015-02-11 10:35                                 ` David Kastrup
2015-02-11 23:12                                   ` Richard Stallman
2015-02-10 18:07                             ` David Kastrup
2015-02-10 19:21                               ` Eli Zaretskii
2015-02-10 20:33                           ` Stefan Monnier
2015-02-11 23:08                           ` Richard Stallman
2015-02-09 16:08                 ` Eli Zaretskii
2015-02-09 22:08                   ` Richard Stallman
2015-02-09 20:00               ` Florian Weimer
2015-02-07 14:46           ` Stefan Monnier
2015-02-07 22:40         ` Richard Stallman
2015-02-07 23:04           ` David Kastrup
2015-02-08  0:15           ` Eric S. Raymond
2015-02-08  0:51             ` David Kastrup
2015-02-09 20:04             ` Perry E. Metzger
2015-02-10 22:49               ` Richard Stallman
2015-02-11 16:17                 ` Perry E. Metzger
2015-02-11 23:13                   ` Richard Stallman
2015-02-11 23:37                     ` Perry E. Metzger
2015-02-12 11:22                       ` David Kastrup
2015-02-12 14:45                         ` Stephen J. Turnbull
2015-02-12 17:34                       ` Richard Stallman
2015-02-13 10:11                       ` Tom
2015-02-13 10:20                         ` Eli Zaretskii
2015-02-13 10:27                           ` Tom
2015-02-13 11:00                             ` Eli Zaretskii
2015-02-14 15:22                             ` Richard Stallman
2015-02-12 11:08                     ` David Kastrup
2015-02-14 15:22                       ` Richard Stallman
2015-02-11 23:13                   ` Richard Stallman
2015-02-12 10:28                     ` David Kastrup [this message]
2015-02-13  9:25                       ` Richard Stallman
2015-02-09 20:13             ` Florian Weimer
2015-02-10 22:49               ` Richard Stallman
2015-02-08  3:55           ` Liang Wang
2015-02-08  9:30             ` David Kastrup
2015-02-09  0:04             ` Richard Stallman
2015-02-09  8:47               ` David Kastrup
2015-02-09 22:07                 ` Richard Stallman
2015-02-09 23:03                   ` David Kastrup
2015-02-11 23:09                     ` Richard Stallman
2015-02-09 16:15               ` Robin Templeton
2015-02-09 20:13                 ` Perry E. Metzger
2015-02-09 22:08                 ` Richard Stallman
2015-02-10  8:24                   ` Helmut Eller
2015-02-10  9:31                     ` David Kastrup
2015-02-10 10:44                       ` Helmut Eller
2015-02-10 10:53                         ` David Kastrup
2015-02-10 12:45                           ` Helmut Eller
2015-02-10 13:35                             ` David Kastrup
2015-02-10 15:42                             ` Yann Hodique
2015-02-10 16:11                               ` David Kastrup
2015-02-10 22:49                         ` Richard Stallman
2015-02-11 10:20                           ` David Kastrup
2015-02-11 15:16                             ` Stefan Monnier
2015-02-11 23:13                               ` Richard Stallman
2015-02-09 20:06               ` Florian Weimer
2015-02-09 20:34                 ` David Kastrup
2015-02-10 22:46                 ` Richard Stallman
2015-02-06 19:21       ` David Kastrup
2015-02-07  5:50       ` Stephen J. Turnbull
2015-02-06 14:57   ` Stefan Monnier
2015-02-07 12:44     ` Richard Stallman
2015-02-07 14:48       ` Stefan Monnier
2015-02-07 22:41         ` Richard Stallman

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87k2znpgnp.fsf@fencepost.gnu.org \
    --to=dak@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=esr@thyrsus.com \
    --cc=monnier@iro.umontreal.ca \
    --cc=perry@piermont.com \
    --cc=rms@gnu.org \
    --cc=slewsys@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.