Bodhi 心RE: https://mastodon.social/@CuratedHannahArendt/116304328873134120
Everything is contingent according to #dependent #origination as well.
#Western meets #Eastern #philosophy #Buddhism #HannahArendt #action #consequence
The most-valuable idea I have got from this book so far is that #consciousness could be an #emergent #property of #matter in the same way magnetic fields, for example, are an emergent property. I tend to lean toward #Idealism, in terms of what I would \*like to believe\*, but as a #dhamma practitioner I also appreciate the teachings of #dependent #origination, which says that mind and matter (namarupa) arise in dependence on each other and other phenomena. 1/2
Waking, Dreaming, Being - BookWyrm
A renowned philosopher of the mind, also known for his groundbreaking work on Buddhism and cognitive science, Evan Thompson combines the latest neuroscience research on sleep, dreaming, and meditation with Indian and Western philosophy of mind, casting new light on the self and its relation to the brain. Thompson shows how the self is a changing process, not a static thing. When we are awake we identify with our body, but if we let our mind wander or daydream, we project a mentally imagined self into the remembered past or anticipated future. As we fall asleep, the impression of being a bounded self distinct from the world dissolves, but the self reappears in the dream state. If we have a lucid dream, we no longer identify only with the self within the dream. Our sense of self now includes our dreaming self, the "I" as dreamer. Finally, as we meditate-either in the waking state or in a lucid dream-we can observe whatever images or thoughts arise and how we tend to identify with them as "me." We can also experience sheer awareness itself, distinct from the changing contents that make up our image of the self. Contemplative traditions say that we can learn to let go of the self, so that when we die we can witness its dissolution with equanimity. Thompson weaves together neuroscience, philosophy, and personal narrative to depict these transformations, adding uncommon depth to life's profound questions. Contemplative experience comes to illuminate scientific findings, and scientific evidence enriches the vast knowledge acquired by contemplatives.
Rob HooftHow 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 
#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. GendherSurvivor 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
Osna.FMWorldwide, 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
Mathrubhumi EnglishGigi, 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.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.
#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....🤷♂️