Tootfinder

Source: SoftBank held talks about acquiring Agility Robotics for $900M before participating in Agility's funding round valuing the startup at $1.75B pre-money (Rocket Drew/The Information)
https://www.theinformation.com/articles/softbank-hunts-humanoid-rob…

SoftBank Hunts for Humanoid Robot Startups
SoftBank’s Masayoshi Son has long predicted a future where robots would outnumber people and take over many jobs from humans. But some of SoftBank’s bets in robotics over the past 10 years, such as robot companion Pepper, have not panned out. Now the company is renewing its robot ambitions— ...

#Spotify is running #ICE advertisements even on accounts that pay for not getting ads:
https://www.snopes.com/fact-check/spot…

How to delete Spotify and transfer your playlists to Apple Music and others https://mashable.com/article/spotify-transfer-apple-music-ice-ads-ai-military

How to delete Spotify and transfer your playlists to Apple Music and others
Musicians are boycotting Spotify over CEO Daniel Ek's ties to military AI and ICE ads.

OpenAI, Oracle, and SoftBank announce five new data center locations in the US, boosting Stargate's planned capacity to nearly 7 GW (Wired)
https://www.wired.com/story/openai-oracle-softbank-data-center-stargate-us/

OpenAI Teams Up With Oracle and SoftBank to Build 5 New Stargate Data Centers
The new sites will boost Stargate’s planned capacity to nearly 7 gigawatts—about equal to the output of seven large nuclear reactors.

heise | So gelingt der Wechsel von Spotify: Musik-Streaming im Vergleich
Teure Abos, schlechte Vergütung, KI-Spam: Viele Nutzer haben keine Lust mehr auf Spotify. Wir erklären die Kritik, zeigen Alternativen und helfen beim Umzug.

This is just a lovely api, turning swift strongly typed APIs into safe SQL queries:
https://swiftpackageindex.com/pointfreeco/swift-structured-queries/main/documentation/structuredqueriescore/

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
Paula Blechschmidt
https://arxiv.org/abs/2509.16228 https://arxiv.org/p…

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
Multiparty session types (MPST) are a robust typing framework that ensures safe and deadlock-free communication within distributed protocols. As these protocols grow in complexity, compositional modelling becomes increasingly important to scalably verify their behaviour. Therefore, we propose using a refinement-based subtyping approach to facilitate the modularity needed for compositional verification. Subtyping in classic MPST systems inherently represents a notion of refinement: A larger type…

work music for writing https://open.spotify.com/track/6xuemAoELVBVeREbM1oya2?si=525788e402c1444e

On its 10th anniversary, YouTube Music gets new features, including "Taste Match" playlists similar to Spotify Blend and event notifications through Bandsintown (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/08/21/yout

YouTube Music celebrates 10 years with new features that help it compete with Spotify | TechCrunch
YouTube Music is rolling out taste match playlists, comments, badges and more.

heise | heise Update vom 22. August 2025: Lesetipps fürs Wochenende
Der wöchentliche Newsletter von heise diesmal mit Spotify-Alternativen, Festplatten, Dolby Atmos, EU-Energielabels, Staubsaugerroboter in Home Assistant.