Tootfinder

Ukraine will Gasimport versechsfachen
Nach gezielten russischen Angriffen auf ukrainische Gasförderanlagen plant das angegriffene Land seine Gasimporte 2025 zu versechsfachen. Mindestens 4,6 Milliarden Kubikmeter Gas werde die Ukraine dieses Jahr importieren, kündigte Energieminister Herman Haluschtschenko im Parlament laut der Nachrichtenagentur Interfax-Ukraine an. Es seien bisher Verträge über 2,9 Milliarden Kubikmeter abg…
📑

Ukraine-Liveblog: ++ Russland und Ukraine tauschen Kriegsgefangene aus ++
Russland und die Ukraine haben weitere Kriegsgefangene ausgetauscht. Die russische Armee hat erneut mehrere Städte mit Drohnen angriffen - in Odessa wurde mindestens ein Mensch getötet, 14 weitere wurden verletzt.

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
Charaka Geethal Kapugama
https://arxiv.org/abs/2506.13273 https://

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
Incorrectly labelled test cases can adversely affect the training process of human-in-the-loop oracle learning tech-niques. This paper introduces ISONOISE, a technique designed to identify such mislabelled test cases introduced during human-in-the-loop oracle learning. This technique can be applied to programs taking numeric inputs. Given a compromised automatic test oracle and its training test suite, ISONOISE first isolates thetest cases suspected of being mislabelled. This task is performed …

Fair Data Exchange with Constant-Time Proofs
Majid Khabbazian
https://arxiv.org/abs/2506.14944 https://arxiv.org/pdf/2506.14944

Fair Data Exchange with Constant-Time Proofs
The Fair Data Exchange (FDE) protocol introduced at CCS 2024 offers atomic pay-per-file transfers with constant-size proofs, but its prover and verifier runtimes still scale linearly with the file length n. We collapse these costs to essentially constant by viewing the file as a rate-1 Reed-Solomon (RS) codeword, extending it to a lower-rate RS code with constant redundancy, encrypting this extended vector, and then proving correctness for only a small random subset of the resulting ciphertexts…

Rotating Carroll Black Holes: A No Go Theorem
Ivan Kol\'a\v{r}, David Kubiznak, Poula Tadros
https://arxiv.org/abs/2506.10451 https://

Rotating Carroll Black Holes: A No Go Theorem
Recently, there has been a lot of interest in Carroll black holes and in particular whether or not one could find a Carrollian analogue of a rotating black hole spacetime. Here we show that every stationary and axisymmetric solution (and thence also a black hole) of Carrollian general relativity in any number of $d\geq 3$ dimensions is necessarily also static. Using this result, we construct a unique stationary and axisymmetric black hole in three dimensions - a static Carroll BTZ black hole. A…