Tootfinder

Pistorius stellt weitere Militärhilfen in Aussicht
Bundesverteidigungsminister Boris Pistorius hat der Ukraine weitere 1,9 Milliarden Euro Militärhilfe in Aussicht gestellt. Mit dem Geld sollten unter anderem Marschflugkörper, Drohnen und Raketen finanziert werden, sagte der SPD-Politiker bei einer gemeinsamen Pressekonferenz mit dem ukrainischen Präsidenten Wolodymyr Selenskyj in Kiew.
Deutschland…
📹

"Geht um Rüstungskooperationen", Tobias Dammers, ARD Kiew, zum Besuch von Pistorius
"Geht um Rüstungskooperationen", Tobias Dammers, ARD Kiew, zum Besuch von Pistorius

Repeton: Structured Bug Repair with ReAct-Guided Patch-and-Test Cycles
Nguyen Phu Vinh, Anh Chung Hoang, Chris Ngo, Truong-Son Hy
https://arxiv.org/abs/2506.08173

Repeton: Structured Bug Repair with ReAct-Guided Patch-and-Test Cycles
Large Language Models (LLMs) have shown strong capabilities in code generation and comprehension, yet their application to complex software engineering tasks often suffers from low precision and limited interpretability. We present Repeton, a fully open-source framework that leverages LLMs for precise and automated code manipulation in real-world Git repositories. Rather than generating holistic fixes, Repeton operates through a structured patch-and-test pipeline: it iteratively diagnoses issue…

Quantum SAT Problems with Finite Sets of Projectors are Complete for a Plethora of Classes
Ricardo Rivera Cardoso, Alex Meiburg, Daniel Nagaj
https://arxiv.org/abs/2506.07244

Quantum SAT Problems with Finite Sets of Projectors are Complete for a Plethora of Classes
Previously, all known variants of the Quantum Satisfiability (QSAT) problem, i.e. deciding whether a $k$-local ($k$-body) Hamiltonian is frustration-free, could be classified as being either in $\mathsf{P}$; or complete for $\mathsf{NP}$, $\mathsf{MA}$, or $\mathsf{QMA_1}$. Here, we demonstrate new qubit variants of this problem that are complete for $\mathsf{BQP_1}$, $\mathsf{coRP}$, $\mathsf{QCMA}$, $\mathsf{PI(coRP,NP)}$, $\mathsf{PI(BQP_1,NP)}$, $\mathsf{PI(BQP_1,MA)}$, $\mathsf{SoPU(coRP,N…

Infinity Search: Approximate Vector Search with Projections on q-Metric Spaces
Antonio Pariente, Ignacio Hounie, Santiago Segarra, Alejandro Ribeiro
https://arxiv.org/abs/2506.06557

Infinity Search: Approximate Vector Search with Projections on q-Metric Spaces
Despite the ubiquity of vector search applications, prevailing search algorithms overlook the metric structure of vector embeddings, treating it as a constraint rather than exploiting its underlying properties. In this paper, we demonstrate that in $q$-metric spaces, metric trees can leverage a stronger version of the triangle inequality to reduce comparisons for exact search. Notably, as $q$ approaches infinity, the search complexity becomes logarithmic. Therefore, we propose a novel projectio…

Hoje eu estava com o trabalho super atrasado, mas precisei ir até o centro rever um amigo que mora na Alemanha e não via hš bastante tempo. Sei lš quando conseguirei vê-lo de novo.

A cosmology weakly dependent measurement of 2D Baryon Acoustic Oscillations scale from the Southern Photometric Local Universe Survey
U. Ribeiro, F. Avila, C. R. Bom, C. Franco, A. Cortesi, C. Mendes de Oliveira, A. Kanaan, T. Ribeiro, W. Schoenell, E. Telles, A. Bernui
https://arxiv.org/abs/2506.08288

A cosmology weakly dependent measurement of 2D Baryon Acoustic Oscillations scale from the Southern Photometric Local Universe Survey
Baryon Acoustic Oscillations (BAO) provide a robust standard ruler for observational cosmology, enabling precise constraints on the expansion history of the Universe. We present a weakly model-dependent measurement of the BAO angular scale in the low-redshift Universe using the blue galaxies from the Southern Photometric Local Universe Survey (S-PLUS). Our analysis is based on the 2-point angular correlation function applied to a selected photometric sample of $5977$ galaxies with redshifts $0.…

The lowest cost US-market Jaguar, Land Rover, & Rolls Royce are $49,800, $49,900, and ~$350,000. Prices are 2x and up for other models. Folks that buy these cars have money to spare for luxury.
A Barbie doll is around $15. Some folks can barely afford any toys for their kids at birthdays & Christmas.
Guess which consumer Turnip took sympathy upon today, while derisively mocking the other?

Guidelines for Gaze-based Neural Preliminary Diagnosis
Mayar Elfares, Salma Younis, Pascal Reisert, Ralf K\"usters, Tobias Renner, Andreas Bulling
https://arxiv.org/abs/2506.08517

Guidelines for Gaze-based Neural Preliminary Diagnosis
Neural disorders refer to any condition affecting the nervous system and that influence how individuals perceive and interact with the world. Traditional neural diagnoses rely on cumbersome, time-consuming, or subjective methods, such as clinical interviews, behavioural observations, or medical imaging. Eye tracking is an attractive alternative because analysing eye movements, such as fixations and saccades, can provide more objective insights into brain function and cognitive processing by cap…

The lowest cost US-market Jaguar, Land Rover, & Rolls Royce are $49,800, $49,900, and ~$350,000. Prices are 2x and up for other models. Folks that buy these cars have money to spare for luxury.
A Barbie doll is around $15. Some folks can barely afford any toys for their kids at birthdays & Christmas.
Guess which consumer Turnip took sympathy upon today, while derisively mocking the other?

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
Christian Gang Liu, Peter Bodorik, Dawn Jutla
https://arxiv.org/abs/2506.03877

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
In our previous research, we addressed the problem of automated transformation of models, represented using the business process model and notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN models that contain complex multi-step activities that are supported using our concept of multi-step nested trade transactions, wherein the transactional properties are enforced by a mechanism generated automatically by the transformation process from a BPMN mode…