Mastodawn

How long will it take before the first companies who have #fired employees to replace them with cheaper #AI will go bankrupt because the prices are doubled annually for those who can no longer do without nor switch providers because they’re dug in too deeply? #autonomy #sovereignty #dependent #monopoly

John

5d ago

#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

Protyus A. Gendher Feb 8

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

http://survivorliteracy.com/2026/02/08/pluriology-survivor-literacy/?utm_source=mastodon&utm_medium=jetpack_social

Pluriology – Survivor Literacy

Survivor literacy is crucial for understanding Episkevology, as it enables individuals to perceive and analyze systems authentically. This ability helps reveal power dynamics and the distribution o…

Survivor Literacy

Protyus A. Gendher Feb 8

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

http://survivorliteracy.com/2026/02/08/applied-episkevology-the-child-as-dependent-variable-and-the-geometry-of-the-field/?utm_source=mastodon&utm_medium=jetpack_social

Applied Episkevology – The Child as Dependent Variable and the Geometry of the Field

Episkevology posits that a child is a dependent variable influenced by five independent variables: safety, coherence, consistency, attunement, and power. Behaviors termed “problems” are signals of …

Survivor Literacy

Osna.FM Jan 21

Worldwide, two‑thirds of all defense startups are in the United States. The superpower also dominates large enterprises: Of the 100 largest companies, 48 are U.... https://news.osna.fm/?p=31384 | #news #armed #dependent #forces #germanys

Study Reveals Germany's Armed Forces Still Heavily Dependent on U.S. Tech - Osna.FM

New study shows Germany's rising defense budget cannot eliminate its heavy reliance on U.S. arms suppliers, keeping the country militarily dependent.

Osna.FM

Mathrubhumi English Jan 14

Gigi, an Adivasi woman from Malappuram, Kerala, finally secured her father's family pension after a 17-year struggle. Learn about her fight for justice. https://english.mathrubhumi.com/news/kerala/kerala-pension-fight-adivasi-woman-s22ajq4m?utm_source=dlvr.it&utm_medium=mastodon #Kerala #familypension #dependent #ScheduledTribes #bureaucracy

amen zwa, esq.Jan 13

Amongst some truly illustrious #programming languages and #proof assistants that sport a fully #dependent type system, #Lean now seems to be the firm favourite of mathematicians and programmers alike.

amen zwa, esq.Jan 7

#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....🤷‍♂️

amen zwa, esq.Nov 24

"Why #Dependent #Types Matter", Altenkirch (2005)

https://people.cs.nott.ac.uk/psztxa/publ/ydtm.pdf