Tootfinder

TikTok and iHeartRadio launch a singing competition show on TikTok Live; contestants will advance through rounds based on viewer engagement and judges' scores (Tomšs Mier/Rolling Stone)
https://www.rollingstone.com/music/music-n

TikTok Live and iHeartRadio Launch New Singing Competition Show
TikTok and iHeartRadio launch 'Next Up: LIVE Music,' a new TikTok Live competition giving unsigned artists a shot at stardom starting this month.

A modal approach towards substitutions
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
https://arxiv.org/abs/2507.12320 https://arxiv.org/pdf/2507.12320

A modal approach towards substitutions
Substitutions play a crucial role in a wide range of contexts, from analyzing the dynamics of social opinions and conducting mathematical computations to engaging in game-theoretical analysis. For many situations, considering one-step substitutions is often adequate. Yet, for more complex cases, iterative substitutions become indispensable. In this article, our primary focus is to study logical frameworks that model both single-step and iterative substitutions. We explore a number of properties…