Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko 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