From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: William ML Leslie Newsgroups: gmane.comp.gnu.lightning.general,gmane.lisp.guile.devel Subject: Re: Reinterpreting the compiler source code Date: Fri, 5 Sep 2014 10:13:17 +1000 Message-ID: References: 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 1409876009 24709 80.91.229.3 (5 Sep 2014 00:13:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 5 Sep 2014 00:13:29 +0000 (UTC) Cc: lightning , guile-devel To: Ian Grant Original-X-From: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Fri Sep 05 02:13:24 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 1XPh9X-0003t8-US for gcglg-lightning@m.gmane.org; Fri, 05 Sep 2014 02:13:24 +0200 Original-Received: from localhost ([::1]:54668 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XPh9X-0003Vf-4n for gcglg-lightning@m.gmane.org; Thu, 04 Sep 2014 20:13:23 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35611) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XPh9T-0003UV-CS for lightning-mXXj517/zsQ@public.gmane.org; Thu, 04 Sep 2014 20:13:20 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XPh9S-0000Lu-Ct for lightning-mXXj517/zsQ@public.gmane.org; Thu, 04 Sep 2014 20:13:19 -0400 Original-Received: from mail-oa0-x22d.google.com ([2607:f8b0:4003:c02::22d]:53739) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XPh9S-0000Lq-6n; Thu, 04 Sep 2014 20:13:18 -0400 Original-Received: by mail-oa0-f45.google.com with SMTP id n16so7910000oag.4 for ; Thu, 04 Sep 2014 17:13:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=8cdtg7UP5mY4kPnvif1zDmvgEvX2fv3Do28jTrWM3TI=; b=JKI62PTiPfwWs0NcwSKay6MgrG8Mxc6LjxOs8VK/Hqj72W6vSTLqwSmjWfR9nVX0uz zpd9xE6dGHh8KyCzxZKpKVKoksW+SIJhq4jFiWgFArEMQBbPYEDac54XfLR+npaAig9f U0XZ6VmOvb3re00TOvTH5o41R0NZIbXD+xTET/xArxGGuSXxHHLP47e77X/AWmS0u+ZU /QRydfFJpN1qe7MovDsWUlpbkvIenZrnHAK4Oa2WUWXTti5qSzHnmrwTt6zbk3oy9bWv gAeelLx5hnvgziTG8XDKypz6YfqgZYH7yPDglAJ37juzPvFEnLAClaYelnhrdxQRK6Kt JPEg== X-Received: by 10.182.220.226 with SMTP id pz2mr9322430obc.76.1409875997534; Thu, 04 Sep 2014 17:13:17 -0700 (PDT) Original-Received: by 10.182.165.196 with HTTP; Thu, 4 Sep 2014 17:13:17 -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:4003:c02::22d 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:566 gmane.lisp.guile.devel:17405 Archived-At: On 5 September 2014 03:33, Ian Grant wrote: > This is only the tip of the ice-burg; and the less evidence I see that > people are properly addressing this 'issue', the more of these > 'suggestions' I will publish over the next few days. I would be much more interested in hearing about how you intend to solve this 'issue'. Are you building an ELF inspection and decompilation tool? Are you rewriting GCC and the exec server as a bisimulation in ATS, Idris, or Coq? -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.