Mickey still smells fishy

Posted on 2023-06-27 by Me under america, race

Watching Luca on Disney…

Based on my own experience coming to America in the 1980’s, I can telling very seriously this is a metaphors for immigrants coming to America. Everything from childhood myths about the-other land, to the actual leap to go there, and upon arrival, the local bullies, the local underdogs, the competition to the top even though it is our first race, (learning to bike moments after learning to breath in air and walk… man, it doesn’t get more apt than this!) even though we just arrived…, what?! Are all immigrants sperms? and the sabotaging parents who arrive after and causes a world of trouble.

I don’t want to point fingers, but a eating competition to see who eats the most, it still insist on the civility of using forks… that seems to happen a lot in American society. so much brutality in competition, but there ever presents, inlaid, are these awesome tidbits of niceties that seem to have been meant for a different context.

Okay, so Luca and Alberto quickly betrays their water dwelling-kind to befriend land-dwelling friend. This is practically a film promoting fratricide.

I am an anti-vaxxer

Posted on 2023-06-23 by Me under Uncategorized

One day, it might be discovered that we can affect changes to the human body and mind producing an altered mental stage or change there of. One can imagine using an analogy of the “dropout” activation of deep learning neural networks. Suppose a ray gun or a drug or micro- or nano- scale robot are installed so as to cause dropout to happen in the human’s neural network.

That is to say, a scientific (or medical) procedure is devices that at the beginning seems to weaken the learning of a human, but it claims to improve human cognition and emotional stability or quality in the long run and that it prevent all sorts of mental diseases, disorders or other oddities. what shall we say to that?

I for one am very thankful that this has not come to be a problem, and no, I most definitely do not think this is one of those “nice problems to have” situation.

Apparently the Pentagon is about to release some news about UFO’s… so one solution to get over the hump may be just that: an insurmountably dangerous alien existence puts human civilization into survival mode: and we dropout on every child who goes to public school. (Or worse, you have to administer it personally to your child at night because that’s when it needs to happen) or maybe it is a recurring outpatient procedure… or maybe the implant will just drop your signal in a more fine grained manner.

Lacking that, is there any sane chance that we will allow our schools to require dropout to be performed on our children?

From my perspective today, I cannot imagine that I will be subject to this. I will not be whacking my children on the head on a daily basis (or more frequently) just because some stinking scientist did a double blind trial.

I don’t care if my kids friends are all seven feet tall and write to computer at five hundred words per minute and read at 3x that speed. I am simply not going to do that. The thought sickens me.

Right? What do you think? Will you tell your kids? To dropout?

Learning Program Differential

Posted on 2023-06-19 by Me under Uncategorized

Lets introduce some notations for talking about functions. Since a computer program has to be thought separately from the mathematical or real life objects, we must name those program procedures, they’re largely functions, and call them methods. These methods are functional in the sense that their definition and evaluation cause no side effects. Let the identity brane $P_f:<String, Type>_I$ be the association of types with a set of formal parameter names:

    {
        "first parameter"  : Integer
        "second parameter" : Boolean
    }

The actual parameters, also known as the bindings for these parameters, are typed using $P_f$, the set of possible actual parameters are all dependently typed I-Brane $P_a$ having instances that look like:

    {
        "first parameter"  : 1
        "second parameter" : False
    }

For convenience, we endow $P_f$ and members of $P_a$ with mutators: for some $P_f$ we can write $P_{f+\{"\textrm{third parameter}": String\}}$ to mean adding a parameter to the formal parameter specification, $P_{f-["\textrm{first parameter}"]}$ to mean removing a formal parameter. similarly: with $p\in P_a$ the expression $p_{[-"\textrm{first paramter}"]}$ has type $P_{f-["\textrm{first parameter}"]}$ belowing to the set of possible parameters $P_{a-["\textrm{first parameter}"]}$ and can be used in the full invocation of any method typed $P_{f-["\textrm{first parameter}"]}\rightarrow\Psi$ Invocation on underspecified parameters automatically curries: applying $f:P\rightarrow \Psi$ to a underspecified parameter $p'\in P_{a-M}$ (here, $M$ is a collection of parameters missing $\{a:Integer, b:Float,...\}$ ) then $f(p'):M\rightarrow \Psi$ .

Finally we type the type signature for the method differential:

$\Game_b: \big(P_f\rightarrow\Psi\big)\rightarrow P_f\rightarrow B\rightarrow\Psi\rightarrow\Psi$

Note the $\Game_b f$ should mostly be defined for methods $f:P_f\rightarrow\Psi$ that has $b$ as a formal parameter: $b \in P_f$ .

Now then, a method $f:P_f\rightarrow\Psi$ has a formal parameter $b:B \in P_f$ that is of interest. To evaluate the differential of $f$ with respect to $b$ , we assert that at any parameter of $f$ $p'\in P_{f-[b]}$ , the application of differential to a change in the parameter $b$ ( $b_1 ,b_2:B$ ) from $b_1$ to $b_2$ results in the proper change in the output of $f$ itself.

$\Game_bf(p'_{+\{b:b_1\}})(b_2)\left(f(p'_{+\{b:b_1\}})\right) = f(p'_{+\{b:b_2\}})$

Analogously, we have converted the multiplication $\cdot$ of $\frac{\partial y}{\partial x} \cdot \Delta_x = \Delta_y$ to a method $\left(\frac{\partial y}{\partial x} \cdot\right)$ and evaluated it at $\Delta_x$ to produce $\Delta_y$ . This conversion is quite native to computer programs. Since there is not a universal way to properly write $\Delta_c$ for all possible $c$ as we have in mathematical language, the solution is to encode the change in the form of methods.

Technically, if we encode changes as methods, the full blown differential has type:

$\Game_{\Delta b}: \big(P_f\rightarrow\Psi\big)\rightarrow P_f\rightarrow (B\rightarrow B)\rightarrow(\Psi\rightarrow\Psi)$

And the equal expression of meaning, assuming $d(b_1)=b_2$ , will be:

$\Game_{^\Delta b}f(p'_{+\{b:b_1\}})(d)\left(f(p'_{+\{b:b_1\}})\right) = f(p'_{+\{b:d(b_1)\}})$

Finally, we introduce a factored version of the program differential:

$\Game_{\delta b}: \big(P_f\rightarrow\Psi\big)\rightarrow P_{f-[b]}\rightarrow B\rightarrow B\rightarrow\Psi\rightarrow\Psi$

Requiring that

$\Game_{\delta b}f(p')(b_1)(b_2)\left(f(p'_{+\{b:b_1|})\right)=f\left(f(p'_{+\{b:b_2\}})\right)$

We may use any of these three as they becomes more convenient.

Constant and Order of Differential

An interesting idea to explore based on this differential is the order of dependence of a function on a parameter. If a method does not depend on a variable, its differential would be the identity function $I$ :

$\Game_{^\Delta b}f(p'_{+\{b:b_1\}})(d)= I$

This is $\frac{\partial y}{\partial x}=0$ . But there are also first order terms who has constant, $c$ , differential $\frac{\partial y}{\partial x}=c$ . In this case we can find an equivalent method typed as:

$\Game_{^\Delta b}f=\gamma$ ^(*)

Where

$\gamma: \rightarrow (\Psi \rightarrow \Psi)$

That it does not depend on any input variables. And certainly there is something resembling $\frac{\partial y}{\partial x}=ax^k$ , with constant $a, b$ :

$\gamma: \rightarrow (B \rightarrow B) \rightarrow (\Psi \rightarrow \Psi)$

Our $\Game$ allows for arbitrarily complex changes in output value even when the input parameter changes are not small. Methods with thusly typed differentials do more than constant functions but are not as dependent on its inputs than functions with non-constant differentials. We are therefore inspired to qualify or even quantify the complexity of dependence a method has on its parameter. It is the complexity of the differential function.

^(*) here, the $=$ means, essentially, or for all intents and purposes, the same. This seems like an important idea to formalize, perhaps in a next step of this effort.

Chain Rule

Relatedly, the simple treatment of composition and curried methods $f: P_{f_1}\rightarrow P_{f_2}\rightarrow \Psi$ is to uncurry them to an essentially equivalent method $f':(P_{f_1}+P_{f_2})\rightarrow \Psi$ before computing differential. The actual implementation of that differential can be programmed using the chain rule. For this composition of methods:

$z\left(\left\{p_f:P_f, p'_g:P_{g-[x]}, x:X\right\}\right)=f\left(p_f+\left\{y:g\left(p'_g+\{x:x\}\right)\right\}\right)$

And we’d like to compute $\Game_{\Delta x}z$ . After juggling the types and parameters a bit one discovers that the differential can be written directly as the method:

$z_{\Game_{\Delta x}}(\{p_f:P_f, p'_g:P'_g, x:X\})(p_\delta:X\rightarrow X)=\Game_{\Delta y}f\left(p_f+\left\{y:g(p'_g+\{x:x\})\right\}\right)\left(\Game_{\Delta x}g\left(p'_g+\{x:X\}\right)(p_\delta)\right)$

This, then, is the chain rule for program differentials.

Todo: write the proof for this chain rule.

The Limit

The reality of the matter is that the program differential $\Game_{\Delta b}$ is not quite the equivalent of partial differentiation over real functions. There inside the definition of derivative is a limit. If we could take the limit of programming objects, then we can actually come to a equally localized derivative as we have for real functions. Instead of a limit $\lim_{d\to 0}$ the program form of the partial differentiation would ask for:

$\partial_{\Delta b}f: \{p_f:P_f\}\rightarrow(\Psi\rightarrow\Psi)$

$\partial_{\Delta b}f=\lim_{d \to I}\Game_{\Delta b}f(p_f)(d)$

$I$ is the identity meaning no change. But that is perhaps work for another entry, to iron those details of program limits. We may yet achieve a unified world where mathematical differentiation is a sub-type of program differentiation:

$\frac{\partial}{\partial p} <: \partial_{\Delta p}$

Guess no section 31

Posted on 2023-06-05 by Me under Uncategorized

Well, it’s almost mid 2021, Viacomm/CBS/Paramount seem to have suffered a small fiasco in the stock price. The symbol VIAC was worth around $15 mid March of 2020, shot up to almost $95 mid March 2021, and then crashed down to around the $40’s. I’m not sure why there is so much volatility in this company, but one wonders if it affects how they make shows?

In any case, so far it seems section 31 won’t be happening any time too soon. The replacement show is called Strange New worlds, featuring the once and always almighty Starship Enterprise, sexy number one, conflicted Spock, and always brave and fearless leader in the captain’s chair. Oh, hey cool, there’s even an Asian looking name for supporting actress role.

Let’s be honest. I cannot hide my disappointment that Trek couldn’t make it work with Michelle Yeoh. From the Ready Room chatter, it seemed that Yeoh had been a bit too snobbish for the crew, …, one can beat describe the challenge as a creative chasms. It’s bitter medicine to take hearing ensign Crusher lecture the Empress on her role as an actress, that she should obediently take directions from the action choreographer. Worse, she then tries to explain herself to him in awkward English… so many things needs to be worked out.

Former president Trump, who was elected president, publicly denigrate Chinese people—without making any exceptions for perfectly decent Chinese Americans —with almost zero political consequence. Americans feels and fears the threat of Chinese economy and Chinese culture, and it is amply manifested in politics, “diplomacy”, and entertainment. This, as the Empress eventually acquiesced to Ensign Crusher in her last interview with him, is very much the America of 2020’s.

It was fun while it lasted, as some Chinese people celebrated Trek fever briefly. those Chinese people including me blogging frantically about it, and later Yo-yo-ma playing Alexander Courage fanfare for Star Trek theme song right before Amazing Grace at President Biden’s inauguration. Clearly, there are more Chinese Trekkies than myself.

Let’s be fair to America. if you look at Dr. Who, another multi-generations made-for-tv science/fantasy show about how to be good and how to be better, there’s actually now a whole lot more Chinese and Asian presence on Trek than Dr. Who. What about other western fantasies? I guess there’re some Asians that can assist dr. strange in the whole of marvel-verse. Ahh, okay wait, there’s Minn-Erva, Quake, Melinda May,…, and the Empress, yah, we definitely should give cudos to America for being a very multi-cultural and Asian-American friendly… wow, some seriously hot babes too, oh wow (but my memory might be biased in its recollection…)… bravo!!! Bravo to America! What a wonderful home of multiculturalism ! Wonderful!

And, my faithful readers will also point out that I’m not exactly a big fan of Clandestine operations and organizations. Section 31 based on such clandestine (and morally amorous) organization will surely rub me in the worst ways. So maybe this is all for the best…

Now, if somebody could tell me what the heck is up with VIAC?

The FAM Blog

Art Museum Collection F

Monthly Archives: June 2023