Tootfinder

You won’t hear this on the news but Scotland and other countries have declared their economy will be based on wellbeing, not GDP.
And They’re not alone.
Countries worldwide are making the same shift.
But here’s the thing: people aren’t waiting for governments.
EThey’re building wellbeing economies themselves through cooperatives, people’s assemblies, and businesses that put purpose over profit.
-- J Friday

Let's play Cyberpunk 2077, meine Folge 7 ist online.
Wir besuchen Jackies Trauerfeier, hören uns die Probleme von Delamain, der Auto-AI an und lernen dann Panam kennen: Auf in die Badlands, die wüstenartigen Outskirts von Night City, wo die Nomads zu Hause sind und wir uns gleich wie in Fast & Furious fühlen. Salute, mi Wahlfamilie!
https://

What the ...? Ich wundere mich jedes Mal, weil ich wie ein Depp husten muss, wenn ich durch den Stuttgarter Schlossgarten fahre, und jetzt postet @… was von "Platanenhusten".
Es ergibt alles einen Sinn!
https://fedihum.org/@spinfocl/114500233766405355
(Wohlbemerkt: Es sind nicht die Platanen, die husten!)

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Well Being:
🎵 Flux De Vie
#WellBeing
https://wellbeing.bandcamp.com/track/flux-de-vie
https://open.spotify.com/track/1b5lzbOhh7sfFxeFBvfuQJ

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue
Esa\"ie Bauer, Alexis Saurin
https://arxiv.org/abs/2506.09791 https://

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
This paper presents a proof-theoretic analysis of the modal $μ$-calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal $μ$-calculus, using methods from linear logic and its exponential modalities. To achieve this, we introduce a new system, \muLLmodinf{}, which is a linear version of the modal $μ$-calculus, intertwining the modalities from the modal $μ$-calculus with the exponential modalities from linear logic. Our strategy for proving cut-elimination …

Trump Plans 'Major' Russia Statement Monday, Mulls Sanctions (Derek Wallbank/Bloomberg)
https://www.bloomberg.com/news/articles/2025-07-11/trump-plans-major-russia-statement-monday-criticizes-putin
http://www.memeorandum.com/250710/p164#a250710p164

Design for universal wellbeing.

Why I avoid the term human-centric and what I mean by universal wellbeing.

https://axbom.com/design-for-universal-wellbeing/

GLOSS: Group of LLMs for Open-Ended Sensemaking of Passive Sensing Data for Health and Wellbeing
Akshat Choube, Ha Le, Jiachen Li, Kaixin Ji, Vedant Das Swain, Varun Mishra
https://arxiv.org/abs/2507.05461

GLOSS: Group of LLMs for Open-Ended Sensemaking of Passive Sensing Data for Health and Wellbeing
The ubiquitous presence of smartphones and wearables has enabled researchers to build prediction and detection models for various health and behavior outcomes using passive sensing data from these devices. Achieving a high-level, holistic understanding of an individual's behavior and context, however, remains a significant challenge. Due to the nature of passive sensing data, sensemaking -- the process of interpreting and extracting insights -- requires both domain knowledge and technical exper…

🇺🇦 #NowPlaying on KEXP's #DriveTime
Wilby:
🎵 Experiments
#Wilby
https://wilbyyymusic.bandcamp.com/track/experiments-2
https://open.spotify.com/track/4txD0JmEqTQvWT8qVWn2u2

🇺🇦 #NowPlaying on KEXP's #AstralPlane
Will Van Horn:
🎵 Lost My Mind
#WillVanHorn
https://willvanhorn.bandcamp.com/track/lost-my-mind
https://open.spotify.com/track/1TSJvLS7GXyhxhPVk3IQBh