Tootfinder

"Technologies like LLMs have utility, but the absurd way they've been over-hyped, the fact they're being forced on everyone, and the insistence on ignoring the many valid critiques about them make it very difficult to focus on legitimate uses where they might add value."
@… on
The majority AI view: spot on I'd say given advances in my field.
https://www.anildash.com//2025/10/17/the-majority-ai-view/

STM32MP2 update: created what I think is a valid boot image, set straps to boot in M33-first mode from flash, reset the board, and it's not coming up.
So now I get to try to figure out why.

Good analysis from april 2024 by Ian Bond, still valid, "Does it matter if Ukraine loses?"
https://www.cer.eu/publications/archive/policy-brief/2024/does-it-matter-if-ukraine-loses

Does it matter if Ukraine loses?
Ukraine is retreating and Russia is advancing, militarily and politically. Western leaders seem to underestimate both the impact of Ukraine’s defeat and the West’s ability to prevent it.

Yes I have a valid/paid for Rar license.
Honestly it is quite a bit more capable than 7-Zip on Linux and indeed pretty much all the other Linux archivers
#Winrar

#Programming #coding #codeReview

Mozilla specifying valid upstreams with ASPA object
https://console.rpki-client.org/rpki.ripe.net/repository/DEFAULT/39/675399-81be-4fec-9f86-55131cc1efea/1/PpC-jCzEwXeURniqNoGbKQGbl80.asa.html

"Technologies like LLMs have utility, but the absurd way they've been over-hyped, the fact they're being forced on everyone, and the insistence on ignoring the many valid critiques about them make it very difficult to focus on legitimate uses where they might add value." https://www.anildash.com//20…

The Majority AI View
A blog about making culture. Since 1999.

The implications are interesting enough when we apply this to systems like capitalism or national governments, but there are other very interesting implications when applied to systems like race or gender.
Like, as a cis man the only way I can be free to express and explore my own masculinity is if the masculinity I participate in is one which allows anyone the freedom to leave. Then I have an obligation to recognize the validity of nom-masculine trans identity as a necessary component of my own. If I fail to do this, then I trap myself in masculinity and allow the system to control me rather than me to be a free participant in the system.
But if it's OK to escape but not enter, that's it's own restriction that constrains the freedom to leave. It creates a barrier that keeps people in by the fear that they cannot return. So in order for me to be free in my cis masculine identity, I must accept non-masculine trans identities as they are and accept detransitioning as also valid.
But I also need to accept trans-masc identities because restricting entry to my masculinity means non-consensually constraining other identities. If every group imposes an exclusion against others coming in, that, by default, makes it impossible to leave every other group. This is just a description of how national borders work to trap people within systems, even if a nation itself allows people to "freely" leave.
So then, a free masculinity is one which recognizes all configurations of trans identities as valid and welcomes, if not celebrates, people who transition as affirmations of the freedom of their own identity (even for those who never feel a reason to exercise that same freedom).
The most irritating type of white person may look at this and say, "oh, so then why can't I be <not white>?" Except that the critique of transratial identities has never been "that's not allowed" and has always been "this person didn't do the work." If that person did the work, they would understand that the question doesn't make sense based on how race is constructed. That person might understand that race, especially whiteness, is more fluid than they at first understood. They might realize that whiteness is often chosen at the exclusion of other racialized identities. They would, perhaps, realize that to actually align with any racialized identity, they would first have to understand the boot of whiteness on their neck, have to recognize the need to destroy this oppressive identity for their own future liberation. The best, perhaps only, way to do this would be to use the privilege afforded by that identity to destroy it, and in doing so would either destroy their own privilege or destroy the system of privilege. The must either become themselves completely ratialized or destroy the system of race itself such being "transracial" wouldn't really make sense anymore.
But that most annoying of white person would, of course, not do any such work. Nevertheless, one hopes that they may recognize the paradox that they are trapped by their white identity, forced forever by it to do the work of maintaining it. And such is true for all privileged identities, where privilege is only maintained through restrictions where these restrictions ultimately become walls that imprison both the privileged and the marginalized in a mutually reinforcing hell that can only be escaped by destroying the system of privilege itself.

Valid Survey Simulations with Limited Human Data: The Roles of Prompting, Fine-Tuning, and Rectification
Stefan Krsteski, Giuseppe Russo, Serina Chang, Robert West, Kristina Gligori\'c
https://arxiv.org/abs/2510.11408

Valid Survey Simulations with Limited Human Data: The Roles of Prompting, Fine-Tuning, and Rectification
Surveys provide valuable insights into public opinion and behavior, but their execution is costly and slow. Large language models (LLMs) have been proposed as a scalable, low-cost substitute for human respondents, but their outputs are often biased and yield invalid estimates. We study the interplay between synthesis methods that use LLMs to generate survey responses and rectification methods that debias population estimates, and explore how human responses are best allocated between them. Usin…

fyi: 82% of the #bcndp delegates (740 valid votes cast)
voted against having a leadership convention!
iow: Premier Eby's leadership is solid and safe.
#bcpoli

NFL Week 11 overreactions: Chargers on verge of second-half collapse? Bench J.J. McCarthy?

https://www.cbssports.com/nfl/news/nfl-week-11-overreactions-highlights-lowlights/

MMED: A Multimodal Micro-Expression Dataset based on Audio-Visual Fusion
Junbo Wang, Yan Zhao, Shuo Li, Shibo Wang, Shigang Wang, Jian Wei
https://arxiv.org/abs/2509.14592 https…

MMED: A Multimodal Micro-Expression Dataset based on Audio-Visual Fusion
Micro-expressions (MEs) are crucial leakages of concealed emotion, yet their study has been constrained by a reliance on silent, visual-only data. To solve this issue, we introduce two principal contributions. First, MMED, to our knowledge, is the first dataset capturing the spontaneous vocal cues that co-occur with MEs in ecologically valid, high-stakes interactions. Second, the Asymmetric Multimodal Fusion Network (AMF-Net) is a novel method that effectively fuses a global visual summary with…

An Implementation Relaxation Approach to Principal-Agent Problems
Hang Jiang
https://arxiv.org/abs/2509.14766 https://arxiv.org/pdf/2509.14766

An Implementation Relaxation Approach to Principal-Agent Problems
The first-order approach (FOA) is the standard tool for solving principal-agent problems, replacing the incentive compatibility (IC) constraint with its first-order condition to obtain a relaxed problem. We show that FOA is not a valid relaxation when the support of the outcome distribution shifts with the agent's effort, as in well-studied additive-noise models. In such cases, the optimal effort may occur at a kink point that the first-order condition cannot capture, causing FOA to miss optima…

:bisexual_pride: 🏳️‍⚧️ :genderfluid_flag: REMINDER! :nonbinary_flag: :heart_trans: 🏳️‍🌈

Yesterday, I wanted to quickly post something on my blog when I realized that my blog generating process was broken after upgrading to Debian 13.
So I had to analyze the situation, got lost in my complex shell script hell and decided to merge it into one single script without lots of dated stuff.
Next I realized that one of my own libs has a minor issue with Python 3 strings: had to migrate to raw strings to get rid of very valid warnings.
Well, I could not publish that lib…

Physically Valid Biomolecular Interaction Modeling with Gauss-Seidel Projection
Siyuan Chen, Minghao Guo, Caoliwen Wang, Anka He Chen, Yikun Zhang, Jingjing Chai, Yin Yang, Wojciech Matusik, Peter Yichen Chen
https://arxiv.org/abs/2510.08946

Physically Valid Biomolecular Interaction Modeling with Gauss-Seidel Projection
Biomolecular interaction modeling has been substantially advanced by foundation models, yet they often produce all-atom structures that violate basic steric feasibility. We address this limitation by enforcing physical validity as a strict constraint during both training and inference with a uniffed module. At its core is a differentiable projection that maps the provisional atom coordinates from the diffusion model to the nearest physically valid conffguration. This projection is achieved usin…

»Decreasing Certificate Lifetimes to 45 Days:
Let’s Encrypt will be reducing the validity period of the certificates we issue. We currently issue certificates valid for 90 days, which will be cut in half to 45 days by 2028.«
The @… halving the validity of the keys makes the web more secure (not more anonymous).
🔐

Decreasing Certificate Lifetimes to 45 Days
Let’s Encrypt will be reducing the validity period of the certificates we issue. We currently issue certificates valid for 90 days, which will be cut in half to 45 days by 2028. This change is being made along with the rest of the industry, as required by the CA/Browser Forum Baseline Requirements, which set the technical requirements that we must follow. All publicly-trusted Certificate Authorities like Let’s Encrypt will be making similar changes. Reducing how long certificates are valid …

PCIe update: added some FIFOs to simplify flow control management.
Fixed some other bugs and we're now generating a valid-looking completion TLP and sending it out via AXI stream to the data link layer.
But it doesn't go out on the wire yet because I don't actually have a transmit path for TLPs yet. (And forget retransmits and such that will come much later)

Valid Inequalities for Mixed Integer Bilevel Linear Optimization Problems
Sahar Tahernejad, Ted K. Ralphs
https://arxiv.org/abs/2510.02998 https://arxiv.or…

Valid Inequalities for Mixed Integer Bilevel Linear Optimization Problems
Despite the success of branch-and-cut methods for solving mixed integer bilevel linear optimization problems (MIBLPs) in practice, there are still gaps in both the theory and practice surrounding these methods. In the first part of this paper, we lay out a basic theory of valid inequalities and cutting-plane methods for MIBLPs that parallels the existing theory for mixed integer linear optimization problems (MILPs). We provide a general scheme for classifying valid inequalities and illustrate h…

#XSLT used to be my goto tool for transforming documents. Today I was facing a document transformation problem (the daring fireball `markdown` program does not emit valid HTML, and although you can pipe it through `tidy`, tidy won't extract the first `h1` and use it as `title`), so I thought 'yay! XSLT'.
Reader, I am no longer competent to write a simple XSLT transform.
I *kno…

It's #NationalComingOutDay and I know how scary and life-changing it can be to come out. So many don't have the freedom to come out. I am a general manager of a store and I strive for my employees to be able to be themselves.
…

System Password Security: Attack and Defense Mechanisms
Chaofang Shi, Zhongwen Li, Xiaoqi Li
https://arxiv.org/abs/2510.10246 https://arxiv.org/pdf/2510.10…

System Password Security: Attack and Defense Mechanisms
System passwords serve as critical credentials for user authentication and access control when logging into operating systems or applications. Upon entering a valid password, users pass verification to access system resources and execute corresponding operations. In recent years, frequent password cracking attacks targeting system passwords have posed a severe threat to information system security. To address this challenge, in-depth research into password cracking attack methods and defensive …

Error: password cannot be valid QR code

Single-Deviation Stability in Additively Separable Hedonic Games with Constrained Coalition Sizes
Martin Bullinger, Adam Dunajski, Edith Elkind, Matan Gilboa
https://arxiv.org/abs/2510.12641

Single-Deviation Stability in Additively Separable Hedonic Games with Constrained Coalition Sizes
We study stability in additively separable hedonic games when coalition sizes have to respect fixed size bounds. We consider four classic notions of stability based on single-agent deviations, namely, Nash stability, individual stability, contractual Nash stability, and contractual individual stability. For each stability notion, we consider two variants: in one, the coalition left behind by a deviator must still be of a valid size, and in the other there is no such constraint. We provide a ful…

Residual-Informed Learning of Solutions to Algebraic Loops
Felix Brandt, Andreas Heuermann, Philip Hannebohm, Bernhard Bachmann
https://arxiv.org/abs/2510.09317 https://

Residual-Informed Learning of Solutions to Algebraic Loops
This paper presents a residual-informed machine learning approach for replacing algebraic loops in equation-based Modelica models with neural network surrogates. A feedforward neural network is trained using the residual (error) of the algebraic loop directly in its loss function, eliminating the need for a supervised dataset. This training strategy also resolves the issue of ambiguous solutions, allowing the surrogate to converge to a consistent solution rather than averaging multiple valid on…

This was very welcome news from Let's Encrypt today and more interesting than cert lifetimes.
"This means you can set up the DNS entry once and begin automatically renewing certificates without needing a way to automatically update DNS."
I already do DNS-01 but not having to do the dynamic updates will be appreciated.

False choice (with a value judgment in its wording).
You can, & should, continue to raise demonstrable & valid concerns about the accessibility of LLM output and _also_ consider if (or how) you can improve it (he offers options).
But no free labor from me.
https://www.

The Fractal Logic of $\Phi$-adic Recursion
Milan Rosko
https://arxiv.org/abs/2510.08934 https://arxiv.org/pdf/2510.08934

The Fractal Logic of $Φ$-adic Recursion
We establish that valid $Σ_1$ propositional inference admits reduction to Fibonacci-indexed witness equations. Specifically, modus ponens verification reduces to solving a linear Diophantine equation in $O(M(\log n))$ time, where $M$ denotes integer multiplication complexity. This reduction is transitive: tautology verification proceeds via Fibonacci index arithmetic, bypassing semantic evaluation entirely. The core discovery is a transitive closure principle in $Φ$-scaled space (Hausdorff di…

Singular Solutions of the Loewner-Nirenberg Problem in Conic Domains with Prescribed Singularity at Vertices
Stephen Zhou
https://arxiv.org/abs/2510.12010 https://

Singular Solutions of the Loewner-Nirenberg Problem in Conic Domains with Prescribed Singularity at Vertices
We study positive singular solutions of the Loewner-Nirenberg problem on conical domains and establish the existence of solutions that admit prescribed asymptotic expansions near vertices, valid to arbitrarily high order of approximation.

This is bizarre - I made a typo and accidentally ran a #Google search for a comma. Not the word, the punctuation mark.
And yet, somehow, Google thinks that is:
1. A valid enough search to be showing a bazillion results
2. A search that needs short-form vertical videos at the top from a bunch of white women (who are they? Why them? What in the world is relevant to a singular punctuation mark that makes them pull up these videos?)
3. A search with enough inferred intent to show me a whole Q&A interface?
I know we complain about the state of #search online a lot these days and I've been part of the #SEO industry for years but something like this is so blatantly ridiculous it's hard not to stop and wonder.... what the actual fuck?

Placeit! A Framework for Learning Robot Object Placement Skills
Amina Ferrad, Johann Huber, Fran\c{c}ois H\'el\'enon, Julien Gleyze, Mahdi Khoramshahi, St\'ephane Doncieux
https://arxiv.org/abs/2510.09267

Placeit! A Framework for Learning Robot Object Placement Skills
Robotics research has made significant strides in learning, yet mastering basic skills like object placement remains a fundamental challenge. A key bottleneck is the acquisition of large-scale, high-quality data, which is often a manual and laborious process. Inspired by Graspit!, a foundational work that used simulation to automatically generate dexterous grasp poses, we introduce Placeit!, an evolutionary-computation framework for generating valid placement positions for rigid objects. Placei…

NYC election moments: during the amalgamation, Westchester County voted against joining the City by one vote.

Robust and Efficient Semiparametric Inference for the Stepped Wedge Design
Fan Xia, K. C. Gary Chan, Emily Voldal, Avi Kenny, Patrick J. Heagerty, James P. Hughes
https://arxiv.org/abs/2510.08972

Robust and Efficient Semiparametric Inference for the Stepped Wedge Design
Stepped wedge designs (SWDs) are increasingly used to evaluate longitudinal cluster-level interventions but pose substantial challenges for valid inference. Because crossover times are randomized, intervention effects are intrinsically confounded with secular time trends, while heterogeneity across clusters, complex correlation structures, baseline covariate imbalances, and small numbers of clusters further complicate inference. We propose a unified semiparametric framework for estimating possi…

I began posting this around year 2000.... It still seems quite valid.
The First Law of the Internet
Every person shall be free to use the Internet in any way that is privately beneficial without being publicly detrimental.
The burden of demonstrating public detriment shall be on those who wish to prevent the private use.
Such a demonstration shall require clear and convincing evidence of public detriment.
The public detriment must be of such deg…

Time domain braiding of anyons revealed through a nonequilibrium fluctuation dissipation theorem
Ines Safi
https://arxiv.org/abs/2510.10525 https://arxiv.o…

Time domain braiding of anyons revealed through a nonequilibrium fluctuation dissipation theorem
We derive a novel fluctuation--dissipation theorem (FDT) valid for nonequilibrium initial states that imprint the braiding of anyons in the time domain. The derivation is carried out within the Unifying Nonequilibrium Perturbative Theory (UNEPT), which applies to both standard reservoir geometries and configurations with one or two quantum point contacts (QPCs) injecting dilute anyonic fluxes. Based on this FDT, we propose complementary methods to determine the time-domain braiding phase. The f…

Essentially this is abusive behavior and the only way out is to break the cycle.
This doesn't preclude valid criticism, but each party in this must recognize that the other parties aren't them and do not have the same audiences, the same requirements for rigor, or the same style of communication.

Reversible computations are computations
Cl\'ement Aubert, Jean Krivine
https://arxiv.org/abs/2510.06585 https://arxiv.org/pdf/2510.06585

Reversible computations are computations
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the observation of its causes. The present work establishes that this simple requirement is equally relevant when the occurrence of an event is invertible. We propose a conservative extension of causal models for concurrency that accommodates reversible computations. We first model reversible computations using a symmetric res…

A posteriori analysis for nonlinear convection-diffusion systems
Andreas Dedner, Jan Giesselmann, Kiwoong Kwon, Tristan Pryer
https://arxiv.org/abs/2510.09449 https://

A posteriori analysis for nonlinear convection-diffusion systems
This work provides reliable a posteriori error estimates for Runge-Kutta discontinuous Galerkin approximations of nonlinear convection-diffusion systems. The classes of systems we study are quite general with a focus on convection-dominated and degenerate parabolic problems. Our a posteriori error bounds are valid for a family of discontinuous Galerkin spatial discretizations and various temporal discretizations that include explicit and implicit-explicit time-stepping schemes, popular tools fo…

Operator ranges and spaceability: An extension of the Kitson--Timoney theorem
Geivison Ribeiro
https://arxiv.org/abs/2510.11332 https://arxiv.org/pdf/2510.…

Operator ranges and spaceability: An extension of the Kitson--Timoney theorem
In this paper we extend Theorem~3.3 from [\emph{J.~Math.~Anal.~Appl.}~\textbf{378} (2011), 680--686] concerning the spaceability of complements of operator ranges. In particular, we provide an affirmative answer to the question posed in \emph{Remark~3.4} of that paper, showing that the result remains valid when the operators act between Fréchet spaces. Moreover, we prove that the same conclusion holds for arbitrary (possibly uncountable) families of operators.

Now Kurzgesagt are doing an "AI is killing the Internet" thing.
There have been many of these lately from a lot of serious and "Internet famous" sources. All of them have much the same take as I do: Right now we're heading into a "dustbowl" of "AI slop", but there are actual valid uses that don't get a lot of press.
This overuse is a byproduct of the AI "gold rush" where a number of excessively funded companies are pushing o…

Autoformalizer with Tool Feedback
Qi Guo, Jianing Wang, Jianfei Zhang, Deyang Kong, Xiangzhou Huang, Xiangyu Xi, Wei Wang, Jingang Wang, Xunliang Cai, Shikun Zhang, Wei Ye
https://arxiv.org/abs/2510.06857

Autoformalizer with Tool Feedback
Autoformalization addresses the scarcity of data for Automated Theorem Proving (ATP) by translating mathematical problems from natural language into formal statements. Efforts in recent work shift from directly prompting large language models to training an end-to-end formalizer model from scratch, achieving remarkable advancements. However, existing formalizer still struggles to consistently generate valid statements that meet syntactic validity and semantic consistency. To address this issue,…

BREAKING NEWS
The United Kingdom is no longer a country. The Arts Council have spoken. Please update your records accordingly.

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
Zeyu Sun, Jingjing Liang, Weiyi Wang, Chenyao Suo, Junjie Chen, Fanjiang Xu
https://arxiv.org/abs/2510.07815

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
MLIR (Multi-Level Intermediate Representation) has rapidly become a foundational technology for modern compiler frameworks, enabling extensibility across diverse domains. However, ensuring the correctness and robustness of MLIR itself remains challenging. Existing fuzzing approaches-based on manually crafted templates or rule-based mutations-struggle to generate sufficiently diverse and semantically valid test cases, making it difficult to expose subtle or deep-seated bugs within MLIR's complex…

https://koreajoongangdaily.joins.com/news/2025-11-30/national/socialAffairs/Coupang-data-breach-affecting-virtually-every-user-draws-apology-from-CEO/2466421
Korea continue…

Coupang data breach affecting virtually every user draws apology from CEO
A major vulnerability in the database of popular online shopping platform Coupang allowed an intruder to access the personal information of more than 30 million users without a valid login, with CEO Park Dae-joon offering an apology to the public.

"[Halligan] has basically no authority. She's not the U.S. attorney in the E. Dist. of VA ... We saw her signature on that indictment — no one else signed that indictment — which means that it is invalid. Because no other valid attorney in the E. Dist. of VA's U.S. attorney's office signed the indictment, and because the statute of limitations has run, it's over."
'It's over': George Conway reveals Trump's big mistake that makes Comey charges 'invalid' - Alternet.org
https://www.alternet.org/george-conway-comey-trump/

United sent me a happy-birthday "free upgrade to Economy Plus!"... Less than 24 hours after I booked multiple flights for next month, and already paid for Economy Plus on some of them. Offer not valid on existing bookings.
Thanks, United. Thanks so much...

RE: https://social.linux.pizza/@midtsveen/115689426145733750
This is valid if you consider that this was (9 December [O.S. 27 November] 1842).

Psyzkaller: Learning from Historical and On-the-Fly Execution Data for Smarter Seed Generation in OS kernel Fuzzing
Boyu Liu, Yang Zhang, Liang Cheng, Yi Zhang, Junjie Fan, Yu Fu
https://arxiv.org/abs/2510.08918

Psyzkaller: Learning from Historical and On-the-Fly Execution Data for Smarter Seed Generation in OS kernel Fuzzing
Fuzzing has become a cornerstone technique for uncovering vulnerabilities and enhancing the security of OS kernels. However, state-of-the-art kernel fuzzers, including the de facto standard Syzkaller, struggle to generate valid syscall sequences that respect implicit Syscall Dependency Relations (SDRs). Consequently, many generated seeds either fail kernel validation or cannot penetrate deep execution paths, resulting in significant inefficiency. We hypothesize that SDRs can be effectively le…

The White House says the $100K H-1B fee will not be applied to renewals or existing holders of valid visas re-entering the US, only new applicants (Ben Berkowitz/Axios)
https://www.axios.com/2025/09/20/trump-h-1b-immigration-visas

New H-1B visa fee will not apply to existing holders, official says
The $100,000 fee for the highly prized visa is intended to boost jobs for U.S. workers.

Comment on Marek Czachor article entitled "On Relativity of Quantumness as Implied by Relativity of Arithmetic and Probability"
Krzysztof Sienicki, Miko{\l}aj Sienicki
https://arxiv.org/abs/2510.02412

Comment on Marek Czachor article entitled "On Relativity of Quantumness as Implied by Relativity of Arithmetic and Probability"
Czachor's model of hierarchical arithmetics begins with a valid formal premise but fixes the key probability mapping g by importing the Born rule and Fubini-Study metric from standard quantum mechanics, where Born probabilities are Kolmogorov within a fixed measurement context. This g is then applied in a non-Newtonian hidden-variable setting, producing a hybrid framework whose agreement with quantum correlations is built in by design, not derived from new physics, and thus does not constitute …

This is a valid use of speed on the Great Highway.

Functional a posteriori estimates for the fractional Laplacian problem
Alexander Nazarov, Sergey Repin
https://arxiv.org/abs/2510.12664 https://arxiv.org/p…

Functional a posteriori estimates for the fractional Laplacian problem
The paper is concerned with a posteriori estimates for approximations of boundary value problems generated by the spectral fractional operator. The derivation is based upon the Stinga--Torrea extension that transfers the corresponding nonlocal problem to a local problem of higher dimensionality. The estimates are fully computable and contain no conditions and constants depending on a method or mesh used to compute an approximation. They are valid for any energy admissible approximation of the e…

Noncommutative Regge-Wheeler potential: some nonperturbative results
Nikola Herceg, Tajron Juri\'c, A. Naveena Kumara, Andjelo Samsarov, Ivica Smoli\'c
https://arxiv.org/abs/2510.08125

Noncommutative Regge-Wheeler potential: some nonperturbative results
We study the gravitational perturbation theory of black holes in noncommutative spacetimes with noncommutativity of the type $[t\stackrel{\star}{,} r] = i a αA(r)$ and $[φ\stackrel{\star}{,} r] = i a βA(r)$ for arbitrary $A(r)$, which includes several Moyal-type spaces and also the $κ$-Minkowski space. The main result of this paper is an analytical expression for the effective potential of the axial perturbation modes, valid to all orders in the noncommutativity parameter. This is achieved …

Eine Story in zwei Akten:
SPECIAL OFFER — JUST FOR YOU!
#UnreliableNarrator

New pre-print out: "Types, equations, dimensions and the Pi theorem".
We formalized the covariance principle (physical laws must be independent of units) as a homomorphism between the algebra of physical quantities and real numbers.
While the Pi Theorem from Dimensional Analysis (DA) is non-constructive, we introduce a constructive method for applying it. This could enable DA-driven program derivation where the type checker helps identify valid physical laws.
📝 Bl…

Day 8 (a bit late): Timnit Gebru
Academic authors are authors too, and there are a bunch of people I deeply respect both in my fields and adjacent.
Gebru is someone I have huge respect for because she stood up for her (mild, completely reasonable) principles to the point of losing her job on Google's AI ethics team (since disbanded entirely), and then went ahead and founded an independent research institute to continue doing AI ethics research.
Why was she fired? Because she insisted on publishing her "Stochastic Parrots" paper after it passed Google internal review only to have extra nonstandard scrutiny applied at the last minute. Why did Google want to suppress her paper (which included an academic co-author)? Because it expressed valid criticisms of the large language models fad, and Google was planning to make money off that fad. Personally, I don't think I'd hire an "AI ethics" team only to then try to suppress their publications, and Google seems to now agree, having scrapped the team (during the initial furor, Timnit's boss also effectively quit to support her).
That "Stochastic Parrots" paper? Indeed, it predicts the core underlying problems with large language models that lead to so many of their user-side harms today. You can read it here: #20AuthorsNoMen

Predictive inference for time series: why is split conformal effective despite temporal dependence?
Rina Foygel Barber, Ashwin Pananjady
https://arxiv.org/abs/2510.02471 https:/…

Predictive inference for time series: why is split conformal effective despite temporal dependence?
We consider the problem of uncertainty quantification for prediction in a time series: if we use past data to forecast the next time point, can we provide valid prediction intervals around our forecasts? To avoid placing distributional assumptions on the data, in recent years the conformal prediction method has been a popular approach for predictive inference, since it provides distribution-free coverage for any iid or exchangeable data distribution. However, in the time series setting, the str…

Decoding Selective Auditory Attention to Musical Elements in Ecologically Valid Music Listening
Taketo Akama, Zhuohao Zhang, Tsukasa Nagashima, Takagi Yutaka, Shun Minamikawa, Natalia Polouliakh
https://arxiv.org/abs/2512.05528

Local Order Average-Atom Interatomic Potentials
Chloe A. Zeller, Ronald E. Miller, Ellad B. Tadmor
https://arxiv.org/abs/2510.06459 https://arxiv.org/pdf/2…

Local Order Average-Atom Interatomic Potentials
An extension to the effective average-atom (AA) interatomic potential (IP) that accounts for local ordering effects is derived. While the AA approach is only valid for random alloys, the new local-order average-atom (LOAA) IP accounts for short-range order within a material by utilizing information from partial radial distribution functions. Simulations with a LOAA potential require smaller system sizes to achieve statistically converged results and therefore can be used to model complex materi…

Validity condition of normal form transformation for the $\beta$-FPUT system
Boyang Wu, Miguel Onorato, Zaher Hani, Yulin Pan
https://arxiv.org/abs/2510.04831 https://

Validity condition of normal form transformation for the $β$-FPUT system
In this work, we provide a validity condition for the normal form transformation to remove the non-resonant cubic terms in the $β$-FPUT system. We show that for a wave field with random phases, the normal form transformation is valid by dominant probability if $β\ll 1/N^{1+ε}$, with $N$ the number of masses and $ε$ an arbitrarily small constant. To obtain this condition, a bound is needed for a summation in the transformation equation, which we prove rigorously in the paper. The condition a…

Multi-Objective Task-Aware Predictor for Image-Text Alignment
Eunki Kim, Na Min An, James Thorne, Hyunjung Shim
https://arxiv.org/abs/2510.00766 https://ar…

Multi-Objective Task-Aware Predictor for Image-Text Alignment
Evaluating image-text alignment while reflecting human preferences across multiple aspects is a significant issue for the development of reliable vision-language applications. It becomes especially crucial in real-world scenarios where multiple valid descriptions exist depending on contexts or user needs. However, research progress is hindered by the lack of comprehensive benchmarks and existing evaluation predictors lacking at least one of these key properties: (1) Alignment with human judgmen…

Wait, what? But why did he pardon them again? Why not start a quest to find both turkeys before Thanksgiving to serve them on two golden plates in his new ballroom? What do you mean with the ballroom isn’t finished yet?
https://journa.host/@w7voa/115611451913677823

Efficient Heuristics and Exact Methods for Pairwise Interaction Sampling
S\'andor P. Fekete, Phillip Keldenich, Dominik Krupke, Michael Perk
https://arxiv.org/abs/2510.05955

Efficient Heuristics and Exact Methods for Pairwise Interaction Sampling
We consider a class of optimization problems that are fundamental to testing in modern configurable software systems, e.g., in automotive industries. In pairwise interaction sampling, we are given a (potentially very large) configuration space, in which each dimension corresponds to a possible Boolean feature of a software system; valid configurations are the satisfying assignments of a given propositional formula $φ$. The objective is to find a minimum-sized family of configurations, such tha…

@… so it looks like Spring has finally bought the Big One? Or is it just me?
(I was amazed it’s worked on Twitter THIS long 😂)
Also as a complete aside, I’d love (once you’re done with the update to Mona) to see either BlueSky support or a version for BlueSky.
I’m getting ready to install SkyBridge just so I can use Mona to access my BS account 😂…

Chiral Edge Excitations of Fractional Chern Insulators
Xiao-Han Yang, Ji-Yao Chen, Xiao-Yu Dong
https://arxiv.org/abs/2510.07795 https://arxiv.org/pdf/2510…

Chiral Edge Excitations of Fractional Chern Insulators
Edge excitations are the defining signature of chiral topologically ordered systems. In continuum fractional quantum Hall (FQH) states, these excitations are described by the chiral Luttinger liquid ($χ$LL) theory. Whether this effective description remains valid for fractional Chern insulators (FCIs) on discrete lattices has been a longstanding open question. Here we numerically demonstrate that the charge-one edge spectral function of a $ν=1/2$ FCI on an infinitely long strip with width $L_…

#Cisco spielt grade auch eher "gonna catch em all" mit den "habt-ihr-lack-gesoffen"-CVEs, oder? Müssen die zu FortiNet aufholen, oder was ist da los? Oo
CVE-2025-20352
Ja, user mit read-only-SNMP können beliebige Dinge als root ausführen. (afair ist das per default an)

AI is Dumber on Mondays
It's Monday morning. My coffee is hot, my IDE is open, and Claude Code just suggested I fix a bug by... creating the exact same bug in a different file. Cursor is hallucinating function names that don't exist. Codex thinks undefined is a valid return type in TypeScript.
Did the AI catch a case of the Mondays?
🤔

AI is Dumber on Mondays
It’s Monday morning. My coffee is hot, my IDE is open, and Claude Code just suggested I fix a bug by… creating the exact same bug in a different file. Cursor is hallucinating function names that don’t…

A Formal Framework for Fluency-based Multi-Reference Evaluation in Grammatical Error Correction
Eitan Klinger, Zihao Huang, Tran Minh Nguyen, Emma Jayeon Park, Yige Chen, Yang Gu, Qingyu Gao, Siliang Liu, Mengyang Qiu, Jungyeul Park
https://arxiv.org/abs/2510.06749

A Formal Framework for Fluency-based Multi-Reference Evaluation in Grammatical Error Correction
Evaluating grammatical error correction requires metrics that reflect the diversity of valid human corrections rather than privileging a single reference. Existing frameworks, largely edit-based and English-centric, rely on rigid alignments between system and reference edits, limiting their applicability in multilingual and generative settings. This paper introduces a formal framework for \textit{fluency-based multi-reference evaluation}, framing $n$-gram similarity as an aggregation problem ov…

Non-unitary Time Evolution via the Chebyshev Expansion Method
\'Aron Holl\'o, D\'aniel Varjas, Cosma Fulga, L\'aszl\'o Oroszl\'any, Viktor K\"onye
https://arxiv.org/abs/2510.10643

Non-unitary Time Evolution via the Chebyshev Expansion Method
The Chebyshev expansion method is a well-established technique for computing the time evolution of quantum states, particularly in Hermitian systems with a bounded spectrum. Here, we show that the applicability of the Chebyshev expansion method extends well beyond this constraint: It remains valid across the entire complex plane and is thus suitable for arbitrary non-Hermitian matrices. We identify that numerical rounding errors are the primary source of errors encountered when applying the met…

Live open-source like there's no tomorrow. Today @… banned me for no valid reason and MinIO on their Slack for wishing them their future under the bridge.

NFL Week 14 overreactions: Did Daniel Jones' injury end the Colts season? Will Ravens actually miss playoffs?

https://www.cbssports.com/nfl/news/nfl-week-14-overreac…

Jerry Jones fires back at Micah Parsons over not calling him about the trade https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/09/30/dallas-cowboys-owner…

An extension of the mean value theorem
Jean B Lasserre (LAAS-POP, TSE-R)
https://arxiv.org/abs/2510.01726 https://arxiv.org/pdf/2510.01726

An extension of the mean value theorem
Let ($Ω$, $μ$) be a measure space with $Ω$ $\subset$ R d and $μ$ a finite measure on $Ω$. We provide an extension of the Mean Value Theorem (MVT) in the form It is valid for non compact sets $Ω$ and f is only required to be integrable with respect to $μ$. It also contains as a special case the MVT in the form f d$μ$ = $μ$($Ω$)f (x 0 ) for some x 0 $\in$ $Ω$, valid for compact connected set $Ω$ and continuous f . It is a direct consequence of Richter's theorem which in turn is a non…

An important update from the Director of Procurement at one of my customers:
"From Monday 1 December, all your invoices submitted for payment to the Invoice team must include a valid PO number. Invoices without a PO number will be rejected and returned to you. Please ensure that work is not started without a PO number; the PO number will be sent to you via our ERP system, Tech One."
Great, so they have introduced a manual step into my automated process.

I needed a little break from a ternary encoded display, so I went back to one of my old favourites. French Decimal Time 🇫🇷.
As a side note, since it is no longer DST in Europe and I'm the same timezone as the Swatch headquarters 🇨🇭, it's also actually the current valid time in .Beats (a.k.a. Swatch® Internet Time)! 🥳
#DecimalTime

Collusion-Resistant Quantum Secure Key Leasing Beyond Decryption
Fuyuki Kitagawa, Ryo Nishimaki, Nikhil Pappu
https://arxiv.org/abs/2510.04754 https://arxi…

Collusion-Resistant Quantum Secure Key Leasing Beyond Decryption
Secure key leasing (SKL) enables the holder of a secret key for a cryptographic function to temporarily lease the key using quantum information. Later, the recipient can produce a deletion certificate, which proves that they no longer have access to the secret key. The security guarantee ensures that even a malicious recipient cannot continue to evaluate the function, after producing a valid deletion certificate. Most prior work considers an adversarial recipient that obtains a single leased …

My grandmother would always ask every German the question "You knew what was happening, why did you not do something?" The question was about the Nazi concentration and death camps. And it was a valid question.
Today we know about what ICE and DHS are doing, we know our country is going fascist and is trying to create Gulags and concentration camps and the kind of social fear that would be the pride of the East German STASI.
Here's a prime example - California Cit…

Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
Yoonju Sim, Hyeonah Kim, Changhyun Kwon
https://arxiv.org/abs/2510.00958 https…

Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
The identification of valid inequalities, such as the rounded capacity inequalities (RCIs), is a key component of cutting plane methods for the Capacitated Vehicle Routing Problem (CVRP). While a deep learning-based separation method can learn to find high-quality cuts, our analysis reveals that the model produces fewer cuts than expected because it is insufficiently sensitive to generate a diverse set of generated subsets. This paper proposes an alternative: enhancing the performance of a trai…

I think this is progress.
I fixed the typoed atu_unr_limit and now the ATU is working, translating accesses to the 0x1000_0000 AXI space to configuration reads and writes in the PCIe bus.
But the data is always zero. I'm trying to write 0x41410000 to the BAR and it comes out as zeroes, and while the protocol analyzer shows me successfully reading 1327:1c5c which is the VID/PID of my test SSD, it comes out as zero on the AXI side.

Chiseling: Powerful and Valid Subgroup Selection via Interactive Machine Learning
Nathan Cheng, Asher Spector, Lucas Janson
https://arxiv.org/abs/2509.19490 https://

Chiseling: Powerful and Valid Subgroup Selection via Interactive Machine Learning
In regression and causal inference, controlled subgroup selection aims to identify, with inferential guarantees, a subgroup (defined as a subset of the covariate space) on which the average response or treatment effect is above a given threshold. E.g., in a clinical trial, it may be of interest to find a subgroup with a positive average treatment effect. However, existing methods either lack inferential guarantees, heavily restrict the search for the subgroup, or sacrifice efficiency by naive d…

I call myself a Christian, but I’m very conflicted. I don’t know what I believe, but I know that love is love. I also don’t believe in just one way and that any way to an afterlife, if there is one, is valid. A decision to have a faith is a personal one for each individual and no one should be disrespected for believing or not believing in something.

Observational constraints on f(Q,T) gravity from the mass-radius relation and stability of compact stars
S. K. Maurya, Abdul Aziz, Ksh. Newton Singh, G. Mustafa, Y. Sekhmani, Saibal Ray
https://arxiv.org/abs/2510.06003

Observational constraints on f(Q,T) gravity from the mass-radius relation and stability of compact stars
In this investigation we examine the astrophysical consequences of the influence of pressure anisotropy on the physical properties of observed pulsars within the background of $f(Q,T)$ gravity by choosing a specific form $f(Q, T)=ψ_1\, Q + ψ_2 T$, where $ψ_1$ and $ψ_2$ are the model parameters. Initially, we solve the modified field equations for anisotropic stellar configurations by assuming the physically valid metric potential along with anisotropic function for the distribution of the i…

All I want is a new Cookie attribute added to the spec, so that when a website tries to set a cookie, along with the name and expiry date and domain and httponly flags, there is a "type".
Valid values for type are "preference", "storage", "login", "session", "analytics", "tracking" and "evil".

Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions
Carolina Carreira, Anu Aggarwal, Alejandro Cuevas, Maria Jos\'e Ferreira, Hanan Hibshi, Cleotilde Gonzalez
https://arxiv.org/abs/2510.05771

Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions
Understanding how cognitive biases influence adversarial decision-making is essential for developing effective cyber defenses. Capture-the-Flag (CTF) competitions provide an ecologically valid testbed to study attacker behavior at scale, simulating real-world intrusion scenarios under pressure. We analyze over 500,000 submission logs from picoCTF, a large educational CTF platform, to identify behavioral signatures of cognitive biases with defensive implications. Focusing on availability bias an…

Uncertainty-Guided Expert-AI Collaboration for Efficient Soil Horizon Annotation
Teodor Chiaburu, Vipin Singh, Frank Hau{\ss}er, Felix Bie{\ss}mann
https://arxiv.org/abs/2509.24873

Uncertainty-Guided Expert-AI Collaboration for Efficient Soil Horizon Annotation
Uncertainty quantification is essential in human-machine collaboration, as human agents tend to adjust their decisions based on the confidence of the machine counterpart. Reliably calibrated model uncertainties, hence, enable more effective collaboration, targeted expert intervention and more responsible usage of Machine Learning (ML) systems. Conformal prediction has become a well established model-agnostic framework for uncertainty calibration of ML models, offering statistically valid confid…

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
Paschal C. Amusuo, Dongge Liu, Ricardo Andres Calvo Mendez, Jonathan Metzman, Oliver Chang, James C. Davis
https://arxiv.org/abs/2510.02185

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
Fuzz testing has become a cornerstone technique for identifying software bugs and security vulnerabilities, with broad adoption in both industry and open-source communities. Directly fuzzing a function requires fuzz drivers, which translate random fuzzer inputs into valid arguments for the target function. Given the cost and expertise required to manually develop fuzz drivers, methods exist that leverage program analysis and Large Language Models to automatically generate these drivers. However…

Day 5: Robin Wall Kimmerer
I'm taking these liberty of changing my hashtag and expanding the intent of this list to include all non-men, although Kimerer is a woman so I'll get to more gender diversity later... I've also started planning this out more and realized that I may continue a bit beyond 20...
In any case, Robin Wall Kimmerer is an Indigenous academic biologist and excellent non-fiction author whose work touches on Potawotomi philosophy, colonialism (including in academic spaces), and ideas for a better future. Anyone interested in ecology, conservation, or decolonization in North America will probably be impressed by her work and the rich connections she weaves between academic ecology and Indigenous knowledge offer a critical opportunity to expand your understanding of the world if like me you were raised deeply enmeshed in "Western" scientific tradition. I suppose a little background in skepticism helped prepare me to respect her writing, but I don't think that's essential.
I've only read "Braiding Sweetgrass," but "Gathering Moss" and her more recent "The Serviceberry" are high on my to-read list, despite my predilection for fiction. Kimmerer incorporates a backbone of fascinating anecdotes into "Braiding Sweetgrass" that makes it surprisingly easy reading for a work that's philosophical at its core. She also pulls off an impressive braided organization to the whole thing, weaving together disparate knowledges in a way that lets you see both their contradictions and their connections.
The one criticism I've seen of her work is that it's not sufficiently connected to other Indigenous philosophers & writers, and that it's perhaps too comfortable of a read for colonizers, and that seems valid to me, even though (perhaps because I am a colonizer) I still find her book important.
An excellent author in any case, and one doing concrete ideological work towards a better world.
#20AuthorsNoMen

Pareto-optimal Non-uniform Language Generation
Moses Charikar, Chirag Pabbaraju
https://arxiv.org/abs/2510.02795 https://arxiv.org/pdf/2510.02795

Pareto-optimal Non-uniform Language Generation
Kleinberg and Mullainathan (2024) recently proposed an interesting model for language generation in the limit: Given a countable collection of languages, and an adversary enumerating the strings of some language $L$ from the collection, the objective is to generate new strings from the target language, such that all strings generated beyond some finite time are valid. Li, Raman and Tewari (2024) and Charikar and Pabbaraju (2024) showed strong non-uniform generation guarantees in this model, giv…

Overreactions from NFL Week 9: Has Daniel Jones turned into a pumpkin? Are the Packers frauds?

https://www.cbssports.com/nfl/news/nfl-week-9-overreactio…

Looking at the ARMv8-A ARM and I see implementer ID 0x44 is DEC.
I'm... very confident DEC has never built an ARMv8 CPU core.
Is this just copy-pasted from earlier docs because DEC had an ARM architecture license in years past? Or is this license still valid and held by DEC's successors (I think DEC -> Compaq -> HP -> HPE, does HPE make custom ARM cores?)

Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
Yoonju Sim, Hyeonah Kim, Changhyun Kwon
https://arxiv.org/abs/2510.00958 https…

Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
The identification of valid inequalities, such as the rounded capacity inequalities (RCIs), is a key component of cutting plane methods for the Capacitated Vehicle Routing Problem (CVRP). While a deep learning-based separation method can learn to find high-quality cuts, our analysis reveals that the model produces fewer cuts than expected because it is insufficiently sensitive to generate a diverse set of generated subsets. This paper proposes an alternative: enhancing the performance of a trai…

Comparison of Parametric versus Machine-learning Multiple Imputation in Clinical Trials with Missing Continuous Outcomes
Mia S. Tackney, Jonathan W. Bartlett, Elizabeth Williamson, Kim May Lee
https://arxiv.org/abs/2510.03512

Comparison of Parametric versus Machine-learning Multiple Imputation in Clinical Trials with Missing Continuous Outcomes
The use of flexible machine-learning (ML) models to generate imputations of missing data within the framework of Multiple Imputation (MI) has recently gained traction, particularly in observational settings. For randomised controlled trials (RCTs), it is unclear whether ML approaches to MI provide valid inference, and whether they outperform parametric MI approaches under complex data generating mechanisms. We conducted two simulations in RCT settings that have incomplete continuous outcomes bu…

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
Zheng Qu, Defeng Sun, Jintao Xu
https://arxiv.org/abs/2510.02948 https://

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
We introduce a cutting-plane framework for nonconvex quadratic programs (QPs) that progressively tightens convex relaxations. Our approach leverages the doubly nonnegative (DNN) relaxation to compute strong lower bounds and generate separating cuts, which are iteratively added to improve the relaxation. We establish that, at any Karush-Kuhn-Tucker (KKT) point satisfying a second-order sufficient condition, a valid cut can be obtained by solving a linear semidefinite program (SDP), and we devise…

Provably Optimal Quantum Circuits with Mixed-Integer Programming
Harsha Nagarajan, Zsolt Szab\'o
https://arxiv.org/abs/2510.00649 https://arxiv.org/pdf…

Provably Optimal Quantum Circuits with Mixed-Integer Programming
We present a depth-aware optimization framework for quantum circuit compilation that unifies provable optimality with scalable heuristics. For exact synthesis of a target unitary, we formulate a mixed-integer linear program (MILP) that linearly handles global-phase equivalence and uses explicit parallel scheduling variables to certify depth-optimal solutions for small-to-medium circuits. Domain-specific valid constraints, including identity ordering, commuting-gate pruning, short-sequence redun…

NFL Week 13 overreactions: Matthew Stafford's MVP bid over? Texans new team to beat in the AFC South?

https://www.cbssports.com/nfl/news/nfl-wee

Well this is interesting.
I've successfully determined which core is active. Core 1 correctly takes the branch, loads a valid initial stack pointer, and jumps into the infinite loop I wanted it to.
Core 0, on the other hand, crashes when doing basically the same instructions. Weird.

Estimating the Empowerment of Language Model Agents
Jinyeop Song, Jeff Gore, Max Kleiman-Weiner
https://arxiv.org/abs/2509.22504 https://arxiv.org/pdf/2509…

Estimating the Empowerment of Language Model Agents
As language model (LM) agents become more capable and gain broader access to real-world tools, there is a growing need for scalable evaluation frameworks of agentic capability. However, conventional benchmark-centric evaluations are costly to design and require human designers to come up with valid tasks that translate into insights about general model capabilities. In this work, we propose information-theoretic evaluation based on empowerment, the mutual information between an agent's actions …

NFL Thanksgiving overreactions: Lions playoff hopes dashed? Does Kansas City need to win out?

https://www.cbssports.com/nfl/news/nfl-thanks…