Tootfinder

from my link log —
The Prospero challenge.
https://www.mattkeeter.com/projects/prospero/
saved 2025-03-25 https://

The Prospero Challenge
Evaluate a 7866-clause math expression for fame and glory

Hinter der Paywall - schön, dass die BZ im Kommentar (Sebastian Krüger) klar zieht, dass Klimaanpassung eine Zukunftsinvestition ist. Auch beim Sonneplatz in Gundelfingen.
https://www.badische-zeitung.de/der-verlust-zentraler-parkplaetze-w…

Der Verlust zentraler Parkplätze wäre für Gundelfingen ein Gewinn
Gundelfingen hat ein Parkleitsystem und genügend Stellplätze in öffentlichen Tiefgaragen. Daher gibt es keinen Grund, den Wegfall von Parkplätzen zu bejammern.

Four ways to build a zero-trust program for the AI world:
Think of AI as just another identity.
🤔 https://www.scworld.com/perspective/four-ways-to-build-a-zero-trust-program-for-the-ai-world

Four ways to build a zero-trust program for the AI world
Why AI tools deserve the least amount of trust.

Gaze3P: Gaze-Based Prediction of User-Perceived Privacy
Mayar Elfares, Pascal Reisert, Ralf K\"usters, Andreas Bulling
https://arxiv.org/abs/2507.00596

Gaze3P: Gaze-Based Prediction of User-Perceived Privacy
Privacy is a highly subjective concept and perceived variably by different individuals. Previous research on quantifying user-perceived privacy has primarily relied on questionnaires. Furthermore, applying user-perceived privacy to optimise the parameters of privacy-preserving techniques (PPT) remains insufficiently explored. To address these limitations, we introduce Gaze3P -- the first dataset specifically designed to facilitate systematic investigations into user-perceived privacy. Our datas…

Spannende Auswertung von Parkplätzen, mit dem Ziel, Parkflächen besser auszunutzen. Hier am Beispiel vom Agnes-Viertel in #Köln
Andere Städte wie #München und #Düsseldorf sollen folgen

Mehrfachnutzung von Parkplätzen
Mehrfachnutzung von Parkplätzen

Titanic: VR-Erfahrung zeigt Untergang aus Passagiersicht
Die für Meta Quest neu aufgelegte "Lifeboat Experience" rekonstruiert den Untergang der Titanic aus der Perspektive einer überlebenden Passagierin.
…

The Hidden Connection Between Comedy and Depression
https://www.psychologytoday.com/us/blog/parenting-from-a-neuroscience-perspective/202506/the-hidde…

The Hidden Connection Between Comedy and Depression
Discover the surprising science behind why so many comedians battle depression—and how humor can both heal and hurt.

Senate Passes Megabill as Murkowski Stays Bought (David Dayen/American Prospect)
https://prospect.org/politics/2025-07-01-big-beautiful-bill-trump-murkowski/
http://www.memeorandum.com/250701/p94#a250701p94

One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
https://arxiv.org/abs/2506.23730 https://

One-Parametric Presburger Arithmetic has Quantifier Elimination
We give a quantifier elimination procedure for one-parametric Presburger arithmetic, the extension of Presburger arithmetic with the function $x \mapsto t \cdot x$, where $t$ is a fixed free variable ranging over the integers. This resolves an open problem proposed in [Bogart et al., Discrete Analysis, 2017]. As conjectured in [Goodrick, Arch. Math. Logic, 2018], quantifier elimination is obtained for the extended structure featuring all integer division functions $x \mapsto \lfloor{\frac{x}{f(…

Look, even Venezuela manages to look like the adults in the room now.
https://flipboard.com/@euronews/europe-news-vn516gnfz/-/a-prgqbz7fTrSLB18YxgsiGA:a:89340020-/0

Venezuela warns citizens not to travel to US
Caracas also urged Venezuelans living in the US to return, calling it a 'dangerous country'. The Venezuelan government has told its citizens to avoid …