Tootfinder

The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
Michael Pinsker, Jakub Rydval, Moritz Sch\"obi, Christoph Spiess
https://arxiv.org/abs/2507.12078

The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
We prove that the random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra, hereby answering an open question of Bartošová and Scow.

Practical colinear chaining on sequences revisited
Nicola Rizzo, Manuel C\'aceres, Veli M\"akinen
https://arxiv.org/abs/2506.11750 https://…

Practical colinear chaining on sequences revisited
Colinear chaining is a classical heuristic for sequence alignment and is widely used in modern practical aligners. Jain et al. (J. Comput. Biol. 2022) proposed an $O(n \log^3 n)$ time algorithm to chain a set of $n$ anchors so that the chaining cost matches the edit distance of the input sequences, when anchors are maximal exact matches. Moreover, assuming a uniform and sparse distribution of anchors, they provided a practical solution ($\mathtt{ChainX}$) working in $O(n \cdot \mathsf{SOL} + n …

Bridging the Gap: Leveraging Retrieval-Augmented Generation to Better Understand Public Concerns about Vaccines
Muhammad Javed, Sedigh Khademi Habibabadi, Christopher Palmer, Hazel Clothier, Jim Buttery, Gerardo Luis Dimaguila
https://arxiv.org/abs/2507.12840

Bridging the Gap: Leveraging Retrieval-Augmented Generation to Better Understand Public Concerns about Vaccines
Vaccine hesitancy threatens public health, leading to delayed or rejected vaccines. Social media is a vital source for understanding public concerns, and traditional methods like topic modelling often struggle to capture nuanced opinions. Though trained for query answering, large Language Models (LLMs) often miss current events and community concerns. Additionally, hallucinations in LLMs can compromise public health communication. To address these limitations, we developed a tool (VaxPulse Quer…

Equality is Far Weaker than Constant-Cost Communication
Mika G\"o\"os, Nathaniel Harms, Artur Riazanov
https://arxiv.org/abs/2507.11162 https://

Equality is Far Weaker than Constant-Cost Communication
We exhibit an $n$-bit communication problem with a constant-cost randomized protocol but which requires $n^{Ω(1)}$ deterministic (or even non-deterministic) queries to an Equality oracle. Therefore, even constant-cost randomized protocols cannot be efficiently "derandomized" using Equality oracles. This improves on several recent results and answers a question from the survey of Hatami and Hatami (SIGACT News 2024). It also gives a significantly simpler and quantitatively superior proof of the…

this potential — for AI companies to tweak their chatbots to give pro-Trump answers to appease MAGA — is one of the reasons I'm avoiding LLMs as a political practice. they are inherently extremely centralized, requiring massive resources to crawl data and train. to become dependent on such products is to subject ourselves to the owners' power. this is just one of the ways that can go disastrously wrong

The campaign to make it illegal for ChatGPT to criticize Trump
The conservative pressure campaign against social networks was hugely successful — and now it's coming for AI

SVG Favicons and CSS Anchor Positioning are two big wins shipping in Safari 26 Beta: https://webkit.org/blog/16993/news-from-wwdc25-web-technology-coming-this-fall-in-safari-26-beta/

CRAFT: Latency and Cost-Aware Genetic-Based Framework for Node Placement in Edge-Fog Environments
Soheil Mahdizadeh, Amir Mahdi Rasouli, Mohammad Pourashory, Sadra Galavani, Mohsen Ansari
https://arxiv.org/abs/2507.12445

CRAFT: Latency and Cost-Aware Genetic-Based Framework for Node Placement in Edge-Fog Environments
Reducing latency in the Internet of Things (IoT) is a critical concern. While cloud computing facilitates communication, it falls short of meeting real-time requirements reliably. Edge and fog computing have emerged as viable solutions by positioning computing nodes closer to end users, offering lower latency and increased processing power. An edge-fog framework comprises various components, including edge and fog nodes, whose strategic placement is crucial as it directly impacts latency and sy…

"Comment le boom des milliardaires alimente les inégalités et menace la démocratie."
"Avec une richesse qui se concentre au sommet, l'Europe doit agir maintenant pour défendre la démocratie et la stabilité économique pour tous."
#TaxTheRich #démocratie

Path-filtration for modal logics applied to revisiting quasi-dense logics
Olivier Gasquet
https://arxiv.org/abs/2507.11258 https://ar…

Path-filtration for modal logics applied to revisiting quasi-dense logics
In https://arxiv.org/pdf/2405.10094 (also published at LICS'24 conference), Lyon and Ostropolski-Nalewaja answer the question of the decidability of quasi-dense modallogics, and give an upper bound in EXPSPACE. Unfortunately, their intricate proof contains a major flaw that cannot be fixed, leaving the question wide open. In this paper we provide a correct and rather simple and direct proof of it by introducing a new variant of the well-know filtration method based on paths in a canonical model…

"Comment le boom des milliardaires alimente les inégalités et menace la démocratie."
"Avec une richesse qui se concentre au sommet, l'Europe doit agir maintenant pour défendre la démocratie et la stabilité économique pour tous."
#TaxTheRich #démocratie