Tootfinder

Die spinnen, die TechBros.
"OpenAI executives have discussed filing an antitrust complaint with US regulators against Microsoft, the company's largest investor, The Wall Street Journal reported Monday, marking a dramatic escalation in tensions between the two long-term AI partners."

The Quiet Revolutionary of the Piano – Fauré’s Complete Piano Works Now on Piano Street
#piano #repertoire

The Quiet Revolutionary of the Piano – Fauré’s Complete Piano Works Now on Piano Street
PIANO NEWS: An article about The Quiet Revolutionary of the Piano – Fauré’s Complete Piano Works Now on Piano Street from the Piano Street Magazine.

The Iranian government says it has restricted internet access in response to Israeli cyberattacks; some Western communication apps have reportedly been blocked (Kevin Collier/NBC News)
https://www.nbcnews.com/tech/internet/iran-pl…

Iran plunged into an internet near-blackout during deepening conflict
Iran plunged into a near-total internet blackout Tuesday as Israel continued to bombard the country

Israel-Iran conflict could last only as long as their missiles hold out
The intensity of Iran’s barrages seems to be waning nas it uses up its stock of missiles.
Israel, meantime, is running through its supply of expensive missile interceptors.
The Marker, a leading Israeli financial newspaper, reported that missile defense costs Israel as much as 1 billion shekels,
or roughly $285 million, a night.

Israel-Iran conflict could last only as long as their missiles hold out
The intensity of Iran’s barrages seems to waning as it uses up its stock. Israel, meantime, is running through its supply of expensive missile interceptors.

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
Jan-Christoph Kassing, Leon Spitzer, J\"urgen Giesl
https://arxiv.org/abs/2507.12918

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
The dependency pair (DP) framework is one of the most powerful techniques for automatic termination and complexity analysis of term rewrite systems. While DPs were extended to prove almost-sure termination of probabilistic term rewrite systems (PTRSs), automatic complexity analysis for PTRSs is largely unexplored. We introduce the first DP framework for analyzing expected complexity and for proving positive or strong almost-sure termination (SAST) of innermost rewriting with PTRSs, i.e., finite…

Meta fusioniert zwei seiner erfolgreichsten VR-Studios
Meta stellt die Entwicklung von "Onward" ein und integriert Downpour Interactive vollständig in Camouflaj. Das VR-Studio verliert damit seine Eigenständigkeit.

83 años cumple hoy la persona viva mšs influyente e importante en la historia del rock. Un genio como pocos que cambió la historia de la música con The Beatles y ha hecho una extensa carrera con Wings y como solista. ¡Feliz #cumpleañosRockero para Paul McCartney!
#PaulMcCartney

Trump's Conflicting Messages on Workplace Raids Leave Businesses Reeling (New York Times)
https://www.nytimes.com/2025/06/17/us/politics/trump-conflicting-messages-workplace-raids.html
http://www.memeorandum.com/250617/p173#a250617p173

Mexican National Charged in Federal Criminal Complaint with Staging Fake Immigration 'Kidnapping' (US Department of Justice)
https://www.justice.gov/usao-cdca/pr/mexican-national-charged-federal-criminal-complaint-staging-fake-immigration
http://www.memeorandum.com/250717/p114#a250717p114