[FRIAM] Acronyms

[thompnickson2 at gmail.com]

Glen,  I was trying to line up my understandings of clear and rigorous with yours.  I was thinking that, in your use, a clear line of code was one that another programmer would understand, whereas a rigorous line of code was one that got the computer to do what you wanted it to do.  Was I wrong about that?  

N

Nick Thompson
ThompNickSon2 at gmail.com
https://wordpress.clarku.edu/nthompson/

-----Original Message-----
From: Friam <friam-bounces at redfish.com> On Behalf Of u?l? ???
Sent: Monday, January 25, 2021 6:02 PM
To: friam at redfish.com
Subject: Re: [FRIAM] Acronyms

Exactly. Marcus said it well with something like "If the compiler doesn’t do what one expects, one probably expects wrong." We can translate that to human intercommunication. If people react in unexpected ways to what you said, perhaps change your expectations of how people will react to what you said. No sense of clarity is necessary, only repeatability and reliability. E.g. I don't particularly care whether my cat thinks that laser dot is a bug or not. What I care about is that he demonstrates his agility chasing it around the room. I seem to have developed a bit of a palsy as I age. And on days when it's bad, he *really* chases it ... like with gusto. But on days when my hand is steady, I have to fake the palsy to get him to engage completely. Why? I don't care. But I know it to be True.

This reminds me of homomorphic encryption, computing over encrypted things.

On 1/25/21 3:41 PM, jon zingale wrote:
> The computer interprets both of Glen's *root* functions as being 
> different, so clarity walks a very different line there. Only 
> sometimes do we get the extensional equivalence of functions. Clarity, 
> in a broader sense, often requires substitution.

--
↙↙↙ uǝlƃ

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn GMT-6  bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
FRIAM-COMIC http://friam-comic.blogspot.com/
archives: http://friam.471366.n2.nabble.com/