Tootfinder

Pia Lohikoski: Hallitus näyttää vihreää valoa ympäristön kannalta tuhoisille kaivoshankkeille https://vasemmisto.fi/pia-lohikoski-hallitus-nayttaa-vihreaa-valoa-ympariston-kannalta-tuhoisille-kaivoshankkeille/

Pia Lohikoski: Hallitus näyttää vihreää valoa ympäristön kannalta tuhoisille kaivoshankkeille
Hallitus on näyttänyt vihreää valoa muun muassa Viiankiaavan luonnonsuojelualueelle kaavaillulle kaivoshankkeelle, jonka asiantuntijat ovat arvioineet tekevän peruuttamatonta vahinkoa alueen…

Interesting take on how contradictory things seem to be, unless some people are people and some people aren't.
https://www.the-reframe.com/acceptable-losses/
via @…

Acceptable Losses
Whose deaths get to be deemed unacceptable in supremacist America, and whose are deemed necessary? And who does the deeming?

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
Massimo Benerecetti (Universit\`a degli Studi di Napoli "Federico II"), Dario Della Monica (Universit\`a degli Studi di Udine), Angelo Matteo (Universit\`a degli Studi di Udine), Fabio Mogavero (Universit\`a degli Studi di Napoli "Federico II"), Gabriele Puppis (Universit\`a degli Studi di Udine)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
In this paper, we study First Order Logic (FO) over (unordered) infinite trees and its connection with branching-time temporal logics. More specifically, we provide an automata-theoretic characterisation of FO interpreted over infinite trees. To this end, two different classes of hesitant tree automata are introduced and proved to capture precisely the expressive power of two branching time temporal logics, denoted polcCTLp and cCTL*[f], which are, respectively, a restricted version of counti…

Weil mir heute vorgeworfen wurde, mit der Aussage "Stau ist keine zwingendes Problem für saubere Luft." (https://norden.social/@thijs_lucas/115217866378329296) "Vertretern der autofreundlichen Stadt Munition" zu geben und behauptet wurde, meine Aussage sei fals…

Feinstaubalarm in Stuttgart - Streit um die Wirkung der Feinstaubdemo
Die Demonstration auf der teilweise gesperrten Bundesstraße 14 hat eine heftige Debatte über deren Beitrag zum Feinstaub ausgelöst. Experten sagen, die Schadstoffwerte seien deswegen nicht gestiegen.

Rockmond Dunbar Loses Covid Vaccine Trial Against Disney
https://deadline.com/2025/10/rockmond-dunbar-loses-covid-vaccine-firing-trial-disney-1236591063/

Maduro och Putin ingår ”strategiskt partnerskap” - medan Trumps krigsfartyg hotfullt väntar på internationellt vatten. Vad kan gå fel. https://elpais.com/america/2025-09-18/venezuela-amplia-sus-lazos-con-rusia-en-p…

Venezuela aprueba un “tratado de asociación estratégica” con Rusia en plena crisis militar con Estados Unidos
El chavismo también ha exhibido aviones de caza equipados con misiles antibuques

I just realized I could be paying for The Onion, but I am not. I need to correct this oversight. https://bsky.app/profile/did:plc:x4qyokjtdzgl7gmqhsw4ajqj/post/3lz364qs7hc2q

Tim Onion (@bencollins.bsky.social)
By the way, you can in fact run a media business where people give you money for goods and services. 56k+ people give The Onion ~$100 and we give them a year of newspapers. This business didn’t exist last year in this way. People will pay for good shit. Now’s the time to break glass and go for it.

Pushing the Limits of Frequency Analysis in Leakage Abuse Attacks
Nathaniel Moyer, Charalampos Papamanthou, Evgenios Kornaropoulos
https://arxiv.org/abs/2508.11563 https://

Pushing the Limits of Frequency Analysis in Leakage Abuse Attacks
Searchable encryption (SE) is the most scalable cryptographic primitive for searching on encrypted data. Typical SE constructions often allow access-pattern leakage, revealing which encrypted records are retrieved in the server's responses. All the known generic cryptanalyses assume either that the queries are issued uniformly at random or that the attacker observes the search-pattern leakage. It remains unclear what can be reconstructed when using only the access-pattern leakage and knowledge …

NBCUniversal changed MSNBC's name "to accelerate the distinction between MSNBC and NBC News"; MSNBC has been undergoing aggressive hiring for ~100 new positions (Alex Sherman/CNBC)
https://www.cnbc.com/2025/08/18/comcast-versant-rename-msnbc-peac…

Versant to rename MSNBC, drop famed peacock logos in Comcast separation
They're the first real public-facing changes in Versant's upcoming separation from Comcast's NBCUniversal.

🏃‍♀️ Flopped launch and new squad building: Boston and Denver’s journey to the NWSL | Moving the Goalposts
https://www.theguardian.com/football/2025/jul/31/nwsl-boston-legacy-denver-summit-expansion-moving-the-goalposts