[OT] Sorry and Goodbye...

[Andrei Alexandrescu]

On 5/31/21 5:47 AM, claptrap wrote:
> On Sunday, 30 May 2021 at 22:29:15 UTC, Walter Bright wrote:
>> On 5/29/2021 3:19 PM, Avrina wrote:
>>> What is the meaning of trust but verify?
>>> In the study of programming languages, the phrase has been used to 
>>> describe the implementation of downcasting: the compiler trusts that 
>>> the downcast term will be of the desired type, but this assumption is 
>>> verified at runtime in order to avoid undefined behavior.
>>
>>
>> It means you trust people to do the right thing, but still verify that 
>> it gets done right.
> 
> Its an awful proverb, it's like 1984 double speak.

Oh no it isn't.

> I mean if I hire a PI 
> to check up on my wife, I cant very well claim that I trust her.

That would not quite mean trust because a spouse cannot cheat by means 
of an honest mistake. Better examples are counting the cash in a 
transaction. That doesn't mean there's no trust involved, it just means 
there's verification against a possible honest mistake.