comp.lang.ada
 help / color / mirror / Atom feed
From: David Trudgett <wpower@zeta.org.au.nospamplease>
Subject: Re: GNAT GPL Edition Maintenance and Upgrades
Date: Thu, 06 Oct 2005 11:18:06 +1000
Date: 2005-10-06T11:18:06+10:00	[thread overview]
Message-ID: <m364sb30kx.fsf@rr.trudgett> (raw)
In-Reply-To: 1128510619.707554.152420@f14g2000cwb.googlegroups.com

"Ludovic Brenta" <ludovic@ludovic-brenta.org> writes:

> Jean-Pierre Rosen a �crit :
>
>> Ludovic Brenta a �crit :
>> > [1] Quite to the contrary; the more I hear the "selfish argument",
>> > the more I feel inclined to package GNAT GPL Edition, just to teach
>> > selfish people that if they refuse to give, then they cannot take,
>> > as Georg Bauhaus said so nicely.
>> >
>> Not a formal vote, but...
>>
>> I think that this argument goes *against* the spirit of free software.
>> As far as I can understand, the basis of free software is "you can do
>> anything with this software, *except* deny to others the rights you have
>> received". Anything, including proprietary software.

Jean-Pierre is quite correct in this, and in his later (in other post)
analogy with the Gimp. 

Free Software is, in fact, antithetical to software copyrights, point
blank, no qualifications needed, since that is the only thing that
makes "proprietary software" proprietary (internal software, aka trade
secrets, do not enter into this). Thus, the FSF's use of copyright to
fight copyright is ironic, if not hypocritical. (Probably the only
thing saving it from *total* hypocrisy would be apparent if one were
to suppose that the only reason "copyleft" is effective is because
*other* people believe in copyright. However, that supposition would
be ruled out the first time the FSF were to defend the GPL in a court
of -violence- I mean law. I don't personally know if the FSF has ever
prosecuted anyone over the GPL, but the consequences are obvious if
they have.)


>
> Precisely.  With the GMGPL, you receive the right to see and modify the
> source code of the GNAT run-time; but you can also deny others this
> same right.  

This is just ingenuous, Ludovic. That means you are verging on
dishonesty, but perhaps you wrote it at three in the morning. You know
very well that (a) no one can be denied the right to see and modify
the source code of the GNAT run-time, which flatly contradicts what
you said; and (b) if one is going to deny the source of one's whole
program, then denying them also one's (hypothetical) mods to the
run-time is *totally* and *utterly* (did I emphasise that enough?)
irrelevant. You also must further know that very few *if anyone* would
be interested in making significant modifications to the run-time
while *keeping them secret*, because *no benefit* would accrue to the
proprietary software developer, but in fact precisely the opposite,
because those "secret" modificiatons will have to be done over and
over again for each new compiler/run-time[*] release.

    [*] Notice I say compiler/run-time. The distinction between
        compiler and run-time is artificial.

Furthermore, (but the usual IANAL applies) it is far from clear
whether one is even legally *allowed* to make modifications to the
GNAT run-time and then distribute in binary-only form. Whether that is
so or not, it would certainly seem to be against the spirit of the
licence, if not the letter, to produce such binary distributions. The
GMGPL simply "allows" one to link one's proprietary code; it does not
give open slather on the GMGPL'ed code itself (the run-time).

All of this you must know, yet you have apparently either made an
inexplicable [**] mistake, or you chose to misrepresent the case, or
you are not being intellectually honest even with yourself.

    [**] We all make mistakes, but inexplicable ones happen less
         often. Yours seems inexplicable because one supposes that you
         have given the subject serious thought and are not just
         writing the first thing that pops into your mind.


> The GPL is more "free" than the GMGPL, since with it you
> cannot deny others this right anymore.  

As noted above, this is an entirely bogus claim.


> This is the "free" spirit as defined by Stallman and the FSF.  The
> BSD license does allow you to deny rights to others, and has a
> different definition of "free".

You're in error here. Stallman counts the BSD licence as being free,
just not "copyleft":

    Releasing your code under one of the BSD licenses, or some other
    permissive non-copyleft license, is not doing wrong; the program
    is still free software, and still a contribution to our
    community. But it is weak, and in most cases it is not the best
    way to promote users' freedom to share and change software.

        -- http://www.gnu.org/philosophy/why-copyleft.html


But why does RMS think that BSD is weak? Here is the answer:

    Someone who uses your code in a non-free program is trying to deny
    freedom to others, and if you let him do it, you're failing to
    defend their freedom.

        -- ibid.

In other words, Stallman is advocating that one should use the
violence of the law against other people in order to stamp on their
freedom of action, for what other meaning can, "you let him do it,"
and, "failing to defend their freedom," have?

RMS makes a fundamental mistake here. Refusing to use violence is not
equivalent to letting someone do something. It is simply acknowledging
that violence is not a legitimate means to stop someone from doing
something. Just ask yourself a simple question, "Would Jesus see a
lawyer to have someone thrown into jail for violating his
'copyright'?" All good people who know anything about Jesus know the
answer to that question in their hearts. It's something for anyone
calling himself or herself a Christian to think about. Other people
are free to ignore it, if they wish...

Note that none of this is defending proprietary software distribution
(but I have no problem with internal or "trade secret" software). It
is pointing out that proprietary software (distributed) is wrong for
the same reason that copylefted software (if taken seriously) is
wrong: it employs violence or the threat of violence against people.

The FSF says that proprietary software is wrong because it denies
freedoms to people, yet it then uses the very same legal tool to deny
freedoms to people. Is it difficult to see hypocrisy in this? It's
either hypocrisy or ingenuousness (in the case that copyright law is
being used in bad faith, i.e., while not believing in it).

Richard Stallman says that the only freedom denied by the GPL is the
freedom to deny other people freedom. This is just not true. For a
start, it denies the freedom to choose one's own Free Software
licensing terms, and to incorporate other software licensed under
different Free terms. As we have seen with the GNAT GPL, it can also
deny people the right to license their own software any way they wish,
which may even include restrictive, unfree terms. The fact that we may
believe it is wrong [***] to impose such terms, does not make it
legitimate for us to use violence (something which is also wrong) in
order to have our way over the will of another person. It is doubly
wrong in that we are *not* gods who can know all about everyone and
every possible situation and therefore be in a position to sit in
judgement. [****]

    [***] Note that I do not say 'immoral'. Immorality consists not
          only in doing something wrong, but also in knowing that what
          one is doing is wrong.

    [****] It may be of interest to Christians, that Christ, according
           to conventional Christian doctrine, was in precisely this
           position, yet even he refused to judge.


>
>> The GPL edition is a big mistake made by AdaCore, both from a marketing
>> and a popularity point of view. 

True. One does not win friends by bludgeoning them, but by treating
them with respect. Contempt for freedom in the name of freedom is
especially obnoxious... especially since we know that ACT is not in the
business of promoting freedom, but of making a profit. That is the
corporate imperative, after all.


David


-- 

David Trudgett
http://www.zeta.org.au/~wpower/

In ancient times tyrants got credit for the crimes they committed, but
in our day the most atrocious infamies, inconceivable under the Neros,
are perpetrated and no one gets blamed for them.

One set of people have suggested, another set have proposed, a third
have reported, a fourth have decided, a fifth have confirmed, a sixth
have given the order, and a seventh set of men have carried it out.
They hang, they flog to death women, old men, and innocent people, as
was done recently among us in Russia at the Yuzovsky factory, and is
always being done everywhere in Europe and America in the struggle
with the anarchists and all other rebels against the existing order;
they shoot and hang men by hundreds and thousands, or massacre
millions in war, or break men's hearts in solitary confinement, and
ruin their souls in the corruption of a soldier's life, and no one is
responsible.

    -- Leo Tolstoy, "The Kingdom of God is Within You"




  parent reply	other threads:[~2005-10-06  1:18 UTC|newest]

Thread overview: 79+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-10-04 20:15 GNAT GPL Edition Maintenance and Upgrades Marc A. Criley
2005-10-05  8:04 ` Ludovic Brenta
2005-10-05  8:58   ` michael bode
2005-10-05  9:39   ` Jean-Pierre Rosen
2005-10-05 11:10     ` Ludovic Brenta
2005-10-05 12:50       ` Jean-Pierre Rosen
2005-10-05 14:06         ` Ludovic Brenta
2005-10-05 14:40           ` Ludovic Brenta
2005-10-05 15:38           ` Jean-Pierre Rosen
2005-10-05 16:22           ` Poul-Erik Andreasen
2005-10-05 18:28           ` Dr. Adrian Wrigley
2005-10-13 21:13           ` wojtek
2005-10-05 14:06       ` Alex R. Mosteo
2005-10-05 15:02         ` Ludovic Brenta
2005-10-05 21:25       ` Björn Persson
2005-10-06  1:18       ` David Trudgett [this message]
2005-10-06  7:18         ` David Trudgett
2005-10-06  8:03         ` Georg Bauhaus
2005-10-06  8:53         ` Hyman Rosen
2005-10-05 12:25   ` Marc A. Criley
2005-10-05 18:17   ` Jeffrey R. Carter
2005-10-05 18:28     ` Ludovic Brenta
2005-10-06 18:20       ` Jeffrey R. Carter
2005-10-06 19:20         ` Hyman Rosen
2005-10-06 22:27         ` Simon Wright
2005-10-07  5:25           ` Jeffrey R. Carter
2005-10-07  5:54             ` Simon Wright
2005-10-07 18:43               ` Jeffrey R. Carter
2005-10-08  6:18                 ` Simon Wright
2005-10-07 11:57             ` Simon Clubley
2005-10-07 12:29               ` Georg Bauhaus
2005-10-07 12:50               ` Jeff Creem
2005-10-25 15:44                 ` Samuel Tardieu
2005-10-25 16:35                   ` Szymon Guz
2005-10-26 13:43                     ` Martin Krischik
2005-10-25 20:47                   ` Georg Bauhaus
2005-10-25 21:13                     ` Samuel Tardieu
2005-10-25 22:29                       ` Georg Bauhaus
2005-10-25 22:41                         ` Samuel Tardieu
2005-10-26 10:53                           ` Georg Bauhaus
2005-10-26 10:12                     ` Steve Whalen
2005-10-27 11:02                       ` Georg Bauhaus
2005-10-27 13:39                         ` Hyman Rosen
2005-10-27 14:05                           ` Szymon Guz
2005-10-27 14:25                             ` Pascal Obry
2005-10-27 15:50                             ` Georg Bauhaus
2005-10-27 16:59                               ` Jean-Pierre Rosen
2005-10-27 17:09                                 ` Szymon Guz
2005-10-27 17:33                                   ` Pascal Obry
2005-10-27 19:18                                   ` Georg Bauhaus
2005-10-27 19:49                                     ` Szymon Guz
2005-10-27 19:14                                 ` Georg Bauhaus
2005-10-28  6:41                                   ` Jean-Pierre Rosen
2005-10-30 14:17                                     ` Martin Krischik
2005-10-30 17:44                                       ` Jeff Creem
2005-10-30 19:53                                       ` Anh Vo
2005-10-28  5:10                         ` Steve Whalen
2005-10-28 11:18                           ` Georg Bauhaus
2005-10-28 11:47                             ` Maciej Sobczak
2005-10-28 12:34                               ` none
2005-10-28 12:35                               ` Emmanuel Briot
2005-10-28 12:35                               ` Martin Dowie
2005-10-28 14:14                                 ` Maciej Sobczak
2005-10-28 21:35                               ` Jeffrey R. Carter
2005-10-29 12:25                               ` Jeff Creem
2005-10-28  5:41                         ` Steve Whalen
2005-10-28  8:38                           ` Hyman Rosen
2005-10-28 10:20                             ` Niklas Holsti
2005-10-28 18:07                             ` Michael Bode
2005-10-31 14:58                             ` Marc A. Criley
2005-11-01 16:54                             ` Jacob Sparre Andersen
2005-11-01 16:40                               ` Georg Bauhaus
2005-11-02 16:15                                 ` Jacob Sparre Andersen
2005-11-02 17:36                             ` Steffen Huber
2005-11-02 19:08                               ` Martin Dowie
2005-11-02 19:09                               ` Stefan Bellon
2005-10-28 18:52                   ` Larry Kilgallen
2005-11-02 21:14                   ` Larry Kilgallen
2005-10-07 23:11               ` Björn Persson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox