#Turnbull: “Since the Morrison government, [#Australia has become] more & more #dependent on the #UnitedStates, [this] is absolutely the wrong course, because we are making ourselves more dependent on the US at a time when the US is #lessdependable.
This is a guy that does not respect smaller countries. He believes might is right, he makes no bones about that. He believes he should be able to do and get whatever he wants.” #USPol #auspol #TrumpRegime #RogueNation #EpsteinWars #Iran #oil
Survivor literacy is the reason we can see the mechanism.
Episkevology is the reason we can finally name it. #RFT #survivorliteracy #believevictims #dependent #dependentvariable #victimblaming
A dependent variable cannot misbehave.
A dependent variable cannot be oppositional.
A dependent variable cannot be manipulative.
A dependent variable cannot be dysregulated in isolation. #dependentvariable #dependent #child #behavior
#Programming in a #dependent #type system does not imply a blind obedience to the type system by the #programmer: not all types need be adorned with fully-dependent regalia. That is, the programmer selects the desired level of type specificity. For example, we may type the all-too-familiar \(\texttt{qsort}\) with progressively finer specificity, as follows:
• Simple, parameterised typed:
\[
𝑞𝑠𝑜𝑟𝑡\ :\ [ℤ]→[ℤ]
\]
• Dependent, parameterised, indexed typed:
\[
qsort\ :\ (n : ℕ) ⇒ [ℤ\ n] → [ℤ\ n]
\]
• Fully-dependent, parameterised, indexed, predicated \(\Sigma\) type:
\[
𝑞𝑠𝑜𝑟𝑡\ :\ (𝑛:ℕ)⇒[ℤ\ 𝑛]→(𝑥𝑥:[ℤ\ 𝑛], 𝑆𝑜𝑟𝑡𝑒𝑑\ 𝑥𝑥)
\]
The closer we approach full dependence, the greater our burden of proof and the messier our #code. And the farther we retreat from full dependence, the less precise our type specifications and the weaker their #correctness guarantees.
Such is the thug-life of a programmer....🤷♂️
"Why #Dependent #Types Matter", Altenkirch (2005)
My greatest wish is that she at least have #care but patriarchy doesn't teach love or care for #elders
What it teaches is making children #godtier importance and anyone else who is a #dependent is seen as a parasite
What people don't realize and will never understand about my choice to care for my elder is that it's not obligation
To leave Mom behind to this system of violence is to betray the core of who I am
Even if she never loved me I choose care and #HarmReduction
Cháu ngoại có thể đăng ký ông bà ngoại là người phụ thuộc để giảm trừ gia cảnh nếu đáp ứng đủ điều kiện theo quy định của pháp luật thuế. #thue #taxes #nguoiphuthuoc #dependent
John 
Protyus A. Gendher
Osna.FM
Mathrubhumi English
amen zwa, esq.
SLS
Vietnamnet BOT