Tootfinder

Datenleck bei McDonald's und der für Einstellungen beauftragten KI-Firma Paradox
McDonald's nutzt einen KI-Chatbot für Einstellungsgespräche, doch die dabei gesammelten Daten waren kaum geschützt. Sicherheitsforscher fanden einfach Zugriff.

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…

Für Bergrettungseinsätze: eVTOL Jetson One hält starken Winden stand
Jetson hat sein einsitziges eVTOL Jetson One für den Einsatz bei Bergrettungsmissionen getestet. Die Tests in Polen verliefen vielversprechend.

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…

Auf der rechten Rheinstrecke ist bei #Lahnstein ein #ICE mit 270 Personen liegengeblieben. Die Feuerwehr evakuiert.
https://www.

Wie die EU digitale Zwillinge für die Gesundheitsversorgung einsetzen will
Die EU fördert die digitale Gesundheitsversorgung mit virtuellen Zwillingen. Noch fehlen verbindliche Standards, aber das soll sich ändern.

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.

Studie: KI-Therapie-Bots geben mörderische Tipps und verletzen Leitlinien
Beliebte Chatbots sind kein guter Ersatz für menschliche Therapeuten. Forscher mahnen zu mehr Fingerspitzengefühl beim Einsatz von ChatGPT & Co. als Berater.

Für mehr Transparenz: Android erhält neue Einstellungsseite "Systemdienste"
Android erhält eine neue Einstellungsseite für Systemdienste, mit der Nutzer installierte Google-Dienste einsehen und verwalten können.

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.