Tootfinder

Behörden melden einen Toten in Region Kursk
Russischen Angaben zufolge ist bei einem russischen Angriff in der Region Kursk mindestens ein Mensch getötet worden. Fünf weitere Menschen seien verletzt worden, als eine Rakete ein Freizeitzentrum im Dorf Prigorodnaja Slobodka getroffen habe, teilten örtliche Behörden mit.
📑

Ukraine-Liveblog: ++ Gegenseitige Angriffe auf Militärflugplätze ++
Russland und die Ukraine haben gegenseitige Angriffe auf Militärflugplätze gemeldet. Nach ukrainischen Angaben sollen sollen zwei russische Kampfflugzeuge getroffen worden sein. Die Entwicklungen im Liveblog.

🤩 The latest Safari 26 Beta does not disappoint in terms of #CSS features:
⚓️ Anchor Positioning!
🪄 Scroll-driven animations!
🌯 text-wrap: pretty!
🌈 contrast-color()!
⏲️ progress()!
and more!
And this sentence: “We value the principles of progressive enhancement and separation of concerns.” 😉
Great work, @…

News from WWDC25: WebKit in Safari 26 beta
Welcome to WWDC25!

Movie Facts and Fibs (MF$^2$): A Benchmark for Long Movie Understanding
Emmanouil Zaranis, Ant\'onio Farinhas, Saul Santos, Beatriz Canaverde, Miguel Moura Ramos, Aditya K Surikuchi, Andr\'e Viveiros, Baohao Liao, Elena Bueno-Benito, Nithin Sivakumaran, Pavlo Vasylenko, Shoubin Yu, Sonal Sannigrahi, Wafaa Mohammed, Ben Peters, Danae S\'anchez Villegas, Elias Stengel-Eskin, Giuseppe Attanasio, Jaehong Yoon, Stella Frank, Alessandro Suglia, Chrysoula Zerva, Desmond Elliott, M…

Movie Facts and Fibs (MF$^2$): A Benchmark for Long Movie Understanding
Despite recent progress in vision-language models (VLMs), holistic understanding of long-form video content remains a significant challenge, partly due to limitations in current benchmarks. Many focus on peripheral, ``needle-in-a-haystack'' details, encouraging context-insensitive retrieval over deep comprehension. Others rely on large-scale, semi-automatically generated questions (often produced by language models themselves) that are easier for models to answer but fail to reflect genuine und…

United States wondered how China had made such progress in the field of microchips. Huawei and Xiaomi are the answer, with massive development.
https://farmingdale-observer.c…

This https://arxiv.org/abs/2409.08704 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

QueryCAD: Grounded Question Answering for CAD Models
CAD models are widely used in industry and are essential for robotic automation processes. However, these models are rarely considered in novel AI-based approaches, such as the automatic synthesis of robot programs, as there are no readily available methods that would allow CAD models to be incorporated for the analysis, interpretation, or extraction of information. To address these limitations, we propose QueryCAD, the first system designed for CAD question answering, enabling the extraction o…

"Es ist höchste Zeit, dass sich deutsche Wissenschaftsinstitutionen nicht nur mit Solidaritätsbekundungen an die USA wenden, sondern sich auch gegen die wachsende Bedrohung für Wissenschaft und Demokratie in Deutschland positionieren."
"Überpolitisierung im Namen der Depolitisierung ist das Programm, mit dem die Wissenschaft nach rechtsextremer Façon umgeformt wird."
Andreas #FischerLescano

Wer die Wissenschaft schützen will, muss die AfD verbieten
Die Angriffe auf Universitäten in den USA sind ein Warnsignal. Während deutsche Forschungsorganisationen noch Solidaritätsbekundungen formulieren, bläst die AfD zu ihrem eigenen Feldzug gegen die freie Wissenschaft. Zeit zum Handeln. Ein Gastbeitrag von Andreas Fischer-Lescano.

This https://arxiv.org/abs/2505.18492 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions
Mathematical reasoning lies at the heart of artificial intelligence, underpinning applications in education, program verification, and research-level mathematical discovery. Mathematical competitions, in particular, present two challenging problem types: theorem-proving, requiring rigorous proofs of stated conclusions, and answer-construction, involving hypothesizing and formally verifying mathematical objects. Large Language Models (LLMs) effectively generate creative candidate answers but str…

This https://arxiv.org/abs/2307.01916 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
Seaweed biomass presents a substantial opportunity for climate mitigation, yet to realize its potential, farming must be expanded to the vast open oceans. However, in the open ocean neither anchored farming nor floating farms with powerful engines are economically viable. Thus, a potential solution are farms that operate by going with the flow, utilizing minimal propulsion to strategically leverage beneficial ocean currents. In this work, we focus on low-power autonomous seaweed farms and desig…

This https://arxiv.org/abs/2502.12815 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

What is Positive Geometry?
This article serves as an introduction to the special volume on Positive Geometry in the journal Le Matematiche. We attempt to answer the question in the title by describing the origins and objects of positive geometry at this early stage of its development. We discuss the problems addressed in the volume and report on the progress. We also list some open challenges.

Spa-VLM: Stealthy Poisoning Attacks on RAG-based VLM
Lei Yu, Yechao Zhang, Ziqi Zhou, Yang Wu, Wei Wan, Minghui Li, Shengshan Hu, Pei Xiaobing, Jing Wang
https://arxiv.org/abs/2505.23828

Spa-VLM: Stealthy Poisoning Attacks on RAG-based VLM
With the rapid development of the Vision-Language Model (VLM), significant progress has been made in Visual Question Answering (VQA) tasks. However, existing VLM often generate inaccurate answers due to a lack of up-to-date knowledge. To address this issue, recent research has introduced Retrieval-Augmented Generation (RAG) techniques, commonly used in Large Language Models (LLM), into VLM, incorporating external multi-modal knowledge to enhance the accuracy and practicality of VLM systems. Nev…