# Learning Function Derivatives

It seems that there is a new feature that makes paragraphs all-caps??? WHAT? What-is-this-capitalization-scheme? Or is it just the first line ??

testing… 1, 2, 3… Okay, just first line of first paragraph. lovely!

Now then, having learned of causes for all the quirks in life, we should continue by introducing my own representation for talking about functions. Let the identity brane $P_f:_I$ be the functional association of types with a set of formal parameter names:

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

The actual parameters has a dependently typed I-Brane $P_a$ having instances that look like:

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

For convenience, we endow $P_f$ and $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:P_a$ the expression $p_{[-"\textrm{first paramter}"]}$ has type $P_{a-["\textrm{first parameter}"]}$ and can be used in the full invocation of any function typed $P_{f-["\textrm{first parameter}"]}\rightarrow\Psi$

Finally we type the type signature:

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

so, the type bounds would be able to stipulate that

$\partial_p <: \Game_p$

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

{{{
[ ] type up concrete example using ML
[ ] dive into type definitions to be more rigorous.
}}}

# You’ve got to be kidding me! The 6-2-10, p6 and Dystopia

Just read about Jack Ma’s pun at Ali Day. Apparently he holds a wedding for all his employees married in the past year. This made news apparently because he punned a Chinese work schedule know as the 996 (9am-9pm on 6 days of each week) he turned it into 669, which he, being one of very few masters of marketing on earth, then explains are frequency (6 days a week) and intensity (once a day(6/6=1and for a long time! 9 is a Chinese homonym with 久, stipulating the per incident duration is to be long.)

I’m very glad to see the Chinese people innovating on their work schedule ;-). I had considered this issue since 2012, proposing the 6-2-10 schedule(aka 6-12-22), some analysis and the p6 systems, and analysis. The work-life balance is very important for human beings. As I learned more about it, by working more and having kids in my life, I discover that the bi-directional nature of some resources is quite prevalent.

For example, at a recent employers super-super-decked-out office space, we have daily bathroom overload. People all use bathroom just before standing in long lines for lunch, and then there is another thundering herd rushing to the bathroom between 3 and 5. No stalls. No toilet paper when you get a stall. Between 5-7 you are also likely to encounter the maintenance crew trying to put toilet paper back–and they have to shut the whole site down to do it. The congestion is partially caused by humans have similar digestion periods–the time it takes for the body to make waste of the food we eat. While the company “followed rules” set by the city building code for the number of bathroom, it had obviously decided to hack the workspace in that way.

And I shan’t mention the later ploy to label the rooms as self-identified gender specific rooms. I mean I guess the idea is that the produce of eating could squeeze organs in ways that would change your self identification, in a crunch.

Similar to the traffic problem we encounter daily driving into San Francisco in the morning and out of San Francisco in the evening, staggering the need for resource by shifting work schedule can drastically alter the utilization profiles of the resources. Instead of one side of the highway being congested and the other side half empty. You could have equal proportion of people coming and going from the office and the highways would experience mild increase in utilization in both directions during commute hours. The cafeteria and the bathroom as well. Reduced lines in both if we staggered our eating schedule as well.

One wonders if these newfangled ideas are outdated before they are even out to practice. One thing that has begun to happen is that they have begun to make large casual-working space. There is a new academic building coming up next to my home where the entirety of the first floor is a cafeteria with tables to eat on. But there’re also power supplies so you can eat and work all in the same space. The open space where you can see everyone else in the gigantic room with 1kp capacity (kilo-persons) is exactly the same as San Franciscan open office space.

In b2 of this world, perhaps, The automated robots will bring food to you so you don’t have to self-organize with a hundred other persons just to get the food. They will take the trash away so you don’t have to stand in line to return trays. You’d still have to visit the bathrooms. But we can coordinate that too! The computer can, based on ingredients of your food, and biometric data from your wearables figure out your personalized digestion period for each individual meals brought to you. It can optimize total communal comfort of bathroom occupancy by giving you recommendations for foods on the menu as well as subtly adjusting delivery times. It can even alter your exercise schedule to enhance the prediction accuracy of your digestion period.

Wow! AI researchers and developers have their work cut out for them to make all that just right.

I guess this is almost a dystopian world view… a world more anal for control and optimization and more caring for the common person than communism.

We can only wait to find out. The Commies are reproducing like rabbits, how about you? Is your entire country pro- or anti-reproduction when you have 32 year lowest birth rates as measured by CDC.

# Drugs and Coffee

Just a PSA, apparently there are drug tests that you can buy OTC for marijuana and opioids. Search for “home drug test” on google or Amazon. You know, just in case you have kids or spores at risk. A large monetary prize is presently offered for an excuse to get them to put their hot pee into the cup without offense or the necessity of explanation.

Anyhoo, I’ve been observing that coffee is like a miracle drug. I’ve been off of my 4-year-5-cup-of-gourmet-coffee-a-day routine at your prototypical pre-IPO silicone valley startup. Life is miserable this way. If you have typical mid-aged computer-tech person problem, things like anal leakage, anal fissure, hemorrhoids, IBS, ED, anxiety, depression and general or specific dumbness as a result of genes, aging, upbringing or employment… maybe you should try Coffee.

This is the IT drug!

Seriously!

This is the “it” drug!

(one word, meaning contemporary hot exciting popular)

And it’s federally legal!

Okay, doctors, stop berating me. Coffee apparently is a cause for many of the problems I listed. I wonder if one of the following is a possibility:

1. the body compensated for coffee and that somehow activates a physiological mechanism that defeats the cause of those diseases.
2. the medical community never seriously tested consumption of coffee at this level because they didn’t think it would work but in reality something in coffee actually does something good to your body.
3. It is also possible that coffee affects the nerves in ways that relief the symptoms. (For example it may just be a pain killer and not really healing the hemorrhoids.)
4. It has “anti-inflammatory” abilities. (In quotes to evoke all the new meanings of the word)
5. Maybe it’s just drinking hot liquids huh?
6. There may be special addition made to some coffee at roast time or at brew time to enhance these apparent medicating effects.

Anyways, just some thoughts after trying out a rather large does of coffee again.

# So… thumbs up does it?

Just watched “At the Heart of Gold: Inside the USA Gymnastics Scandal.” on HBO, it had recently appeared on the list of shows.

I guess one snide comment one may have is… oh so that’s how the Americans win their gold medals? Not by a thumb up the butt but a thumb up the vagina!? And wow, that’s no joke… the olympians were not able to escape the horrific experience under USA Gymastics team doctor Nassar’s care. And Michigan State University(MSU), ouch!! Who’d ever send their kid to that university again? I mean, I grew up in State College Pennsylvania, and I have to say, Penn State is still not within consideration… after Joe Pa and Sandusky happened.

So, snarky thoughts aside, where did the FBI go? Most of these events transpire post 9-11. America was a monitored state. We have,… well, tax payers are made to believe that we have sophisticated infrastructure to track digital communications and metadata. Did no spook track this doctors phone calls and sms text and Facebook postings? How come the FBI or NSA didn’t have something that flagged this man? Furthermore, we are often blasted by news headlines of the SEC or IRS reading private equity trading records, private emails and private search logs to gather evidence of a crime in weeks to months after they are committed. How come the same technology did not flag this perv perp? If SEC knows to watch insiders of major companies for insider trading, how come there is no organization to watch major youth sporting organizations and persons for offenses against innocent youths??!!! Is it because there is no money fine to be made that the effort was not justified?

My daughter is involved in a different competitive sports, not gymnastics. She practices at a club now. I have to honestly say, due to the pressure of selecting potential athletes and the need to select the best and train them to be the best, the team does have to process a lot of potential athletes. The coaches have to herd dozens of kids around and make sure they’re all working in an proprietor manner. It is not realistic to expect that they be able to protect the kids at all times.

It’s not even realistic to expect them to protect kids from interference or physical violence by competing team coaches. It is just too messy, the competition space. And plus my teams coaches risk blowback from the other team, as accusation can easily be made in reverse and nobody is the wiser with hundreds of athletes competing in half a dozen teams in the confines of half an acre of space… everybody can say everybody else interfered and physically hit everybody and they wouldn’t be that much less right than my complaint.

I mean, I hate the way things happened in USA Gymnastics… and certainly I had been pushed towards Second Mile(Sandusky’s nonprofit channel for recruiting boys) when my dad signed me up with a big brother at the Big Brother and Big Sister program. Lucky to miss that fun, and got a really nice big brother who helped me a lot in developing intellectual curiosity…

But I kind of also see it from the athletes who actually wants to protect him… it is really hard on the coaches, the various organizations. Because they do have insane pressure to win. And.. I mean I really am grimacing when I write this, because many victims were children, but maybe sexual massages does improve physical abilities? I don’t know! I’m not a doctor… but hey, they did get gold medals right? If your livelihood depended upon it, would you really mess with it?? Maybe biting the nail and just toughing it out really is the best way to make a great athlete? I don’t know, I’m not an athlete or trainer. And to get in on the awesome physical exercise, you have to be part of this jock world–women jocks too.

(As an aside, I think Asians tend to believe mind and body spent on sex is mind and body not spent on exercise. Translate to science, for example, if the ATP went to convolution of muscles in the sex organ, that’s ATP taken away from tumbling or sticking landings)

(Also, another aside, I think most Americans believe that sexual proclivity improves everything in life, including sports. There’s this rumor that documentaries spread about the CIA encouraging sex between its agents… maybe the FBI believes the same? Maybe they feel that they knew for a fact that the sexual abuse was making these kids better? We will never know for sure what went into these decisions, but one can speculate… maybe because FBI/NAS or whoever else was monitoring these signals really believed that he a patriot serving the US of A? We have no visibility into these matters. And maybe somebody we elected ran an oversight committee to watch the clandestine organizations, but sorry, they failed miserably if they let FBI/NSA fail at alerting on this matter much earlier… unless our elected representatives also free sexual expression, even on kids, is the patriotic practice? In that case, IMHO, we have made bad very choices during elections. Coaches are just private citizens. They can commit crimes. When it happens on a large scale for decades to highly visible people, law enforcement has to take some of the responsibility.(and one wonders if the silence of FBI was an indication of knowledge of the matter?) Who claims to be responsible for ensuring domestic tranquility? This seems like a gross intranquillity to me! And because The USA Gymnastics represented the people of the nation, it was federal matter and within jurisdiction of federal law enforcement. A real red blooded American would have done something about that.)

(First, I need to disclaim that I am not a fan, member or a recruit of any communist, or socialist, political organizations. Hehe, you’d laugh if you knew which day I was writing this on… a little flash back. The president is in the middle of a trade dispute with China and has issued an ultimatum that he has the power to carry out. Last day, less than 24 hours before the tariff rises to 25% on all Chinese imports. The two parties are both on his back with various proceedings to discredit him. Like, my uncontrollable thoughts are that if these domestic politicians antagonize Trump enough that he can not recover. He can play this trump card and just fuck the world up. jesus fucking christ! Who’s going to chicken out? I can’t imagine Trump chickening out, and China has a dictator for life, he can outlast Trump to have the last laugh and we all know Chinese dictator-for-lifers would do what pleases themselves at the cost of their people’s lives–they’ve done it for many millenniums. Who will launch the first missile? Will anyone be around to read this blog entry? Hello? AI, please write some kinda words for me and my family…

Hey, what happened to privatized effectiveness? All those athletic companies depending on US elite athletes for branding and advertisements, all those companies paying money to these, or any American athletes, why didn’t they do their due diligence? Why didn’t they have private investigators making sure things are working out? There has to be something wrong with our capitalism if the force of money did not motivate sponsors of athletics to act to detect and prevent these transgressions. For so many years. I mean, for god sakes! Buy some fucking insurance and let the insurance companies figure that out–and that would have led to premium increases that would have made sponsoring these people and schools unprofitable. I mean, god, I am just falling to pieces watching this show. As I understood it, my comfortable American way of life is assured by these clandestine actors working in concert with the invisible hands of the market–something so bad cannot happen for decades on end! Oh my fucking God! How can this be? This is shaking my faith in all.)

Man. I used to think I knew what was right and wrong in the world… but now looking at this… one questions what is the goodness of right, if the right can not be had? If everyone in the whole fucking organization is like that and condones it and fears change, if the FBI bounces complaints, and if the USA national Olympic Committee cannot handle an issue when it got big,… what hope does any one person have?

Sure after decades, some one luck out and makes it all the way through the complaint. But, I mean, think of that girl, who’s dad finally committed suicide after realizing he wrongly disbelieved his daughter of sexual abuse complaints for a decade and shaming her about her complaints. That is total and utter destruction of a person and her family. Wow, what hideous crime.

How does our nation go on with any pride?

Many coaches may hold the believe that sport is just sport, it’s nothing greater than the exercise of the body. Yes, really, it’s all about techniques and how to physically perform better. Mental training is more for moving muscles better than for betterment of the mind.

But sports represent a pursuit of something idealistic to me: Citius, Altius, Fortious: Faster! Higher!! Stronger!!!

It is a pursuit of a spirit, the exercise of the body renders a likeness of a spirit that we love. I relay this experience to many…, and once more here. Once I saw an opposing club’s junior athletes compete in a speed competition. Sports unnamed to protect the interest of all involved… he really sucked at the sport, probably second time he’s ever done the distance. He struggles, and man, you would not believe how pathetic he looked, and his time was like twice as slow as the person ahead of him. And then… as he flailed his arms and legs, about to fall, his whole team, coaches, of all levels, his senior teammates who are very elite competitors.. his jock coach whose been screaming this whole competition at the top of her lungs like one of those menacing ancient barbarian warriors, … the people who competed against these people, and their coaches and parents,… they all quiet down and got together and cheered on this young boy, about to complete the very first race of his career… and everybody thought and felt the same loving support of this sport, keep going! Keep going!! Keep going!! And we all cheered him to the finish! Wow! That was such an uplifting moment… we were all standing, at the edge of the… field of race… and we were all cheering his big finish! And we were all overjoyed to see him succeed! It was as if we were all part of that success! We all won that one!! One of our own won!!

That is the sport!

That is winning!

Yes… I hear my own teams coach deriding me now… in my own head: “hey if that’s how you want to win, be my guest…, but if you swam on my team like that, you’d be gone in a second…”

I guess I’m failing at communicating what I love about the sports…. to the mini-coach in my own head.

Anyways… I hope to find the courage to redefine for myself what is right. To what length we should go towards what end. And how that can play out realistically.

What is the good of a right that cannot be? What is the evil of a wrong that must be?