Tootfinder

PSA about food labeling in the US
We have a gluten detection service dog because many things that should be gluten free/say they’re gluten free are not actually gluten free.
Stuff gets contaminated when growing (e.g. next to wheat field), by shared equipment, in factories, from packaging, during transport and in-store.
Every US consumer should know:
1. The list of ingredients on food isn't exhaustive
2. Allergen labeling:
a) limited to just some allergens
b) manufacturers don't actually have to test
c) "certified" foods are tested—but not continuously
d) testing only works with enough contamination
Some certifications may require batch-testing, but usually they don't.
A "certified gluten free" product may e.g. contain oats which sometimes are contaminated with gluten—but as not every batch is tested it's impossible to know unless you test yourself (hence the service dog).
Even if the product is properly batch-tested, you might get a part of the product that has the allergen in it, whereas the tested part didn't.
Or the threshold was too low (our dog can detect gluten better than any available lab testing equipment; yes, dogs are amazing).
Food products also contain ingredients that do not have to be included on the label when they're "incidental" (included in an another ingredient) or if they're considered part of the manufacturing process but not of the final product (e.g. various coatings on factory equipment).
Don't need to list flavors or specific spices either. ¯\_(ツ)_/¯
As for allergens, only those responsible for ~90% of food allergies* have to be specifically declared, and they're not tested for as it's simply based on the ingredients list.
Good luck if you have other allergies.
*milk, egg, egg, fish, Crustacean shellfish, tree nuts, wheat, peanuts, soybeans

Seeing the discussion, I’d like to clarify:
This post is not a statement on #nuclear energy. I was responding to the specific article that I shared, where @… reported that tech companies are “using AI to speed up the construction of new nuclear power plants.”
My point is - cutting corners and trying to “speed up” the construction or operation of nuclear power plants can have CATASTROPHIC effects.
Chernobyl was a disaster of mismanagement, cost cutting, and insufficient safety procedures.
I do not trust AI, a technology that is notoriously probabilistic and inconsistent in outputs (and with famously high error rates) to be reliable and competent for a use case where the risks are this high.
I also do not support the mindset of wanting to “speed up” ANY regulatory processes and safety checks when it comes to constructing nuclear power infrastructure.
Licensing is not a “bottleneck” here. It’s a safety prerogative.
(Thanks @… for bringing this to my attention!)

"This is a new reality that we are dreaming and weaving together."
This is either the last or second to last section of Kairos I'm writing. This is the most specific so far. After that it's editing and making it feel more like a single consistent text than a bunch of essays. I hope it's worth the read.
Feedback is always welcome, especially editing (typos, grammar, etc), and questions.
https://anarchoccultism.org/building-zion/a-solarpunk-fractal-creating-a-viable-system-91h5

Active Subspaces in Infinite Dimension
Poorbita Kundu, Nathan Wycoff
https://arxiv.org/abs/2510.11871 https://arxiv.org/pdf/2510.11871

Active Subspaces in Infinite Dimension
Active subspace analysis uses the leading eigenspace of the gradient's second moment to conduct supervised dimension reduction. In this article, we extend this methodology to real-valued functionals on Hilbert space. We define an operator which coincides with the active subspace matrix when applied to a Euclidean space. We show that many of the desirable properties of Active Subspace analysis extend directly to the infinite dimensional setting. We also propose a Monte Carlo procedure and discus…

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
David Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
https://arxiv.org/abs/2509.13208

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Formal specifications have numerous benefits for both designers and users of network protocols. They provide clear, unambiguous representations, which are useful as documentation and for testing. They can help reveal disagreements about what a protocol "is" and identify areas where further work is needed to resolve ambiguities or internal inconsistencies. They also provide a foundation for formal reasoning, making it possible to establish important security and correctness guarantees on all inp…

Flow-Based Fragment Identification via Binding Site-Specific Latent Representations
Rebecca Manuela Neeser, Ilia Igashov, Arne Schneuing, Michael Bronstein, Philippe Schwaller, Bruno Correia
https://arxiv.org/abs/2509.13216

Flow-Based Fragment Identification via Binding Site-Specific Latent Representations
Fragment-based drug design is a promising strategy leveraging the binding of small chemical moieties that can efficiently guide drug discovery. The initial step of fragment identification remains challenging, as fragments often bind weakly and non-specifically. We developed a protein-fragment encoder that relies on a contrastive learning approach to map both molecular fragments and protein surfaces in a shared latent space. The encoder captures interaction-relevant features and allows to perfor…

Completions of pairwise comparison data that minimize the triad measure of inconsistency
Susana Furtado, Charles Johnson
https://arxiv.org/abs/2510.12351 https://

Completions of pairwise comparison data that minimize the triad measure of inconsistency
We consider incomplete pairwise comparison matrices and determine exactly when they have a consistent completion and, if not, when they have a nearly consistent completion. We use the maximum 3-cycle product as a measure of inconsistency and show that, when the graph of the specified entries is chordal, a completion in which this measure is not increased is always possible. Methodology to produce such completions is developed. Such methodology may also be used to reduce inconsistency with few c…

Enhanced Angle-Range Cluster Parameter Estimation in Full-Duplex ISAC Systems
Muhammad Talha, Besma Smida, David Gonz\'alez G
https://arxiv.org/abs/2510.12711 https://

Enhanced Angle-Range Cluster Parameter Estimation in Full-Duplex ISAC Systems
This work studies an integrated sensing and communication (ISAC) framework for targets that are spread both in the angle and range domains. We model each target using a cluster of rays parameterized by a specific density function, and propose a truncated Multiple Signal Classification (MUSIC) spread (TMS) algorithm to accurately estimate the parameters of the density function. Unlike the conventional MUSIC spread (CMS), TMS restricts the signal subspace rank based on the eigen decomposition of …

Congress could, at any time, stop this shitshow by telling Vought to end the RIFs and impoundments.
It has very clear institutional reasons to do so.
But obeying to Trump rules all,
and instead the Speaker of the House will pretend he does not know what is happening
while opining on Bad Bunny."
-- Don Moynihan

Aaron Rupar (@atrupar.com)
REPORTER: We know the president moved forward with mass layoffs. We're also learning there were significant cuts to staff at special education services. Are you comfortable with those cuts? MIKE JOHNSON: I haven't seen the specifics of that and I don't know

Just shared my WezTerm¹ configuration. It’s not very long and mostly just adds a few keyboard shortcuts that I find more ergonomically-pleasing, specifies light/dark themes and improves colour scheme consistency and also, if you use Helix Editor², automatically implements light/dark mode theme changes for it in line with the rest of the terminal.