Tootfinder

"Größte Explosionen seit dem Urknall": Neue Form kosmischer Ausbrüche entdeckt
Eine bislang unbekannte Art kosmischer Explosionen ist noch einmal deutlich heller und energiereicher als alles, was wir kennen. Entdeckt wurden sie dank Gaia.

Breaking: Was steckt dahinter?! Kochzeiten von Nudeln verkürzt. Unglaublich. #Espresso #SRF 🤷‍♂️🙄

Migros-Nudeln: Neue Kochzeiten trotz unveränderter Rezeptur
Neue Verpackungen – identische Nudeln. Trotzdem soll man sie auf einmal weniger lang kochen. Ein «Pasta Desasta»?

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Les Ambassadeurs, moni Fischaleck, Anna Starr, Joseph Walters, Zefira Valova, Markus Muller, Antonio Vivaldi, Anneke Scott & Alexis Kossenko:
🎵 Concerto in F for violin, 2 oboes, 2 horns, bassoon & cello, RV569
https://open.spotify.com/track/0M7q2LQunAlcsfr1OfD1qN

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
Kiana Kiashemshaki, Elvis Nnaemeka Chukwuani, Mohammad Jalili Torkamani, Negin Mahmoudi
https://arxiv.org/abs/2508.05865

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
Blockchain technology offers a promising foundation for modernizing E-Voting systems by enhancing transparency, decentralization, and security. Yet, real-world adoption remains limited due to persistent challenges such as scalability constraints, high computational demands, and complex privacy requirements. This paper presents a comparative framework for analyzing blockchain-based E-Voting architectures, consensus mechanisms, and cryptographic protocols. We examine the limitations of prevalent …

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
Feng Luo, Kexing Ji, Cuiyun Gao, Shuzheng Gao, Jia Feng, Kui Liu, Xin Xia, Michael R. Lyu
https://arxiv.org/abs/2508.06926

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
Automated translation of legacy C code into Rust aims to ensure memory safety while reducing the burden of manual migration. Early approaches in code translation rely on static rule-based methods, but they suffer from limited coverage due to dependence on predefined rule patterns. Recent works regard the task as a sequence-to-sequence problem by leveraging large language models (LLMs). Although these LLM-based methods are capable of reducing unsafe code blocks, the translated code often exhibit…

Playing charades with the kids.
One picks up this card and mimes kissing.
Eventually I give up, they show the card and I say "those are moustaches!"
The reply: "noooo! They're two whales smoochy kissing!"
And in that moment, pgcd was enlightened.

🐋😊
“In the town of Seldovia, on Kachemak Bay, a 15-foot minke whale was beached on the rocks at low tide, believed to be an incidence of poisoning by an algal bloom that could have killed it in just 20 minutes.
The selfless work from the locals allowed that 20 minutes to become 6 hours, when the tide’s eventual arrival allowed the whale to right itself.”

Beached Whale Faced 6 Hours of Lethal Sun and Dryness, Locals Form Bucket Brigade to Save it
A 15-foot minke whale was beached on the rocks at low tide, believed to be an incidence of poisoning by an algal bloom.

Kuznecov remainders and generic metrics
Vadim Kaloshin, Emmett L. Wyman, Yakun Xi
https://arxiv.org/abs/2507.06887 https://arxiv.org/pdf/2507.06887 https://arxiv.org/html/2507.06887
arXiv:2507.06887v1 Announce Type: new
Abstract: We obtain improved remainder estimates in the Kuznecov sum formula for period integrals of Laplace eigenfunctions on a Riemannian manifold $M$. Building upon the two-term asymptotic expansion established in [arXiv:2204.13525], we prove that for a Baire-generic class of metrics, the oscillatory second term in the Kuznecov formula can be eliminated, yielding an improved remainder estimate.
toXiv_bot_toot

Komet oder künstlicher Ursprung? Neue Daten zu 3I/ATLAS befeuern Debatte
Ein Besucher aus einem anderen Sonnensystem durchquert unsere kosmische Nachbarschaft. Doch Daten zeigen, dass mit dem Objekt etwas nicht zu stimmen scheint.

Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
Fanyu Wang, Chetan Arora, Yonghui Liu, Kaicheng Huang, Chakkrit Tantithamthavorn, Aldeida Aleti, Dishan Sambathkumar, David Lo
https://arxiv.org/abs/2508.06888

Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
Acceptance criteria (ACs) play a critical role in software development by clearly defining the conditions under which a software feature satisfies stakeholder expectations. However, manually creating accurate, comprehensive, and unambiguous acceptance criteria is challenging, particularly in user interface-intensive applications, due to the reliance on domain-specific knowledge and visual context that is not always captured by textual requirements alone. To address these challenges, we propose …