Tootfinder

🇺🇦 Auf radioeins läuft...
Amber Mark:
🎵 Sink in
#NowPlaying #AmberMark
https://soulbuttermusic.bandcamp.com/track/sink-in-x-der-stiller-see-soulbutter-blend
https://open.spotify.com/track/3jFHtovu88ZrWf0nmK90ab

The Trump administration knew
that the vast majority of the
238 Venezuelan immigrants
it sent to a maximum-security prison in El Salvador in mid-March
had not been convicted of crimes in the United States
before it labeled them as terrorists and deported them,
according to U.S. Department of Homeland Security data
that has not been previously reported.

Trump Administration Knew Vast Majority of Venezuelans Sent to Salvadoran Prison Had Not Been Convicted of U.S. Crimes
Homeland Security records reveal that officials knew that more than half of the 238 deportees were labeled as having no criminal record in the U.S. and had only violated immigration laws.

Trump’s deal that got migrants shipped to notorious El Salvador prison is only making MS-13 gang stronger: report | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/trump-el-salvador-cecot-ms13-b2779881.html

Rust's Stable MIR project is being slept on. It's pitched as a tool for formal verification, but it's more general than that. Once stabilized, it will almost be a stable compiler plugin API!
It doesn't just include what you get from `--emit=mir` (IR for each function), but also has full type and trait information, and will likely even support interactive queries like "does type implement trait”.
In short, it'll be perfect for metaprogramming!
[1/2]…

Seven Security Challenges That Must be Solved in Cross-domain Multi-agent LLM Systems
Ronny Ko, Jiseong Jeong, Shuyuan Zheng, Chuan Xiao, Taewan Kim, Makoto Onizuka, Wonyong Shin
https://arxiv.org/abs/2505.23847

Seven Security Challenges That Must be Solved in Cross-domain Multi-agent LLM Systems
Large language models (LLMs) are rapidly evolving into autonomous agents that cooperate across organizational boundaries, enabling joint disaster response, supply-chain optimization, and other tasks that demand decentralized expertise without surrendering data ownership. Yet, cross-domain collaboration shatters the unified trust assumptions behind current alignment and containment techniques. An agent benign in isolation may, when receiving messages from an untrusted peer, leak secrets or viola…

Today’s addition to my bank of contributions to TiKTok cinema is an elegy to a lost poet-turned-Slopbot.
https://vm.tiktok.com/ZNdBaeev7/

MichelangeRoll: Sculpting Rational Distributions Exactly and Efficiently
Jui-Hsiang Shao, Hsin-Po Wang
https://arxiv.org/abs/2507.00915 https://

MichelangeRoll: Sculpting Rational Distributions Exactly and Efficiently
Simulating an arbitrary discrete distribution $D \in [0, 1]^n$ using fair coin tosses incurs trade-offs between entropy complexity and space and time complexity. Shannon's theory suggests that $H(D)$ tosses are necessary and sufficient, but does not guarantee exact distribution. Knuth and Yao showed that a decision tree consumes fewer than $H(D) + 2$ tosses for one exact sample. Drapper and Saad's recent work addresses the space and time aspect, showing that $H(D) + 2$ tosses, $O(n \log(n) \log…

Nach „Pearl Harbor“ - „Gedemütigt“: Kreml schleppt sich zu Verhandlungen #News #Nachrichten

The Trump administration deported a 31-year-old Salvadoran man minutes after a federal appeals court barred his removal while his case proceeded, the government admitted in a court filing this week.
In its filing, the government denied that it had violated the order from the U.S. Court of Appeals for the Second Circuit, in New York, instead blaming “a confluence of administrative errors.”
The government had previously given the court what the judges called “express assurance” that…

Trump Officials Deported Another Man Despite Court Order
A federal appeals panel ordered officials not to deport a 31-year-old to El Salvador. Minutes later, it happened anyway. The government blamed “administrative errors.”