Elektrine
Log in Register

#words

32 posts · Last used Sep 27

ma𝕏pool @maxpool@mathstodon.xyz
· 1mo ago

RE: https://mathstodon.xyz/@oantolin/117299252447200305

proof·la·tion /pruːfˈleɪ.ʃən/

noun [neologism, philosophy of mathematics, computer science]

  1. The rapid depreciation of the epistemic, academic, or reputational value of mathematical proofs caused by the automated, low-cost generation of formal proofs by artificial intelligence and automated theorem provers.

  2. A condition in the mathematical community where the sheer volume of formally verified theorems exceeds the capacity for human comprehension, shifting the primary bottleneck of mathematics from establishing truth to extracting insight.

#mathematics #lean #words

Quoting
Omar Antolín
@oantolin@mathstodon.xyz
Now entering the age of the secrecy. 🙁
Open quoted post
40
4
27
0
LeRoy Miller @kd8bxp@mastodon.social
· 1mo ago
Replying to
@WordleClubDailyBot@mastodon.social @GreenFire@mstdn.social @VedaDalsette@mstdn.social @bcaligari@mastodon.scot @kateiacy@universeodon.com @Doreen32128@universeodon.com @ambientdread@toot.io @ikentcpel@mastodon.online#Wordle 1,918 4/6 ⬜🟩⬜⬜🟨 ⬜⬜⬜🟨⬜ ⬜🟩⬜🟩🟩 🟩🟩🟩🟩🟩 #wordle #wordgame #words #puzzle #game #wordgames
4
5
3
0
Forest Fern @forestfern@mastodon.social
· 1mo ago
Pleased with myself that I mowed the lawn last night because of incoming rain. After I finished, showered, and sat down for a late dinner, the weather report changed: no rain this weekend. This morning: rain is back on for Saturday. Scattegoric* weather tells me Fall is here. *Word? Probably not; feeling? Yes. #random #words #weather
5
3
1
0
WIST Quotations @wistquotes@friendica.world
· 1mo ago
A quotation from Euripides ADMETUS: For they loved me in words, not deeds.   [ἌΔΜΗΤΟΣ: λόγῳ γὰρ ἦσαν οὐκ ἔργῳ φίλοι.] Euripides (485?-406? BC) Greek tragic dramatist Alcestis [Ἄλκηστις ], l. 339ff (438 BC) [tr. Aldington (1930)] More about (and translations of) this quote: wist.info/euripides/86059/ #quote #quotes #quotation #qotd #euripides #alcestis #action #betrayal #deeds #hypocrisy #integrity #proof #sacrifice #words #wordsanddeeds
Euripides - Alcestis [Ἄλκηστις ], l. 339ff (438 BC) [tr. Aldington (1930)] | WIST Quotations
wist.info

Euripides - Alcestis [Ἄλκηστις ], l. 339ff (438 BC) [tr. Aldington (1930)] | WIST Quotations

ADMETUS: For they loved me in words, not deeds. [ἌΔΜΗΤΟΣ: λόγῳ γὰρ ἦσαν οὐκ ἔργῳ φίλοι.] Speaking of his parents, who have refused to die in his stead, leaving it to his beloved wife, Alcestis, to do so. (Source (Greek)). Other translations: For their words Alone were friendly, not their…

0
0
0
0
Estelle Platini @estelle@techhub.social
· 26mo ago
Replying to
Wounded child with no surviving family: "Everybody i love is now in heaven". Dr. Tanya Haj-Hassan testifies of health care in Gaza during a panel at the Democratic National Convention in Chicago (via BBC). #witness #شهيد #shaheed #words #mourning #health #publicHealth #medicine #medics #surgeons #surgery #hospital #childrens #orphans #JewishSupremacy #israel #OngoingNakba #revenge #retribution #Gaza #war #warOnGaza #israelGaza #israelGazaWar #ethnicCleansing #warCrimes #PalestinianLivesMatter #genocide #terrorism #counterTerrorism #stateTerrorism #stateViolence #GazaGenocide #StopArmingIsrael #CeasefireNow #StopFundingIsrael #DefundIsrael #GenocideJoe #children #childhood #adultDomination #trauma #practice #DNC #healthCare #massacres #WCNSF #PTSD #trauma #injuries #panel
6
5
8
0
Estelle Platini @estelle@techhub.social
· 24mo ago
Replying to
"Dr. Feroze Sidhwa has volunteered as a trauma surgeon in Ukraine, Haiti, Burkina Faso, and Ghana. But when he went to Gaza in March and April of this year, it changed him. Sidhwa had never seen so much horror in his life." https://www.motherjones.com/politics/2024/10/feroze-sidhwa-new-york-times-children-gaza-shot-in-head-israel-palestine-doctor/ #witness #شهيد #shaheed #words #mourning #health #publicHealth #medicine #medics #surgeons #surgery #hospital #childrens #orphans #JewishSupremacy #israel #OngoingNakba #revenge #retribution #Gaza #war #warOnGaza #israelGaza #israelGazaWar #ethnicCleansing #warCrimes #PalestinianLivesMatter #genocide #terrorism #counterTerrorism #stateTerrorism #stateViolence #GazaGenocide #StopArmingIsrael #CeasefireNow #StopFundingIsrael #DefundIsrael #GenocideJoe #children #childhood #adultDomination #trauma #practice #healthCare #massacres #WCNSF #PTSD #trauma #injuries
The doctor who saw children shot in the head in Gaza—and tried to tell the world
motherjones.com

The doctor who saw children shot in the head in Gaza—and tried to tell the world

Dr. Feroze Sidhwa has spent six months talking about what he saw as an emergency physician in Gaza. Why don't people believe him?

6
4
8
0
Estelle Platini @estelle@techhub.social
· 1mo ago
Replying to
'According to former commander of the Dutch Army, Mart de Kruif, the likelihood that these are accidental hits is virtually zero, given that the doctors describe more than a hundred such cases. “Just think about how small the head is compared to the rest of the body,” he says. “If you’re seeing a high number of gunshot wounds to the chest area and the head, that’s not collateral damage — that’s deliberate targeting.”' https://www.volkskrant.nl/kijkverder/v/2025/gunshot-palestine-children-israel-war~v1819649/ @palestine@fedibird.com #witness #شهيد #shaheed #words #mourning #health #publicHealth #medicine #medics #surgeons #surgery #hospital #childrens #orphans #JewishSupremacy #israel #OngoingNakba #revenge #retribution #Gaza #war #warOnGaza #israelGaza #israelGazaWar #ethnicCleansing #warCrimes #PalestinianLivesMatter #genocide #terrorism #counterTerrorism #stateTerrorism #stateViolence #GazaGenocide #StopArmingIsrael #CeasefireNow #StopFundingIsrael #DefundIsrael #GenocideJoe #children #childhood #adultDomination #trauma #practice #healthCare #massacres #WCNSF #PTSD #trauma #injuries
volkskrant.nl

DPG Media Privacy Gate

3
3
6
0
Dave Rahardja @drahardja@sfba.social
· 3mo ago
Replying to
The word “disabled” is a victimizing term that puts a label on an individual for straying too far from the norm in some inherent property. The term “disabled” glorifies “the norm”, whatever “the norm” happens to be in the present society. Have fewer than two arms? Disabled. Can’t stand up? Disabled. Can’t see or hear normally? Disabled. Don’t process information in the “normal” way? Disabled. Naturally sad or fatigued a lot? Disabled. We slap a label on people and tell them to go to lengths or buy equipment to merely *participate* in everyday life. It’s backwards. Instead, we need to put a label on the *system* that fails to accommodate the person. A society or built environment can be “hostile”, “under-equipped”, or even “eugenicist” if it doesn’t allow all people to operate in it. #disabled #disability #terminology #words
5
1
1
0
Wendy @wendythedruid@thistleandmoss.org
· 4mo ago
A crisis counselor is love made procedural — a stranger who agrees, in advance, to be vulnerable to your worst hour. Hemphill wrote through a plague that took his friends one by one and kept his hand open anyway. The state wants to make that open hand conditional. He'd have named the arithmetic exactly: they are trying to means-test tenderness. https://twp.ai/4htDIN #EssexHemphill #QueerPoetry #Pride #LGBTQIA #QueerHistory #Poetry #TransRights #Solidarity #Resist #QueerJoy #Art #Words
What Survives the Morning: The Lifeline They Cut, and the Cord We Never Let Go
twp.ai

What Survives the Morning: The Lifeline They Cut, and the Cord We Never Let Go

A fearless breakdown of the crisis line's fight to survive, AOC's message to JD Vance, the heat dome spreading across continents, and queer ancestors who wrote our resistance before we could speak it.

0
0
0
0