From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1SE0Pk-0004Qo-3b for garchives@archives.gentoo.org; Sat, 31 Mar 2012 15:40:28 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 133FFE10E5; Sat, 31 Mar 2012 15:40:10 +0000 (UTC) Received: from mail-yx0-f181.google.com (mail-yx0-f181.google.com [209.85.213.181]) by pigeon.gentoo.org (Postfix) with ESMTP id 9A6B7E10A2 for ; Sat, 31 Mar 2012 15:39:21 +0000 (UTC) Received: by yenq2 with SMTP id q2so946717yen.40 for ; Sat, 31 Mar 2012 08:39:21 -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 :content-type; bh=85mRKHDSr3FfK9blc4BtM9QeRPMwCcG0TLAmZnFLZSQ=; b=BBAmBdTIBq5RdkG2aah5/dxH3OhpsbWiX+48geKw8NmSLu7iJMuIJ2QGElNKHfPe2C 0JXmSzfBggE4MDbHL3xTXmAnBFFBwRvtnUbCAK9MD9F5AbGWshOPn1nsLHbAuDdgwj18 cEB4xOatr2PN7NHpiEaYN31gDR74WXJyHy+QCb+pVY9U3ZWHjYlwd1GK3KwwYSC6ll0n LP+9IjXdFwuszOWjLjV78ZkRV5UOEu4n2eZOTtmWaxjf2K5Yz/0SaQqa7xXwhWmlsCDY Cd8tUpE/STXoLPFgCZx/+O25VmpIea8bWMOfZjnCAZUp3N/r7kRUUT897JyCzcneIudy PdKQ== Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 Received: by 10.101.165.25 with SMTP id s25mr633069ano.24.1333208361166; Sat, 31 Mar 2012 08:39:21 -0700 (PDT) Received: by 10.236.136.136 with HTTP; Sat, 31 Mar 2012 08:39:21 -0700 (PDT) Received: by 10.236.136.136 with HTTP; Sat, 31 Mar 2012 08:39:21 -0700 (PDT) In-Reply-To: <20120331155226.013342fa@googlemail.com> References: <20120330150041.c3f7684c.axel@james-b.ch> <4F75B45F.2050108@gentoo.org> <4F76226B.1020507@gentoo.org> <4F762BCF.9010204@cs.stonybrook.edu> <20120331085622.5650ca62@googlemail.com> <20120331105253.4a00ebcc@googlemail.com> <20120331155226.013342fa@googlemail.com> Date: Sat, 31 Mar 2012 18:39:21 +0300 Message-ID: Subject: Re: [gentoo-dev] Happy 10th birthday (in advance) From: Alex Alexander To: gentoo-dev@lists.gentoo.org Content-Type: multipart/alternative; boundary=001636920b73c766e004bc8bc25d X-Archives-Salt: 21deb674-e51f-4386-9c59-1ee33375e65f X-Archives-Hash: 3b640a31b7309430f7cd3223d28f1327 --001636920b73c766e004bc8bc25d Content-Type: text/plain; charset=ISO-8859-1 On Mar 31, 2012 5:57 PM, "Ciaran McCreesh" wrote: > > On Sat, 31 Mar 2012 15:08:29 +0300 > Alex Alexander wrote: > > No. I didn't say I think it works, I said I have proof it works. > > Well that's interesting, because there are plenty of examples where it > doesn't work, and all that it takes to disprove a theory is a single > counterexample. So I think you're misunderstanding what constitutes > proof here -- "some evidence" certainly isn't it. > > -- > Ciaran McCreesh Boring. You conveniently ignored the other part of my message. I'll repeat it: no matter how much you argue, it'll still work fine for me. That said, I think we can end this conversation now :) Gentoo \o/ Alex | wired --001636920b73c766e004bc8bc25d Content-Type: text/html; charset=ISO-8859-1

On Mar 31, 2012 5:57 PM, "Ciaran McCreesh" <ciaran.mccreesh@googlemail.com> wrote:
>
> On Sat, 31 Mar 2012 15:08:29 +0300
> Alex Alexander <alex.alexander@gmail.com> wrote:
> > No. I didn't say I think it works, I said I have proof it works.
>
> Well that's interesting, because there are plenty of examples where it
> doesn't work, and all that it takes to disprove a theory is a single
> counterexample. So I think you're misunderstanding what constitutes
> proof here -- "some evidence" certainly isn't it.
>
> --
> Ciaran McCreesh

Boring. You conveniently ignored the other part of my message.

I'll repeat it: no matter how much you argue, it'll still work fine for me.

That said, I think we can end this conversation now :)

Gentoo \o/

Alex | wired

--001636920b73c766e004bc8bc25d--