Tootfinder

You don’t get to opt out of politics.
Not really.
Because while you’re
“too busy” or “too cool” or “too disillusioned” to vote,
someone else is voting.
And if that someone wants to ban books, force pregnancies, erase history, gut healthcare, or unleash the police state, guess what?

Like It or Not, You’re in It — So Act Like It
🗳️🔥 You can say you don’t care about politics.

Moottorikelkka ajoi saimaan norpan apu kinoksen yli useita kertoja – pesästä löytyi kuollut kuutti #eläinoikeudet

Moottorikelkka ajoi saimaan­norpan apu­kinoksen yli useita kertoja – pesästä löytyi kuollut kuutti
Metsähallitus teki asiasta rikos­ilmoituksen Itä-Suomen poliisille. Ely-keskuksen mukaan tilanne on harvinainen.

Det gik ellers lige så godt, men så viste det sig at være en ommer 😄

The Agora Assistant got this one "wrong" about #2025 but I'm here for it

Aktienexpertin mit 98 Jahren: Hildegard Alf-Kopp
#Seniorin #Aktien #Geld

How do I know May Day is gonna be big? I'm going to be able to join an event in Studio City
I'm attending May Day Strong's event, “May Day Strong: We are the Many” - sign up now to join me! https://www.

This https://arxiv.org/abs/2405.03536 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Extensional and Non-extensional Functions as Processes
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $λ$-calculus, the process representations yield (at best) non-extensional $λ$-theories (i.e., $β$ rule holds, whereas $η$ does not). In the paper, we study how to obtain extensional representations, and how to move between extensional and non-extensional representations. Using Internal $π$, $\mathrm{I}π$ (a subset of the $π$-calculus in which all outputs are boun…

Letter: Synopsys tells staff to stop sales, services, and new orders in China to comply with new US export curbs, and pulls its annual and quarterly forecasts (Reuters)
https://www.reuters.com/world/china/synops

"Maailma näyttää nyt toisenlaiselta kuin vuonna 2023.” toteaa Orpo. Tämä ei kuitenkaan vaikuta hallituksen toimiin. Näin se käy ja seli seli. Tavoitteet on Orvolle annettu toteutettaviksi - tapahtui mitä tapahtui.
#velka #hallitus

VM kumosi pää­ministerin väitteen – Orpo: En tehnyt virhettä
Valtiovarainministeriö kiisti Orpon väitteen velkatavoitteen saavuttamisesta. Orpon mielestä ilmaisu ei ollut virheellinen vaan tulkinnanvarainen.

If people taking care of our elders get deported, will anyone take their place?
At a time where it seems fewer and fewer of us want to work in long-term care, the need has never been greater
So how will millions of aging Americans be able to afford care for physical and cognitive decline,
especially given Trump’s proposed cuts to Medicaid, which covers about two-thirds of nursing home residents?
And who will take care of those who don’t have family members who can …

Commentary: If people taking care of our elders get deported, will anyone take their place?
How will millions of seniors get healthcare, especially with Trump's policies on immigration and proposed cuts to Medicaid?