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.gcc.devel Subject: Re: Dijkstra's Methodology for Secure Systems Development Date: Mon, 29 Sep 2014 14:07:58 -0400 Message-ID: References: <87y4tetq7q.fsf@taylan.uni.cx> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1412014103 16017 80.91.229.3 (29 Sep 2014 18:08:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 29 Sep 2014 18:08:23 +0000 (UTC) Cc: Markus Kuhn , guile-devel , "gcc@gcc.gnu.org" To: Panicz Maciej Godek Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Sep 29 20:08:19 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 1XYfMo-0002zM-5s for guile-devel@m.gmane.org; Mon, 29 Sep 2014 20:08:10 +0200 Original-Received: from localhost ([::1]:38217 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYfMn-0004M9-N9 for guile-devel@m.gmane.org; Mon, 29 Sep 2014 14:08:09 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36953) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYfMk-0004Lr-V4 for guile-devel@gnu.org; Mon, 29 Sep 2014 14:08:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XYfMk-0002Pr-3N for guile-devel@gnu.org; Mon, 29 Sep 2014 14:08:06 -0400 Original-Received: from mail-we0-x22d.google.com ([2a00:1450:400c:c03::22d]:37319) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYfMj-0002Oq-S5 for guile-devel@gnu.org; Mon, 29 Sep 2014 14:08:06 -0400 Original-Received: by mail-we0-f173.google.com with SMTP id p10so4036592wes.4 for ; Mon, 29 Sep 2014 11:07:58 -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=MO3w3iTqyx1HdB/fF9xPDcC+2mimlDEuRT+S6NmcQPQ=; b=KiKJ3z7OvlSzWiNZzuBnP4O75PLWa+j4rctJ5QPl6exqbd9vFUJ+z7wyQyGwth+k30 lRQ6h3KVFW5LYhfQGZLUIV7Q7YLIOOwUvQ7SEjl4Bh7dXQ8EbGD87A49T3CMt97Kwa+G cyhcLagS5La10cbuT8QvOZuFE9uPZKhkbsPQhJuCMahvwT4N0/221jPuDNfN+rPbl4Pz oKs0cNCeopN3vnHiONZgfzdiRIvxGLx7x/YOYuHtsJS0UccnbXCgcoy/55/s+uIFPnl5 IwmSVUgvejX59Y+WuxBK24xZCZdXOXg05TMM5b/FmBBoppgMnDaC5hxz5noRAOiqV8pi SjOA== X-Received: by 10.180.211.230 with SMTP id nf6mr14614329wic.47.1412014078243; Mon, 29 Sep 2014 11:07:58 -0700 (PDT) Original-Received: by 10.194.77.49 with HTTP; Mon, 29 Sep 2014 11:07:58 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c03::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:17528 gmane.comp.gcc.devel:137532 Archived-At: The following is a response to what some may think an implausible suggestion made here: http://lists.gnu.org/archive/html/guile-devel/2014-09/msg00124.html The suggestion is that the system of education has been subverted so that there are "unknown" physical laws which give "the unseen enemy" strange powers over the semantics of computer hardware and software. http://livelogic.blogspot.com/2014/09/subverting-laws-of-physics.html I make what I think most people will see to be a convincing argument that this is in fact the case.