From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ian Grant Newsgroups: gmane.comp.gnu.lightning.general,gmane.lisp.guile.devel Subject: Re: Bug free programs Date: Wed, 17 Sep 2014 14:11:35 -0400 Message-ID: References: <20140917005748.8CXVB.21497.root@cdptpa-web03> <8738brsz82.fsf@yeeloong.lan> <87a95yp341.fsf@yeeloong.lan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1410977510 14842 80.91.229.3 (17 Sep 2014 18:11:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 17 Sep 2014 18:11:50 +0000 (UTC) Cc: lightning , dsmich-XauvlLoUTru+XT7JhA+gdA@public.gmane.org, guile-devel To: Mark H Weaver Original-X-From: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Wed Sep 17 20:11:45 2014 Return-path: Envelope-to: gcglg-lightning@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XUJhh-0005nC-HD for gcglg-lightning@m.gmane.org; Wed, 17 Sep 2014 20:11:45 +0200 Original-Received: from localhost ([::1]:46649 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XUJhh-0002uK-31 for gcglg-lightning@m.gmane.org; Wed, 17 Sep 2014 14:11:45 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39123) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XUJhd-0002uF-Oa for lightning-mXXj517/zsQ@public.gmane.org; Wed, 17 Sep 2014 14:11:42 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XUJhc-0003UD-1k for lightning-mXXj517/zsQ@public.gmane.org; Wed, 17 Sep 2014 14:11:41 -0400 Original-Received: from mail-wg0-x232.google.com ([2a00:1450:400c:c00::232]:41690) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XUJhb-0003TA-Nr; Wed, 17 Sep 2014 14:11:40 -0400 Original-Received: by mail-wg0-f50.google.com with SMTP id x13so1794292wgg.33 for ; Wed, 17 Sep 2014 11:11:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=mLvm1M1nfkbYsxOYFAO7XHZg0yPmlqU+8RHWPXGps8g=; b=Ss+bbqm5D09TD4etnO2LiqpSEJpdZQUyZotNb1pJPLd45R36C2k9eD5IInCh5YR3SC ZI6VD/19VmHZ8mY2L3rEnOqqMjWO8JinKJARlmR5Rk2VFCu8e8lXGNezA92F5ehwyM3O bJccy7NulH5196EYFVs9fJ5PEPXhMGHIadVrF/6Xm3f1W+TM55AVWw1w6wP4t0p7Eq62 T+KP8sC4mr35drmt1v6izXBSBiDE0YG2z1bN4wPcGCEomxulg6wK5IStEIzL65lQcevC pS8RRO4eTSK1cUJ3CAq2yi2H6Hh7Jv2EIA6cvHNq4+pZGBwUrCpWLOHetsz9Qwf1kF/G BpIQ== X-Received: by 10.180.97.196 with SMTP id ec4mr22602675wib.47.1410977495898; Wed, 17 Sep 2014 11:11:35 -0700 (PDT) Original-Received: by 10.194.81.194 with HTTP; Wed, 17 Sep 2014 11:11:35 -0700 (PDT) In-Reply-To: <87a95yp341.fsf-Ir+b6ulHfbb+AlalS6MPSg@public.gmane.org> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c00::232 X-BeenThere: lightning-mXXj517/zsQ@public.gmane.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Original-Sender: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Xref: news.gmane.org gmane.comp.gnu.lightning.general:591 gmane.lisp.guile.devel:17472 Archived-At: On Wed, Sep 17, 2014 at 1:29 PM, Mark H Weaver wrote: > Hi Ian, > > I'm going to try to ignore your gratutious and unfounded insults, They are indeed gratuitous. Think of them as a sort of free software. > because I agree that the problem you are trying to solve is an important > one, and believe it or not, you'd be hard pressed to find anyone else in > the GNU project who worries about this issue as much as I do. I have no trouble at all believing that. That doesn't mean I think you know what you're talking about though. > For example, on an internal GNU mailing list, I complained when GCC > switched to using C++ because it vastly increases the complexity of the > simplest compiler that's able to bootstrap it. It's OK. As long they maintain one of the older gcc versions which builds a g++ compiler from a C base, there's not much extra work involved at all. > The reason is that for a few years now, I've very seriously considered > dedicating myself to developing a bootstrap procedure that starts with > raw machine code running on bare metal and ends with a working GNU > toolchain. It's a good thing inertia prevailed, because that would have been a complete and utter waste of time. But tell me, how were you planning to load the machine code into the memory? Were you going to solder up a front-panel loader and bootstrap it by setting the address and data lines and pressing 'WRITE'? I hope you weren't planning to make a paper tape reader! > I've also considered more practical approaches such as: lock a > (preferably older) computer inside a Faraday cage to prevent > communication with the outside world, thus limiting the intelligence > that any Thompson virus can have, while I write a very simple and novel > C compiler that's capable of bootstrapping GCC and the rest of the > toolchain, and then printing the result to paper in a form that can be > scanned reliably -- a task I have some experience with, since I led the > development of the scannable PGP source code books that allowed PGP to > be legally exported from the US fo the first time, along with the tools > needed to convert the paper books back into electronic form with modest > effort. What is the point of printing it on paper? How 'novel' is your C compiler going to be once you've distributed it? Was it going to be Free Software? If it had a bug, would you distribute an update? > Wow. Did you try telling that to RMS, who made the same suggestion? No, because he didn't make it a condition of him reading it: he had already read it when he made that suggestion. > I read plenty of PDFs. They are inconvenient, but I suffer that > inconvenience on a regular basis, when I have reason to believe that I > might learn something new from them. So far, not a single person has > recommended your paper to me except you, I don't need people to recommend papers before I read them. > nor have I learned anything I didn't already know from the emails > you've written, at least not from the prefixes of those emails that > I've read before losing interest. Why did you think I hadn't noticed that? > I'm not saying that you don't have something to teach me. Maybe you do, I don't think I could teach you anything. > but if so, you must learn the art of capturing the interest of your > readers long enough to convince them that they should continue reading. No, I don't need to do that because I'm not selling anything. There's nothing I need from the Free Software Foundation. The Free Software Foundation on the other hand, very desperately needs to know what I know about GNU software. > At present, you're in the position of having to convince me that you're > ideas are worth studying, not the other way around, and I suspect I'm > not alone. It would help to tell me something I didn't already know, in > ASCII, as concisely as possible. I have told you lots, and in a very few words. You just need to actually think about it. And you will, because, until you understand that in fact you know NOTHING about what the computer you are using to read this message is actually doing, there won't pass a single day of your life that you don't think about what I am telling you now. Happy hacking, until you learn something about software engineering. Ian