[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
www/philosophy why-copyleft.html
From: |
Richard M. Stallman |
Subject: |
www/philosophy why-copyleft.html |
Date: |
Fri, 15 Dec 2017 05:36:17 -0500 (EST) |
CVSROOT: /web/www
Module name: www
Changes by: Richard M. Stallman <rms> 17/12/15 05:36:16
Modified files:
philosophy : why-copyleft.html
Log message:
Cleanups in the two examples of harm.
CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/philosophy/why-copyleft.html?cvsroot=www&r1=1.40&r2=1.41
Patches:
Index: why-copyleft.html
===================================================================
RCS file: /web/www/www/philosophy/why-copyleft.html,v
retrieving revision 1.40
retrieving revision 1.41
diff -u -b -r1.40 -r1.41
--- why-copyleft.html 11 Dec 2017 13:27:10 -0000 1.40
+++ why-copyleft.html 15 Dec 2017 10:36:14 -0000 1.41
@@ -56,15 +56,15 @@
<li>Those who released LLVM under a non-copyleft
license <a
href="https://www.anandtech.com/show/5238/nvidia-releases-cuda-41-cuda-goes-llvm-and-open-source-kind-of">enabled
nVidia to release a high-quality nonfree compiler</a> for its GPUs,
-while keeping its instruction set secret. This is why we can't write
-a free compiler for that platform. The nonfree adaptation of LLVM is
-all there is for those machines, and (without a big reverse
-engineering job) all there ever will be.</li>
+while keeping its instruction set secret. Thus, we can't write a free
+compiler for that platform without a big reverse engineering job. The
+nonfree adaptation of LLVM is the only compiler for those machines,
+and is likely to remain so.</li>
<li>Intel uses
<a
href="http://www.tomshardware.com/news/google-removing-minix-management-engine-intel,35876.html">a
proprietary version of the MINIX system</a>, which is free but not
-copylefted, in the Management Engine back hole in its modern
+copylefted, in the Management Engine back door in its modern
processors.</li>
</ul>
@@ -125,7 +125,7 @@
<p class="unprintable">Updated:
<!-- timestamp start -->
-$Date: 2017/12/11 13:27:10 $
+$Date: 2017/12/15 10:36:14 $
<!-- timestamp end -->
</p>
</div>