Tootfinder

"Air quality tests around xAI’s Memphis data center raise questions"
#AirQuality #AI #ArtificialIntelligence

Air quality tests around xAI's Memphis data center raise questions | TechCrunch
A legal group is questioning why a key pollutant was omitted from air quality tests near xAI's data center.

Why did Dolphins, Steelers trade Ramsey and Fitzpatrick, and are they done? https://www.espn.com/nfl/story/_/id/45617965/jalen-ramsey-minkah-fitzpatrick-steelers-dolphins-trade-questions-contract

The Kyiv Independent launches 'How to help Ukraine' newsletter: https://benborges.xyz/2025/06/30/the-kyiv-independent-launches-how.html

Negated String Containment is Decidable (Technical Report)
Vojt\v{e}ch Havlena, Michal He\v{c}ko, Luk\'a\v{s} Hol\'ik, Ond\v{r}ej Leng\'al
https://arxiv.org/abs/2506.22061

Negated String Containment is Decidable (Technical Report)
We provide a positive answer to a long-standing open question of the decidability of the not-contains string predicate. Not-contains is practically relevant, for instance in symbolic execution of string manipulating programs. Particularly, we show that the predicate notContains(x1 ... xn, y1 ... ym), where x1 ... xn and y1 ... ym are sequences of string variables constrained by regular languages, is decidable. Decidability of a not-contains predicate combined with chain-free word equations and …

New (and old) predictive schemes with a.c.i.d. sequences
Marco Battiston, Lorenzo Cappello
https://arxiv.org/abs/2507.21874 https://arxiv.org/pdf/2507.2187…

New (and old) predictive schemes with a.c.i.d. sequences
There is a growing interest in procedures for Bayesian inference that bypass the need to specify a model and prior but simply rely on a predictive rule that describes how we learn on future observations given the available ones. At the heart of the idea is a bootstrap-type scheme that allows us to move from the realm of prediction to that of inference. Which conditions the predictive rule needs to satisfy to produce valid inference is a key question. In this work, we substantially relax previou…

Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
Muhammad Azeem Akbar, Arif Ali Khan, Saima Rafi, Damian Kedziora, Sami Hyrynsalmi
https://arxiv.org/abs/2507.20218

Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
Artificial Intelligence (AI) presents transformative opportunities for industries and society, but its responsible development is essential to prevent unintended consequences. Ethically sound AI systems demand strategic planning, strong governance, and an understanding of the key drivers that promote responsible practices. This study aims to identify and prioritize the motivators that drive the ethical development of AI systems. A Multivocal Literature Review (MLR) and a questionnaire-based sur…

ViStruct: Simulating Expert-Like Reasoning Through Task Decomposition and Visual Attention Cues
Oliver Huang, Carolina Nobre
https://arxiv.org/abs/2506.21762

ViStruct: Simulating Expert-Like Reasoning Through Task Decomposition and Visual Attention Cues
Data visualization tasks often require multi-step reasoning, and the interpretive strategies experts use, such as decomposing complex goals into smaller subtasks and selectively attending to key chart regions are rarely made explicit. ViStruct is an automated pipeline that simulates these expert behaviours by breaking high-level visual questions into structured analytic steps and highlighting semantically relevant chart areas. Leveraging large language and vision-language models, ViStruct ident…

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

Partitioning 2-edge-coloured bipartite graphs into monochromatic cycles
Given an $r$-edge-colouring of the edges of a graph $G$, we say that it can be partitioned into $p$ monochromatic cycles when there exists a set of $p$ vertex-disjoint monochromatic cycles covering all the vertices of $G$. In the literature of this problem, an edge and a single vertex both count as a cycle. We show that for every $2$-colouring of the edges of a complete balanced bipartite graph, $K_{n,n}$, it can be partitioned into at most 4 monochromatic cycles. This type of question was fi…

Properties of Algorithmic Information Distance
Marcus Hutter
https://arxiv.org/abs/2507.21988 https://arxiv.org/pdf/2507.21988

Properties of Algorithmic Information Distance
The domain-independent universal Normalized Information Distance based on Kolmogorov complexity has been (in approximate form) successfully applied to a variety of difficult clustering problems. In this paper we investigate theoretical properties of the un-normalized algorithmic information distance $d_K$. The main question we are asking in this work is what properties this curious distance has, besides being a metric. We show that many (in)finite-dimensional spaces can(not) be isometrically sc…

NFC East 2025 preview, where they are all chasing the Eagles https://www.nytimes.com/athletic/6462853/2025/06/30/nfl-preview-2025-nfc-east-eagles-cowboys-washington-commanders-giants/