Tootfinder

Ahh. So good. Thank you, Matt & Trey.

▶️ Trump's retaliation against South Park is BLOWING UP in his face
https://youtube.com/watch?v=VszL78cbqvs&si=TFAdV8stKFLqign7

🇺🇦 #NowPlaying on KEXP's #MorningShow
The Beta Band:
🎵 Dry the Rain
#TheBetaBand
https://nathandavis1.bandcamp.com/track/the-beta-band-dry-the-rain-nathans-championship-vinyl-edit
https://open.spotify.com/track/7ItpUlCUwTRyiXZ0YclPQ7

Fediverse interoperability
pls repost:
Interoperability between all the fediverse software is for me the best thing about thefediverse.
At the moment I'm trying to track it using #mermaid. With this I want to show some problems.
any one of you UI & #mermaids experts hav…

🇺🇦 #NowPlaying on KEXP's #DriveTime
Positive K:
🎵 I Got a Man
#PositiveK
https://thebeatvault1.bandcamp.com/track/positive-k-i-got-a-man
https://open.spotify.com/track/4iAYo83eWlktjw97oebIal

🇺🇦 Auf radioeins läuft...
Tom Misch:
🎵 Red Moon
#NowPlaying #TomMisch
https://open.spotify.com/track/44tb4TdFVliafU17EQg28J

A bunch of sports and music over the weekend. Now we’re back home again for breakfast with Marie’s sourdough, egg and bacon, tea and coffee. Probably just work, drinks and games today. #TogetherBreakfast https://photos.app.goo.gl/t9VTfpeR5UWnN7fs6

Schwarzschild Spacetime and the Local Limit of Nonlocal Gravity
Yahya Mohammadi, Javad Tabatabaei, Shant Baghram, Bahram Mashhoon
https://arxiv.org/abs/2509.20089 https://

Schwarzschild Spacetime and the Local Limit of Nonlocal Gravity
We investigate static spherically symmetric solutions within the framework of the local limit of nonlocal gravity. This theory departs from Einstein's general relativity (GR) through the introduction of a scalar gravitational susceptibility function $S(x)$, $1+S > 0$, which is a new feature of the spacetime that vanishes in the GR limit. It is shown that the Schwarzschild spacetime constitutes an exact solution of the modified source-free gravitational field equations provided $S$ is a constant…

TPTP World Infrastructure for Non-classical Logics
Alexander Steen, Geoff Sutcliffe
https://arxiv.org/abs/2508.09318 https://arxiv.org/pdf/2508.09318

TPTP World Infrastructure for Non-classical Logics
The TPTP World is the well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. The TPTP World supports a range of classical logics, and since release v9.0.0 has supported non-classical logics. This paper provides a self-contained comprehensive overview of the TPTP World infrastructure for ATP in non-classical logics: the non-classical language extension, problems and solutions, and tool support. A detailed description of use…

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Bad Bunny:
🎵 NUEVAYoL
#BadBunny
https://fefotheghost.bandcamp.com/track/bad-bunny-nuevayol-fefo-edit
https://open.spotify.com/track/5TFD2bmFKGhoCRbX61nXY5

🇺🇦 #NowPlaying on KEXP's #MiddayShow
The Beta Band:
🎵 Dry the Rain
#TheBetaBand
https://nathandavis1.bandcamp.com/track/the-beta-band-dry-the-rain-nathans-championship-vinyl-edit
https://open.spotify.com/track/7ItpUlCUwTRyiXZ0YclPQ7