Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT
Date: Thu, 26 Jun 2025 13:23:27 +0300
Organization: -
Lines: 21
Message-ID: <103j72v$3deth$1@dont-email.me>
References: <102n9bo$13mp8$3@dont-email.me> <102om2v$1h6pn$2@dont-email.me> <102q5m6$1tklk$1@dont-email.me> <102rcg2$29lrl$1@dont-email.me> <102rugu$2doc9$8@dont-email.me> <102u1a5$31q0f$1@dont-email.me> <102umo0$369b2$13@dont-email.me> <1030jah$3pfos$1@dont-email.me> <1031a1m$3u901$9@dont-email.me> <1033aej$m26r$5@dont-email.me> <1033sll$2uqj$2@dont-email.me> <10399dl$jvs0$1@dont-email.me> <1039lft$n1od$3@dont-email.me> <103b30q$14nvb$1@dont-email.me> <103dlqt$1t0fc$1@dont-email.me> <103edle$22250$6@dont-email.me> <103g5ds$2k35g$1@dont-email.me> <103h0ae$2q86f$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 26 Jun 2025 12:23:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9532ec9cca79e56225651e6eb36dbe45";
	logging-data="3586993"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+EJGm043AbGMgs1nPND64H"
User-Agent: Unison/2.2
Cancel-Lock: sha1:vNCi4krsH7U+ZxgunylGyzHwDp8=

On 2025-06-25 14:15:42 +0000, olcott said:

> On 6/25/2025 1:36 AM, Mikko wrote:
>> On 2025-06-24 14:45:02 +0000, olcott said:
>> 
>>> On 6/24/2025 2:58 AM, Mikko wrote:
>>>> printf("Fred Zwarts can't understand this is never reached\n");
>> 
>> Again you are lying. I did not say that. I just quoted what you
>> had said earlier. Without quoting the context readers might not
>> understand what I was talking about and what motiviated and
>> justified my words.
> 
> "Fred Zwarts" does not fully understand
> what unreachable code is.

That you are wrong about Fred Zwats does not justify your lies about me.

-- 
Mikko