From owner-freebsd-questions@freebsd.org Mon Apr 20 05:49:50 2020 Return-Path: Delivered-To: freebsd-questions@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id B8E1F2B7566 for ; Mon, 20 Apr 2020 05:49:50 +0000 (UTC) (envelope-from aryeh.friedman@gmail.com) Received: from mail-io1-xd32.google.com (mail-io1-xd32.google.com [IPv6:2607:f8b0:4864:20::d32]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "GTS CA 1O1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 495G4F670Zz3C6S for ; Mon, 20 Apr 2020 05:49:49 +0000 (UTC) (envelope-from aryeh.friedman@gmail.com) Received: by mail-io1-xd32.google.com with SMTP id b12so9599429ion.8 for ; Sun, 19 Apr 2020 22:49:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=a3AF/cJkBxLi4ocDuS2fd19gkml943+XsfjrCFKFHhQ=; b=exYrSBjhvnmXqde2dG2Qa4T/899wXRQozZvUCuDc8EwbHj32l/cd8bnESPzqB4knJZ ZAE3h+JFsgEayoBY0/nt0j2do+eg7+0JYyimMy9Q04Knjpo+WI6R39AL91MY3IzwNmrW O0MWfEF+mazQNsJmSQpZZAIYlC+5ILkuSl9B02Irsbf1Mg8Aw2c2q2/EibHGaepsRTKD 0t01yu2Ob/Y5RQffG2eSZoVCWkTPiY3ixbHaijHR2BE64fkwd3VqFNSeWD8rth8PH2Ql UuM5ae/vNqGqTTn97y+BQmorxIk8vQGzWr6fu6oXuRZa8vw6Sur6xGHtjYx9BdelSU57 iBOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=a3AF/cJkBxLi4ocDuS2fd19gkml943+XsfjrCFKFHhQ=; b=G3L+0nwCcunIjHTDq7NHAg2Qrw+kk/cKBLAugEUfR1BCh92jRI7w6RzStwrzAuQrjH ABFTPcNWar/t+5cHrTUXbqTkyqBJz/RqGyovDbIf/PwLqko3+FDRa7NfUimO+Jc2Om69 CsG/5CH5L3GsMat2aqwxsovggJ87CtyO0dYwaXF2TiX5li4H4wkedwPx161hgwVYUdyn p2ppGcV585rTt1b86zKFkbLrsH4EbvpO3g1DNF5Dxwddz1yLdUnt/lKPO01gMZjSwHJH 65eXz+ItUE1OmnxlLVrCJM5hr8uHEjk+hrcrGLvAsSatrO10MLn0tsFwwM4C4Yi+4eKc aQvQ== X-Gm-Message-State: AGi0PuYs1dh1IpNdrUk2Egq0gqKkDBSGKrzBt9Rgup4St+uyCJC4gXom KSgwRiIlqn0m82y9iiQ0eWG0foZzkUOHt2Mqt4Vq/Si5C00= X-Google-Smtp-Source: APiQypJF3jGbWdURb+ZPhqT6NIzJu1q31OKyoazeoilBU0/i+XPJqep75+JKCaRFKMfF5ljTG2v8sha4sLMMauRGUUo= X-Received: by 2002:a6b:fc0d:: with SMTP id r13mr13792847ioh.89.1587361788266; Sun, 19 Apr 2020 22:49:48 -0700 (PDT) MIME-Version: 1.0 References: <681077991.2278153.1587146552233@mail.yahoo.com> <20200417213025.16ba5877.freebsd@edvax.de> <1659102270.119843446.1587168373188.JavaMail.zimbra@shaw.ca> <20200418092801.20d10f5b@archlinux> <20200419234351.GA88082@neutralgood.org> <20200420040640.GA23751@neutralgood.org> In-Reply-To: <20200420040640.GA23751@neutralgood.org> From: Aryeh Friedman Date: Mon, 20 Apr 2020 01:49:36 -0400 Message-ID: Subject: Re: freebsd should be rewritten based on microkernel architecture To: "Kevin P. Neal" Cc: FreeBSD Mailing List X-Rspamd-Queue-Id: 495G4F670Zz3C6S X-Spamd-Bar: - Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20161025 header.b=exYrSBjh; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (mx1.freebsd.org: domain of aryehfriedman@gmail.com designates 2607:f8b0:4864:20::d32 as permitted sender) smtp.mailfrom=aryehfriedman@gmail.com X-Spamd-Result: default: False [-2.00 / 15.00]; R_SPF_ALLOW(-0.20)[+ip6:2607:f8b0:4000::/36:c]; FREEMAIL_FROM(0.00)[gmail.com]; URI_COUNT_ODD(1.00)[15]; TO_DN_ALL(0.00)[]; DKIM_TRACE(0.00)[gmail.com:+]; RCPT_COUNT_TWO(0.00)[2]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; FROM_EQ_ENVFROM(0.00)[]; IP_SCORE(0.00)[ip: (-5.31), ipnet: 2607:f8b0::/32(-0.33), asn: 15169(-0.43), country: US(-0.05)]; MIME_TRACE(0.00)[0:+,1:+,2:~]; FREEMAIL_ENVFROM(0.00)[gmail.com]; ASN(0.00)[asn:15169, ipnet:2607:f8b0::/32, country:US]; TAGGED_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[gmail.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20161025]; FROM_HAS_DN(0.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; PREVIOUSLY_DELIVERED(0.00)[freebsd-questions@freebsd.org]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[2.3.d.0.0.0.0.0.0.0.0.0.0.0.0.0.0.2.0.0.4.6.8.4.0.b.8.f.7.0.6.2.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[] Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 20 Apr 2020 05:49:50 -0000 Top posting because one comment covers the entire range of issue you raised in a one size fits all manner. According to a interview with FSF's lead council (https://lwn.net/Articles/61292/) he makes the following claims: 1. Because GPL is it self GPL'ed (yes recursive licensing) it gives FSF standing in any and all cases involving GPL regardless of copyright holder. The details have to deal with the fact that GPL is not just a copyrighted document but an (recursively) enforceable license 2. It is a license *NOT* a contract (specifically because the user gives no consideration and signs nothing) 3. Due to it being a copyright infringement (and perhaps patent issues but since GPL does not forbid the use of trademarks no other IP is involved) the jurisdiction is federal and federal only The one district court discussed below doesn't agree but no other court has weighed in one way or the other. On Mon, Apr 20, 2020 at 12:06 AM Kevin P. Neal wrote: > On Sun, Apr 19, 2020 at 08:33:49PM -0400, Aryeh Friedman wrote: > > On Sun, Apr 19, 2020 at 7:44 PM Kevin P. Neal <[1]kpn@neutralgood.or= g > > > > wrote: > > > > On Sat, Apr 18, 2020 at 09:31:30AM -0400, Aryeh Friedman wrote: > > > Thus I suspect if push came to shove in a legal fight about the > > legality of > > > GPL forcing third parties that just happen to use a GPL'ed proje= ct > > to give > > > up all claims over how their work is used would likely > > unconstitutional. > > US courts generally prefer to make narrower decisions, and if a ca= se > > can > > be settled without answering constitutional questions then that's > > probably > > what the court would do. I seriously doubt a court would say > > anything at > > all about the constitutionality of the GPL. > > > > Of course they would likely use normal copyright law but the > > constitution is why IP law is federal but contract law is state. > > Uh, banana? > > I don't dispute that copyrights and patents are generally federal because > of the part of the US Constitution that you quoted. Of course, if Congres= s > has not yet stated that copyright covers a work then copyright law for > that work falls to the states. Congress is free to extend the scope of > federal copyright, which it did multiple times in the 20th century. > > Other forms of "IP" are _not_ covered by that clause but fall under other > clauses like the interstate commerce clause. Trademark, for example. Plus= , > forms of "IP" that haven't been addressed by Congress but have been > addressed > by states are covered by state law. Likeness rights, for example. Thus a > blanket statement like "IP law is federal" is incorrect. > > My statement about courts preferring more narrow rulings stands. > > > > FSF knows this and that is why they highly recommends you to > > assign all > > > intellectual property rights to FSF and/or the original author. > > > [2]https://www.gnu.org/licenses/gpl-faq.en.html#AssignCopyright > > I'm not going to waste time on that page. I'll just throw this in: > > One can only fight in court if one has "standing". The FSF has no > > standing > > to fight in court over violations of the license on code that, for > > example, > > I wrote. To establish standing the FSF needs something like holdin= g > > the > > rights themselves. > > > > There standing is obvious if the agreement is found to be null and > void > > in one case then it is likely weaken any claims any other user of th= e > > license makes (including FSF) thus if it was a class action suit the= n > > it is more then certain they would be included in the injured class.= =C3=82 > > Also since the license it self is copyrighted by FSF any violations = of > > it would be copyright infringement on the license it self (since the > > license is required to be included with any code you right). =C3=82 = So > > showing standing is trivial. > > A showing of standing on the text of the license is trivial because the > FSF holds the copyright on the text of the license. That doesn't give > standing for any copyrighted parts that are not owned by the FSF. Standin= g > on the license's text does not grant standing on anything that is shipped > with the license. Well, except perhaps in that one federal district. Mayb= e. > > > If you had read the page that you purposely skipped you would see th= ey > > make roughly the same argument and even though a federal judge > > I went back and looked at those pages. The FSF says it makes it "easier" > to enforce the GPL if rights are assigned to the FSF. This statement > sidesteps explaining what "easier" is. Standing is part of the issue that > the FSF is trying to address. > > And some of the FSF's pages are written by an actual skilled lawyer and > thus are more clear than what a non-lawyer can write. We're not lawyers > here. > > > interpreting state law declared in a non-UCC state that GPL was a > > contract they also said that FSF had defacto standing in all cases > > involving GPL.=C3=82 =C3=82 > > [3] > https://perens.com/2017/05/28/understanding-the-gpl-is-a-contract-co > > urt-case/ > > That case is only perhaps binding in that district. In the rest of the > country the case at most rises to the level of persuasive precedent. If > that, since the case was settled before a final ruling was made. So don't > assume that *nationwide* the FSF has "defacto standing" on copyrighted > works > when they have no rights to the work outside of the text of the bundled > license. > > -- > Kevin P. Neal http://www.pobox.com/~kpn/ > > "What is mathematics? The age-old answer is, of course, that mathematics > is what mathematicians do." - Donald Knuth > --=20 Aryeh M. Friedman, Lead Developer, http://www.PetiteCloud.org