Path: ...!weretis.net!feeder8.news.weretis.net!news.szaf.org!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: Proof that DDD specifies non-halting behavior --- Mike correcting Joes and thus Fred too
Date: Sat, 17 Aug 2024 20:42:05 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v9r1ut$b22$1@news.muc.de>
References: <v9gv4k$4sc4$1@dont-email.me>   <v9krc5$uqhs$1@dont-email.me> <v9l7hf$vao1$3@dont-email.me> <v9laed$113gd$2@dont-email.me> <EbecnaOe1ajC1yP7nZ2dnZfqn_idnZ2d@brightview.co.uk> <v9llh9$12l6c$2@dont-email.me> <v9mt9h$1bdeu$3@dont-email.me> <P6-cnWf3Z5zzLyL7nZ2dnZfqnPudnZ2d@brightview.co.uk> <v9oerj$1iiu2$1@dont-email.me> <3rKcnXwB7eKxUF37nZ2dnZfqn_ednZ2d@brightview.co.uk> <v9qoj4$diq$1@news.muc.de> <5nmdnfxbbPF8mVz7nZ2dnZfqnPGdnZ2d@brightview.co.uk>
Injection-Date: Sat, 17 Aug 2024 20:42:05 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="11330"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.1-RELEASE-p3 (amd64))
Bytes: 1829
Lines: 19

Mike Terry <news.dead.person.stones@darjeeling.plus.com> wrote:
> On 17/08/2024 19:02, Alan Mackenzie wrote:
>> Mike Terry <news.dead.person.stones@darjeeling.plus.com> wrote:
>>> On 16/08/2024 22:03, Jeff Barnett wrote:

>>> You're right about the "white night" thing.

>> To Mike and Jeff.  PLEASE, it's KNIGHT, not night.  ;-)  Nights tend not
>> to be white, even if there's a full moon.

> Ah,  right - and let's not forget Knights in White Satin! :)

Indeed not: "Never reaching the end."  Somehow appropriate for this
newsgroup.  ;-)  It was in E minor.   

[ .... ]

-- 
Alan Mackenzie (Nuremberg, Germany).