Tootfinder

Jury nullification has never had a better shot than this absolutely absurd felony charge
https://www.axios.com/2025/08/14/trump-dc-federal-agent-sandwich-assault-charge

D.C. man accused of throwing sandwich at federal agent faces felony charges
The incident is alleged to have occurred after President Trump ordered an increased federal law enforcement presence in the city.

From Detection to Mitigation: Addressing Gender Bias in Chinese Texts via Efficient Tuning and Voting-Based Rebalancing
Chengyan Wu, Yiqiang Cai, Yufei Cheng, Yun Xue
https://arxiv.org/abs/2509.07889

From Detection to Mitigation: Addressing Gender Bias in Chinese Texts via Efficient Tuning and Voting-Based Rebalancing
This paper presents our team's solution to Shared Task 7 of NLPCC-2025, which focuses on sentence-level gender bias detection and mitigation in Chinese. The task aims to promote fairness and controllability in natural language generation by automatically detecting, classifying, and mitigating gender bias. To address this challenge, we adopt a fine-tuning approach based on large language models (LLMs), efficiently adapt to the bias detection task via Low-Rank Adaptation (LoRA). In terms of data …

Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika \'Abrah\'am, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Na\"im Z\'ena\"idi
https://arxiv.org/abs/2508.00512

Projective Delineability for Single Cell Construction
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms. The central property on which the CAD algorithm is bas…

Over on Twitter, the doofus-and-loud extreme left is utterly crashing out on the fact that "No Kings" is showing that even us so-called libs or neolibs or libtards or whatever they're calling us today ABSOLUTELY DESTROY THEM at the one thing they thought they had in the bag, organizing and protesting.
Carry on!
#uspol

Analysis of Null Related Beampattern Measures and Signal Quantization Effects for Linear Differential Microphone Arrays
Shweta Pal, Arun Kumar, Monika Agrawal
https://arxiv.org/abs/2506.21043

Analysis of Null Related Beampattern Measures and Signal Quantization Effects for Linear Differential Microphone Arrays
A differential microphone array (DMA) offers enhanced capabilities to obtain sharp nulls at the cost of relatively broad peaks in the beam power pattern. This can be used for applications that require nullification or attenuation of interfering sources. To the best of our knowledge, the existing literature lacks measures that directly assess the efficacy of nulls, and null-related measures have not been investigated in the context of differential microphone arrays (DMAs). This paper offers new …

Game-Theoretic Gradient Control for Robust Neural Network Training
Maria Zaitseva, Ivan Tomilov, Natalia Gusarova
https://arxiv.org/abs/2507.19143 https://…

Game-Theoretic Gradient Control for Robust Neural Network Training
Feed-forward neural networks (FFNNs) are vulnerable to input noise, reducing prediction performance. Existing regularization methods like dropout often alter network architecture or overlook neuron interactions. This study aims to enhance FFNN noise robustness by modifying backpropagation, interpreted as a multi-agent game, and exploring controlled target variable noising. Our "gradient dropout" selectively nullifies hidden layer neuron gradients with probability 1 - p during backpropagation, w…

RLZ-r and LZ-End-r: Enhancing Move-r
Patrick Dinklage, Johannes Fischer, Lukas Nalbach, Jan Zumbrink
https://arxiv.org/abs/2507.17300 https://arxiv.org/pdf…

RLZ-r and LZ-End-r: Enhancing Move-r
In pattern matching on strings, a locate query asks for an enumeration of all the occurrences of a given pattern in a given text. The r-index [Gagie et al., 2018] is a recently presented compressed self index that stores the text and auxiliary information in compressed space. With some modifications, locate queries can be answered in optimal time [Nishimoto & Tabei, 2021], which has recently been proven relevant in practice in the form of Move-r [Bertram et al., 2024]. However, there remains th…

Probing the Scotogenic Dirac Model with FIMP Dark Matter and $\Delta N_{\rm eff}$
Shu-Yuan Guo, Man-Yu Zhao
https://arxiv.org/abs/2508.16362 https://arxiv.…

Probing the Scotogenic Dirac Model with FIMP Dark Matter and $ΔN_{\rm eff}$
We study a feebly interacting massive particle realization of the Scotogenic Dirac Model in which the lightest neutral fermion $N_1$ serves as a dark matter candidate, produced via the freeze-in or super-WIMP mechanism. The model generates Dirac neutrino masses at one loop, resulting in a rank-2 mass matrix that predicts one nearly massless neutrino. We analyze the DM relic density for various next-to-lightest odd particles (NLOPs), finding that coannihilation effects and enhanced annihilation …

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
Jasper Nalbach, Erika \'Abrah\'am
https://arxiv.org/abs/2508.00505 https://

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
The Cylindrical Algebraic Decomposition (CAD) method is currently the only complete algorithm used in practice for solving real-algebraic problems. To ameliorate its doubly-exponential complexity, different exploration-guided adaptations try to avoid some of the computations. The first such adaptation named NLSAT was followed by Non-uniform CAD (NuCAD) and the Cylindrical Algebraic Covering (CAlC). Both NLSAT and CAlC have been developed and implemented in SMT solvers for satisfiability checkin…