Return-Path: <linux-kernel-owner+willy=40w.ods.org@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S266431AbTAOOLL>; Wed, 15 Jan 2003 09:11:11 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S266434AbTAOOLK>; Wed, 15 Jan 2003 09:11:10 -0500
Received: from khms.westfalen.de ([62.153.201.243]:23218 "EHLO
	khms.westfalen.de") by vger.kernel.org with ESMTP
	id <S266431AbTAOOLJ>; Wed, 15 Jan 2003 09:11:09 -0500
Date: 14 Jan 2003 22:01:00 +0200
From: kaih@khms.westfalen.de (Kai Henningsen)
To: linux-kernel@vger.kernel.org
Message-ID: <8dqipk81w-B@khms.westfalen.de>
In-Reply-To: <20030113144017$68de@gated-at.bofh.it>
Subject: Re: any chance of 2.6.0-test*?
X-Mailer: CrossPoint v3.12d.kh10 R/C435
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Organisation? Me?! Are you kidding?
References: <20030112205008$7a5d@gated-at.bofh.it> <20030113112009$52fd@gated-at.bofh.it> <20030113144017$68de@gated-at.bofh.it>
X-No-Junk-Mail: I do not want to get *any* junk mail.
Comment: Unsolicited commercial mail will incur an US$100 handling fee per received mail.
X-Fix-Your-Modem: +++ATS2=255&WO1
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

terje.eggestad@scali.com (Terje Eggestad)  wrote on 13.01.03 in <20030113144017$68de@gated-at.bofh.it>:

> On man, 2003-01-13 at 12:09, Eric W. Biederman wrote:

> http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF
> to be exact. Reading it you can tell exactly how much of an
> mathematician Dijkstra really was.  At these times It's best to keep in
> mind a quote:
>
> "I used to understand the Theory of Relativity, but then the
> mathematicians got hold of it."
>   -- Albert Einstein

Wasn't Dijkstra one of the guys behind Algol 68? Yes, the one where some  
Geek test asks if you've read the revised report? ... and did you  
understand it? (I did, even found a bug in the library chapter (a simple  
case of exporting a pointer to local storage), but boy was that the  
hardest-to-understand language definition I've ever seen! Did complete  
symbol definition-and-usage checks purely in the (context-dependant  
meta-)grammar.)

MfG Kai
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/