From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Philip Herron Newsgroups: gmane.comp.gnu.lightning.general,gmane.lisp.guile.devel Subject: Re: Verifying Toolchain Semantics Date: Tue, 7 Oct 2014 20:24:05 +0100 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="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1412709863 2052 80.91.229.3 (7 Oct 2014 19:24:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 7 Oct 2014 19:24:23 +0000 (UTC) Cc: Richard Stallman , guile-devel , Mark H Weaver , Markus Kuhn , Mike Gerwitz , lightning To: Ian Grant Original-X-From: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Tue Oct 07 21:24:13 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 1XbaMn-00057l-4e for gcglg-lightning@m.gmane.org; Tue, 07 Oct 2014 21:24:13 +0200 Original-Received: from localhost ([::1]:60594 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbaMm-00067A-MW for gcglg-lightning@m.gmane.org; Tue, 07 Oct 2014 15:24:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58879) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbaMi-00066o-Qf for lightning-mXXj517/zsQ@public.gmane.org; Tue, 07 Oct 2014 15:24:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XbaMh-0007rT-7u for lightning-mXXj517/zsQ@public.gmane.org; Tue, 07 Oct 2014 15:24:08 -0400 Original-Received: from mail-qa0-x22e.google.com ([2607:f8b0:400d:c00::22e]:55262) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbaMh-0007rP-1D; Tue, 07 Oct 2014 15:24:07 -0400 Original-Received: by mail-qa0-f46.google.com with SMTP id w8so4706970qac.5 for ; Tue, 07 Oct 2014 12:24:06 -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=aVRZ/r5wpEr5I++s2S1LtyUvFYWStgVjTwYo9cixeFg=; b=ZAVTOYFD9PUfRvPRbMQIX0lZa6n6NA4O9VRkb3c+IEhq+MQG2MXQzdowVIP5JoBKEf vI+A5Hj7QaJafuChfpWMA0n+9z7RL2PmR8ea8kIE7pNoVQLjNCHygGbp64Xs7PXHVq+c EoVnwLpIclUG+krYfbcXUW0ZQ7djqkLJkXbgpuZf9TAHf17D/xBBy5oqaN9VukaojLZ2 iAxYazywedValdQZ7QDWmEB0cg6nisPmqvIYytRgGaU1E30pMMyKIfu3f3cKnQvl9h7X 3hmeSoACswVmDqOH1L4Qyfgnmr99ojM1fQOPgVlekywZ94tKhWi1JrgB7iG2q1d+nkj+ YQog== X-Received: by 10.140.42.138 with SMTP id c10mr39587792qga.9.1412709845822; Tue, 07 Oct 2014 12:24:05 -0700 (PDT) Original-Received: by 10.140.102.108 with HTTP; Tue, 7 Oct 2014 12:24:05 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2607:f8b0:400d:c00::22e 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:606 gmane.lisp.guile.devel:17567 Archived-At: I think what we want is your posts really are not 100% related to development of the respective development. Its flooding mailboxes. If you want to contribute, open source is a meritocracy we don't really hold meetings talking about ideas. You implement something and it goes from there. Your probably a great guy but your posts over the last few months irritate my a lot because its just all open ended discussion stuff. On 7 October 2014 18:56, Ian Grant wrote: > 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 > > _______________________________________________ > Lightning mailing list > Lightning-mXXj517/zsQ@public.gmane.org > https://lists.gnu.org/mailman/listinfo/lightning