From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ian Grant Newsgroups: gmane.lisp.guile.devel,gmane.comp.gnu.lightning.general Subject: Re: Verifying Toolchain Semantics Date: Tue, 7 Oct 2014 13:56:21 -0400 Message-ID: References: <87mw9dfz8l.fsf@netris.org> <20141005065858.GA16595@fencepost.gnu.org> <20141006042323.GA31390@fencepost.gnu.org> <87y4srlrg6.fsf@yeeloong.lan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1412704837 2249 80.91.229.3 (7 Oct 2014 18:00:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 7 Oct 2014 18:00:37 +0000 (UTC) Cc: Markus Kuhn , lightning , Richard Stallman , guile-devel To: Mark H Weaver Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Oct 07 20:00:32 2014 Return-path: Envelope-to: guile-devel@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 1XbZ3o-0006nH-4H for guile-devel@m.gmane.org; Tue, 07 Oct 2014 20:00:32 +0200 Original-Received: from localhost ([::1]:60190 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbZ3n-0000g4-4o for guile-devel@m.gmane.org; Tue, 07 Oct 2014 14:00:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36853) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbYzs-0002VX-Pk for guile-devel@gnu.org; Tue, 07 Oct 2014 13:56:29 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XbYzr-0007FT-Gj for guile-devel@gnu.org; Tue, 07 Oct 2014 13:56:28 -0400 Original-Received: from mail-wi0-x22d.google.com ([2a00:1450:400c:c05::22d]:58903) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbYzn-0007Dz-3z; Tue, 07 Oct 2014 13:56:23 -0400 Original-Received: by mail-wi0-f173.google.com with SMTP id fb4so8703252wid.6 for ; Tue, 07 Oct 2014 10:56:21 -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=5CyJSWuzriSlhqYhFumrq2oCkBWHSm+bUxlg2z3nfFs=; b=kwg6l0b9zXXYn5V/WwGRApYygKzowasUWl0+92+443djgHPgq7lP2ZHZUQ9Ilnu6lk qHnxQUiwFvZQ6x4k6wQY5xch5k9nh9yR8pjUq9rwVV72lswI0LN4YH4k2+llSLsosmcs UURz/ARFQpH7XumuRAv2Xp/ttjx4hSyLDnE7WMgLE1poQe2F44N26nnBiUNxQjGQoQtX TxcPJa5/Jo7RbdK+h7dsYUsyLsYhdnCioqnF9nXLKVyJQ1rFALz5YKAgVbrHfCy6A7jj 1dnmkcjEAPRxo6BfwaXjPUtvGNKzZ1CLPo075NXU7JKMVtonIblHUKInruNd6CNhe5hq vt3A== X-Received: by 10.180.75.4 with SMTP id y4mr8540457wiv.47.1412704581878; Tue, 07 Oct 2014 10:56:21 -0700 (PDT) Original-Received: by 10.194.77.49 with HTTP; Tue, 7 Oct 2014 10:56:21 -0700 (PDT) In-Reply-To: <87y4srlrg6.fsf@yeeloong.lan> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c05::22d X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:17565 gmane.comp.gnu.lightning.general:605 Archived-At: On Tue, Oct 7, 2014 at 1:28 PM, Mark H Weaver wrote: > Ian, please stop posting to guile-devel. You've made your points, and > I've even called attention to what I think is the best exposition of > your ideas. At this point you're just repeating yourself and hurling > gratuitous insults. Enough! Well, it's insulting when you speak to me like a child, and when you make childish suggestions about my motives for posting to this list. But I don't complain, and I certainly wouldn't attempt what William calls "silencing tactics". . Remember, we're making a movie about this, and the whole world is watching what we say to each other, and it is all a matter of public record, distributed across thousands of independent machines, I am responding constructively to questions asked me by a guile developer who is also an official representative of the FSF. Will the FSF prevent me from doing so on an FSF forum. And if so, will any guile developers respond to the mails I sent regarding guile? The one about throw-handlers, and the one about block-allocations of cons cells, the one about a liightning interface for guile. (People will want to know why you ignored that.) and the one about 50,000 lines of shell script with no explanation for things like this which are basically setting up for an exploit. Once this sets the environment variable, any programs knows it's on a back-level Solaris install, and can infer a catalogue of exploits. But why is this check necessary anyway? I know this not guile-specific, but it relates to my original suggestion which was to replace autoconf with an abstract prolog database for inferring system properties from formal descriptions, and which wouldn't be vulnerable to this sort of nonsense., This is something to which guile is ideally suited. In short, no I won't stop responding to people who make stupid comments on this list, either about me, or things I've written on this list. Speaking of which, what is the name and version of the program that your emacs uses for "pdf->png" conversion? Your report, blaming me for sending bad PDF, indicates a fairly fundamental misunderstanding of what a program meant to do when it reads a file that supposed to be in a defined format. And lastly, just be happy we're not discussing the FSFs 2013 financial filing, which you presumably haven't read, because it's a PDF file ... Ian as_nl=' ' export as_nl # Printing a long string crashes Solaris 7 /usr/bin/printf. as_echo='\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\' as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo$as_echo # Prefer a ksh shell builtin over an external printf program on Solaris, # but without wasting forks for bash or zsh. if test -z "$BASH_VERSION$ZSH_VERSION" \ && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then as_echo='print -r --' as_echo_n='print -rn --' elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then as_echo='printf %s\n' as_echo_n='printf %s' else if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"' as_echo_n='/usr/ucb/echo -n' else as_echo_body='eval expr "X$1" : "X\\(.*\\)"' as_echo_n_body='eval arg=$1; case $arg in #( *"$as_nl"*) expr "X$arg" : "X\\(.*\\)$as_nl"; arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;; esac; expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl" ' export as_echo_n_body as_echo_n='sh -c $as_echo_n_body as_echo' fi export as_echo_body as_echo='sh -c $as_echo_body as_echo' fi > Mark