Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Sequence of sequence, selection and iteration matters --- Ben
 agrees
Date: Thu, 11 Jul 2024 09:44:14 -0500
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <v6or3u$2fuva$8@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me>
 <v6go4d$sg7f$1@dont-email.me>
 <80ebfd233bf599468126ddf048190bd0799605bd@i2pn2.org>
 <v6htmc$12ktu$1@dont-email.me>
 <dcd1b46e5442c8a532a33873f396b9cb9b0688a5@i2pn2.org>
 <v6hvps$12ktu$3@dont-email.me>
 <cf764821d8b9b08443fc6cd3d285bc0567f31fa6@i2pn2.org>
 <v6i1if$12ktu$6@dont-email.me>
 <17da0ceefca3bfd4f06a789d24ad13ee55146692@i2pn2.org>
 <v6ilo7$19kmv$1@dont-email.me>
 <9353b62747ce599e737b541851b197460c8be63e@i2pn2.org>
 <v6le15$1qpm2$1@dont-email.me> <v6m3g6$1tj30$8@dont-email.me>
 <v6o0qt$2btd8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 11 Jul 2024 16:44:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="cb7a71f238b6f1f0fff1b8b0208457d0";
	logging-data="2620394"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18vh09wvEFkHPPG17K4/gJP"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:FH7HCqhIJJi9TGcOBXwPJSSScK8=
Content-Language: en-US
In-Reply-To: <v6o0qt$2btd8$1@dont-email.me>
Bytes: 3696

On 7/11/2024 2:15 AM, Mikko wrote:
> On 2024-07-10 13:48:53 +0000, olcott said:
> 
>> On 7/10/2024 2:42 AM, Mikko wrote:
>>> On 2024-07-09 11:29:20 +0000, Richard Damon said:
>>>
>>>> On 7/9/24 2:35 AM, Mikko wrote:
>>>>> On 2024-07-09 01:30:01 +0000, Richard Damon said:
>>>>>
>>>>>> On 7/8/24 8:51 PM, olcott wrote:
>>>>>>> On 7/8/2024 7:31 PM, Richard Damon wrote:
>>>>>>>> On 7/8/24 8:21 PM, olcott wrote:
>>>>>>>
>>>>>>>>>
>>>>>>>>> When you need groceries you cannot say that you
>>>>>>>>> don't need groceries until AFTER you get more groceries.
>>>>>>>>>
>>>>>>>>
>>>>>>>> Which is just Red Herring, as I am not a program, and the 
>>>>>>>> program is not me.
>>>>>>>>
>>>>>>>
>>>>>>> Free will does not make lies into truth.
>>>>>>> If HHH reports that DDD does not need to abort
>>>>>>> DDD before HHH aborts DDD then HHH is a liar.
>>>>>>
>>>>>> How can HHH "report" something while it is still running?
>>>>>
>>>>> If HHH is not a pure function it can have side effects while still
>>>>> running. A side effect can "report".
>>>>>
>>>>
>>>> But he keeps on insting that HHH *IS* a pure function, and that we 
>>>> are stupid if we forget that when he forgets to keep it in the 
>>>> description because HE is allowed to be sloppy, but we can't take 
>>>> benefit from that.
>>>
>>> In such situations I may point out that OP did not require pure function
>>> (or whatever he forgot to require).
>>
>> If I don't say pure function then Richard tries to get away
>> with cheating. I stopped saying it so that people that do not
>> know what a pure function is wouldn't get confused.
> 
> The important point is that you can't say "pure function" unless you
> say "pure function".
> 

I don't want to confuse people and overload them beyond
their capacity to understand. HHH is not allowed to use
static local variables that change the behavior of DDD.
Only Richard used this to cheat.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer