Tootfinder

Invariant Generation for Floating-Point Programs via Constraint Solving
Xuran Cai, Liqian Chen, Hongfei Fu
https://arxiv.org/abs/2507.15017 https://…

Invariant Generation for Floating-Point Programs via Constraint Solving
In numeric-intensive computations, it is well known that the execution of floating-point programs is imprecise as floating point arithmetics (e.g., addition, subtraction, multiplication, division, etc.) incurs rounding errors. Albeit the rounding error is small for every single floating-point operation, the aggregation of such error in multiple operations may be dramatic and cause catastrophic program failures. Therefore, to ensure the correctness of floating-point programs, the effect of float…

Pond Slider turtles basking on the rocks in a pond. LA Arboretum, Arcadia, California, USA. December, 2024. #laarboretum #turtle #pondslider

Smartphone-integrated RPA-CRISPR-Cas12a Detection System with Microneedle Sampling for Point-of-Care Diagnosis of Potato Late Blight in Early Stage
Jiangnan Zhao (Key Laboratory of Smart Agriculture Systems, Ministry of Education, China Agricultural University, Beijing, PR China, Key Laboratory of Agricultural Information Acquisition Technology, Ministry of Agriculture and Rural Affairs of China, China Agricultural University, Beijing, PR China), Hanbo Xu (Key Laboratory of Smart Agric…

Smartphone-integrated RPA-CRISPR-Cas12a Detection System with Microneedle Sampling for Point-of-Care Diagnosis of Potato Late Blight in Early Stage
Potato late blight, caused by the oomycete pathogen Phytophthora infestans, is one of the most devastating diseases affecting potato crops in the history. Although conventional detection methods of plant diseases such as PCR and LAMP are highly sensitive and specific, they rely on bulky and expensive laboratory equipment and involve complex operations, making them impracticable for point-of care diagnosis in the field. Here in this study, we report a portable RPA-CRISPR based diagnosis system f…

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
Faruk Alpay, Hamdi Al Alakkad
https://arxiv.org/abs/2507.16620

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
We present a new theoretical framework that unifies category-theoretic fixed-point constructions, transfinite recursion, and game-based semantics to model how interpretations of language can stabilize through unlimited self-reference. By iterating a meaning-refinement operator across all ordinal stages, we isolate a unique "transordinal" fixed point and show, via a hierarchy of reflective games, that this same object is the sole equilibrium of an infinite dialogue between a text and its interpr…

“Many State Offices are concerned that Starlink proposals may be the lowest bid and alternative proposals may not be within the 15% window for consideration. What this analysis presents is that across many geographic areas Starlink may not be a qualified bidder as it may be unable to attain the required 100/20 Mbps service level (and, in deploying Starlink services, may actually degrade pre-existing users’ services to the point that they no longer receive minimal broadband speeds).”
#Enshitification #StarLink
https://communitynetworks.org/content/new-research-starlink-unlikely-meet-bead-speed-needs-scale

Un commentaire en dessous d'un article du Figaro https://sante.lefigaro.fr/social/sante-publique/a-quel-point-les-neonicotinoides-sont-ils-nocifs-pour-la-sante-humaine-et-pour-l-e…

Loi Duplomb: à quel point les néonicotinoïdes sont-ils nocifs pour la santé humaine et pour l’environnement?
DÉCRYPTAGE - La mesure la plus décriée de la loi agricole dite «Duplomb» est la réintroduction de l’acétamipride, un insecticide de la famille des néonicotinoïdes interdit en France depuis 2018 mais autorisé ailleurs en Europe jusqu’en 2033.

Preconditioned Deformation Grids
Julian Kaltheuner, Alexander Oebel, Hannah Droege, Patrick Stotko, Reinhard Klein
https://arxiv.org/abs/2509.18097 https://

Preconditioned Deformation Grids
Dynamic surface reconstruction of objects from point cloud sequences is a challenging field in computer graphics. Existing approaches either require multiple regularization terms or extensive training data which, however, lead to compromises in reconstruction accuracy as well as over-smoothing or poor generalization to unseen objects and motions. To address these lim- itations, we introduce Preconditioned Deformation Grids, a novel technique for estimating coherent deformation fields directly f…

Eco-Movement, which holds a quasi-monopoly on EV charging point data in Europe, has been acquired by Dow Jones.
https://www.dowjones.com/press-room/dow-jones-acquires-eco-movement/

Dow Jones Acquires Eco-Movement
Latest acquisition advances Dow Jones’s energy business with industry-leading data  NEW YORK – [September 18, 2025] – Dow Jones today announced it has acquired Eco-Movement, a leading global platform for EV charging station data. Eco-Movement will operate as part of OPIS, Dow Jones’s growing energy business.  Headquartered in Utrecht, Netherlands, Eco-Movement is a leading charge […]

Characterizing Communication Patterns in Distributed Large Language Model Inference
Lang Xu, Kaushik Kandadi Suresh, Quentin Anthony, Nawras Alnaasan, Dhabaleswar K. Panda
https://arxiv.org/abs/2507.14392

Characterizing Communication Patterns in Distributed Large Language Model Inference
Large Language Models (LLMs) built on transformer architectures have transformed natural language processing, achieving remarkable performance across diverse applications. While distributed inference frameworks enable practical deployment of these models, inter-GPU communication creates significant performance constraints that limit service quality in real-world systems. This paper investigates communication dynamics in distributed LLM serving-analyzing how various parallelization approaches co…

White Aggregation and Restoration for Few-shot 3D Point Cloud Semantic Segmentation
Jiyun Im, SuBeen Lee, Miso Lee, Jae-Pil Heo
https://arxiv.org/abs/2509.13907 https://

White Aggregation and Restoration for Few-shot 3D Point Cloud Semantic Segmentation
Few-Shot 3D Point Cloud Segmentation (FS-PCS) aims to predict per-point labels for an unlabeled point cloud, given only a few labeled examples. To extract discriminative representations from the limited support set, existing methods have constructed prototypes using conventional algorithms such as farthest point sampling. However, we point out that its initial randomness significantly affects FS-PCS performance and that the prototype generation process remains underexplored despite its prevalen…