#dependent — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dependent, aggregated by home.social.
-
@croyle
And need, for his wife's medical expenses.
I'm not sure at what point in the series this became a reason for rush.A benefit of the UK's #NHS, better #SciFi from #authors with a #sick #dependent if they choose to write.
I have absolutely no examples, and cannot say whether this is a #potential #benefit or an actual one.
-
@croyle
And need, for his wife's medical expenses.
I'm not sure at what point in the series this became a reason for rush.A benefit of the UK's #NHS, better #SciFi from #authors with a #sick #dependent if they choose to write.
I have absolutely no examples, and cannot say whether this is a #potential #benefit or an actual one.
-
@croyle
And need, for his wife's medical expenses.
I'm not sure at what point in the series this became a reason for rush.A benefit of the UK's #NHS, better #SciFi from #authors with a #sick #dependent if they choose to write.
I have absolutely no examples, and cannot say whether this is a #potential #benefit or an actual one.
-
@croyle
And need, for his wife's medical expenses.
I'm not sure at what point in the series this became a reason for rush.A benefit of the UK's #NHS, better #SciFi from #authors with a #sick #dependent if they choose to write.
I have absolutely no examples, and cannot say whether this is a #potential #benefit or an actual one.
-
@croyle
And need, for his wife's medical expenses.
I'm not sure at what point in the series this became a reason for rush.A benefit of the UK's #NHS, better #SciFi from #authors with a #sick #dependent if they choose to write.
I have absolutely no examples, and cannot say whether this is a #potential #benefit or an actual one.
-
Brain-Wide Gaze-Dependent Activity During Eyes-Closed Rest and Sleep
https://1ban.news/brain-wide-gaze-dependent-activity-eyes-closed-rest-sleep/
#1ban #brain #wide #gaze #dependent #sleep -
The fact we own and use #machines that we don’t #understand at all… is wild. I wish I understood #cars and #computers (repeat rant), because if I understood them then I could #fix them, and not be #dependent on men #mechanics who realize I’m an #idiot (with respect to the machine) and I will put anything on my #creditcard because IDK what else to do.
-
The fact we own and use #machines that we don’t #understand at all… is wild. I wish I understood #cars and #computers (repeat rant), because if I understood them then I could #fix them, and not be #dependent on men #mechanics who realize I’m an #idiot (with respect to the machine) and I will put anything on my #creditcard because IDK what else to do.
-
The fact we own and use #machines that we don’t #understand at all… is wild. I wish I understood #cars and #computers (repeat rant), because if I understood them then I could #fix them, and not be #dependent on men #mechanics who realize I’m an #idiot (with respect to the machine) and I will put anything on my #creditcard because IDK what else to do.
-
The fact we own and use #machines that we don’t #understand at all… is wild. I wish I understood #cars and #computers (repeat rant), because if I understood them then I could #fix them, and not be #dependent on men #mechanics who realize I’m an #idiot (with respect to the machine) and I will put anything on my #creditcard because IDK what else to do.
-
The fact we own and use #machines that we don’t #understand at all… is wild. I wish I understood #cars and #computers (repeat rant), because if I understood them then I could #fix them, and not be #dependent on men #mechanics who realize I’m an #idiot (with respect to the machine) and I will put anything on my #creditcard because IDK what else to do.
-
Alessi Rose Releases New Single ‘Dependent’
Alessi Rose has released her new single “Dependent” and an accompanying visualizer via Capitol Records. The track arrives…
#NewsBeep #News #Music #AlessiRose #Dependent #Entertainment #HomepageFeatured #Pop #UK #UnitedKingdom #VOYEUR(DELUXE)
https://www.newsbeep.com/uk/683576/ -
https://www.europesays.com/ie/577797/ Alessi Rose Releases New Single ‘Dependent’ #AlessiRose #Dependent #Éire #Entertainment #HomepageFeatured #IE #Ireland #Music #pop #VOYEUR(DELUXE)
-
Geopolitical Consequences of Regional Tensions for the European Economy
Islam Times – In recent years, the global economy has become more dependent than ever on the stability…
#Europe #EU #become #consequences #corridors #dependent #economy #Energy #European #ever #for #Geopolitical #global #has #in #Islam #more #of #on #recent #Regional #Stability #tensions #than #the #Times #vital #years
https://www.europesays.com/europe/51654/ -
https://www.europesays.com/ch-fr/97688/ Les cellules cancéreuses déficientes en APC dépendent d’une seule enzyme pour survivre #APC #cancéreuses #cellules #d’une #déficientes #dépendent #Enzyme #Health #les #pour #Santé #seule #Suisse #survivre
-
https://www.europesays.com/be-fr/81276/ Les cellules cancéreuses déficientes en APC dépendent d’une seule enzyme pour survivre #APC #BE #BEFr #Belgique #Belgium #cancéreuses #Cellules #déficientes #dépendent #dune #enzyme #Health #Les #pour #Santé #seule #survivre
-
RE: https://mastodon.social/@CuratedHannahArendt/116304328873134120
Everything is contingent according to #dependent #origination as well.
#Western meets #Eastern #philosophy #Buddhism #HannahArendt #action #consequence
-
RE: https://mastodon.social/@CuratedHannahArendt/116304328873134120
Everything is contingent according to #dependent #origination as well.
#Western meets #Eastern #philosophy #Buddhism #HannahArendt #action #consequence
-
RE: https://mastodon.social/@CuratedHannahArendt/116304328873134120
Everything is contingent according to #dependent #origination as well.
#Western meets #Eastern #philosophy #Buddhism #HannahArendt #action #consequence
-
RE: https://mastodon.social/@CuratedHannahArendt/116304328873134120
Everything is contingent according to #dependent #origination as well.
#Western meets #Eastern #philosophy #Buddhism #HannahArendt #action #consequence
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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 -
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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.
-
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.
-
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.
-
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....🤷♂️
-
#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....🤷♂️
-
#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....🤷♂️
-
#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....🤷♂️
-
#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)
-
"Why #Dependent #Types Matter", Altenkirch (2005)
-
"Why #Dependent #Types Matter", Altenkirch (2005)
-
"Why #Dependent #Types Matter", Altenkirch (2005)
-
"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
-
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
-
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
-
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
-
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