Path: csiph.com!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.theory Subject: Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Date: Sat, 10 Jul 2021 20:33:17 -0700 Organization: None to speak of Lines: 31 Message-ID: <87v95h5xtu.fsf@nosuchdomain.example.com> References: <20210710161537.00002347@reddwarf.jmc> <877dhx7qww.fsf@nosuchdomain.example.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="68bb88e2a94ee9aa4c90ad022c4869a2"; logging-data="20648"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX199aMI66xCe0rReRCmbNSKl" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) Cancel-Lock: sha1:B6oV5D7MEllase2klAL0nIyhpiY= sha1:uBCjmYHnwTehY7LNhZG1TPfwO1Y= Xref: csiph.com comp.theory:36121 olcott writes: [...] >> In article <877dhx7qww.fsf@nosuchdomain.example.com>, >> Keith Thompson wrote: >>> Mr Flibble writes: >>> [196 lines deleted] >>> >>> *Please* stop cross-posting this stuff to comp.lang.c, or to any group >>> other than comp.theory. I know it's olcott who insists on adding >>> irrelevant newsgroups, but I don't see his posts. Please edit the >>> Newsgroups: header line before posting a followup. [...] > > Flibble is only reviewing my work because I cross-posted and it turns > out that he is a great reviewer. Kaz Kylheku only reviewed my work > because I cross-posted and he is my best reviewer so far. olcott, I wasn't talking to you. I'm aware that you'll continue to annoy people by cross-posting to inappropriate newsgroups. I've dealt with that by killfiling you in comp.lang.c. I'm asking those who reply to you, including Flibble and Kaz, to restrict their followups to comp.theory, whether you do or not. You're a lost cause. They might not be. I'm aware that some newsreaders might make it difficult to edit the Newsgroups: header line. -- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com Working, but not speaking, for Philips void Void(void) { Void(); } /* The recursive call of the void */