Tootfinder

Encoding call-by-push-value in the pi-calculus
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Peter Buus Steffensen
https://arxiv.org/abs/2506.10584 htt…

Encoding call-by-push-value in the pi-calculus
In this report we define an encoding of Levys call-by-push-value lambda-calculus (CBPV) in the pi-calculus, and prove that our encoding is both sound and complete. We present informal (by-hand) proofs of soundness, completeness, and all required lemmas. The encoding is specialized to the internal pi-calculus (pi-i-calculus) to circumvent certain challenges associated with using de Bruijn index in a formalization, and it also helps with bisimulation as early-, late- and open-bisimulation coincid…

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new/
[4/7]:
Learnable Spatial-Temporal Positional Encoding for Link Prediction
htt…

Amendments to the Montana Consumer Data Privacy Act Bring Big Changes to Big Sky Country
https://fpf.org/blog/amendments-to-the-montana-consumer-data-privacy-act-bring-big-changes-to-big-sky-country/

Zahlen, bitte! Albert Einsteins 8-Minuten-Streit um die Sonne
Wirkt sich die explodierende Sonne sofort oder erst nach 8 Minuten auf die Erde aus? Zu der Diskussion schuf Einstein 1915 die Allgemeine Relativitätstheorie.

Pistorius will in Kiew über Waffenhilfe sprechen
Verteidigungsminister Boris Pistorius ist zu politischen Gesprächen in der ukrainischen Hauptstadt Kiew eingetroffen. Der SPD-Politiker will sich über die Lage in der Ukraine informieren und mit Vertretern der Regierung über weitere Militärhilfe für das von Russland angegriffene Land sprechen.
Vor seiner Reise hatte er erklärt: "Wir setzen alles dara…
📹

Verteidigungsminister Pistorius reist zu Gesprächen über weitere Militärhilfen nach Kiew
Verteidigungsminister Pistorius reist zu Gesprächen über weitere Militärhilfen nach Kiew

PAL: Probing Audio Encoders via LLMs -- A Study of Information Transfer from Audio Encoders to LLMs
Tony Alex, Wish Suharitdamrong, Sara Atito, Armin Mustafa, Philip J. B. Jackson, Imran Razzak, Muhammad Awais
https://arxiv.org/abs/2506.10423

PAL: Probing Audio Encoders via LLMs -- A Study of Information Transfer from Audio Encoders to LLMs
The integration of audio perception capabilities into Large Language Models (LLMs) has enabled significant advances in Audio-LLMs. Although application-focused developments, particularly in curating training data for specific capabilities e.g., audio reasoning, have progressed rapidly, the underlying mechanisms that govern efficient transfer of rich semantic representations from audio encoders to LLMs remain under-explored. We conceptualize effective audio-LLM interaction as the LLM's ability t…

Merz zu SPD-Papier: Bundesregierung einig
Kanzler Merz setzt ungeachtet von Forderungen aus der SPD nach einem Ende der Aufrüstung und direkten Gesprächen mit Russland auf Einigkeit innerhalb der schwarz-roten Koalition. "Wir sind uns in der Bundesregierung zwischen CDU, CSU und SPD in der Bewertung des Krieges, den Russland gegen die Ukraine führt, und in den Konsequenzen, die es daraus zu ziehen g…
🔗

Vorstoß zu Außenpolitik: Die Zerrissenheit der SPD
Mehr Diplomatie und weniger Waffen - gerade in der Auseinandersetzung mit Russland: Kurz vor dem Parteitag treten prominente SPD-Politiker eine alte Debatte neu los. Der Beitrag zeigt, wie zerrissen die SPD in dieser Frage ist.

Dobrindt will mehr KI zur Sabotage-Abwehr einsetzen
Neben militärischen Bedrohungen nehmen auch Angriffe auf die Infrastruktur zu. Der Innenminister will mit modernen Mitteln dagegen vorgehen.
https://www.