Tootfinder

Umfrage der Datenschutzbeauftragten: Ohne Sicherheit kein Vertrauen in die ePA
Viele Menschen sind nicht gut über die elektronische Patientenakte informiert. Das geht aus einer Umfrage der Bundesdatenschutzbeauftragten hervor.

Rivian launches Universal Hands-Free driving for second-generation R1 EVs, expanding coverage from 135,000 highway miles to 3.5M miles across the US and Canada (Sean O'Kane/TechCrunch)
https://techcrunch.com/2025/12/18/rivian-rolls-out-new-un…

Rivian rolls out new 'Universal Hands-Free' driving feature | TechCrunch
The driver assistance software is available on Rivian's for Gen 2 R1 cars and works on 3.5 million miles of North American roads. But it doesn't slow or stop for traffic lights or stop signs.

The capture of prisoners presents a major new set of legal and policy problems for the Trump administration in its escalating terror campaign.
https://universeodon.com/@jaykuo/115391110182959524

Jay Kuo (@jaykuo@universeodon.com)
Attached: 1 image I want to know EVERYTHING about these survivors they have detained. Now.

Indiana University orders school paper to cease print edition and fires director of student media
https://www.theguardian.com/us-news/2025/oct/16/indiana-university-school-paper

Seahawks' 'Rivalries' threads lead NFL Week 16 uniforms https://www.espn.com/nfl/story/_/id/47328308/nfl-2025-week-16-uniforms

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…

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
Michele Boreale (University of Florence), Luisa Collodi (University of Florence)
https://arxiv.org/abs/2509.14092

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
We study provably correct and efficient instantiations of Sequential Monte Carlo (SMC) inference in the context of formal operational semantics of Probabilistic Programs (PPs). We focus on universal PPs featuring sampling from arbitrary measures and conditioning/reweighting in unbounded loops. We first equip Probabilistic Program Graphs (PPGs), an automata-theoretic description format of PPs, with an expectation-based semantics over infinite execution traces, which also incorporates trace weigh…

The Marshall Islands unveils a national UBI scheme that offers payments of ~$200 per quarter to every resident citizen via stablecoin or traditional currency (Prianka Srinivasan/The Guardian)
https://www.theguardian.com/world/2025…

Towson University students moved their “No Kings” rally off campus
after a school official told them speakers’ names would be run through federal government databases and vetted for security reasons.
The demonstration, one of dozens planned in Maryland on Saturday,
will protest authoritarian policies of President Donald Trump.
Students moved the event, fearing that speakers would be targeted by the Trump administration,
which has threatened to pursue and punish …

Towson U. ‘No Kings’ rally relocates over speaker background checks
Towson University students moved their “No Kings” rally off campus after school officials told them speakers’ names would be run through federal government databases and vetted for security reasons.

Popular podcaster and comedian Tim Dillon,
who’s credited with helping bring young male voters over to President Donald Trump,
now has a dire prediction for MAGA.
“Let’s look at Trump here, and I do think, unfortunately, this is, kind of is the end of
— and I say unfortunately not because I care, truly
— but I say unfortunately because it seems to not be doing anything good for anyone,” Dillon said.
He continued:
This is the end of the Trump admini…

Tim Dillon Claims ‘This Is The End Of The Trump Administration’: ‘It’s Obvious To ...
Popular podcaster and comic Tim Dillon, who's credited with helping bring young male voters over to President Donald Trump, now has a dire prediction for MAGA.