Tootfinder

from my link log —
Splint: annotation-assisted lightweight static checking for C. (2004)
https://splint.org/
saved 2026-08-03 https://dotat.at/:/KO96I.html

https://huggingface.co/spaces/society-ethics/annotated-encyclical
Meg Mitchell, aka Shmargaret Shmitchell, with whom I am proud to be acquainted, has provided an annotation of an AI paper by none other than the Pope
The world is a strange and mysterious pla…

The Annotated Encyclical - a Hugging Face Space by society-ethics
Magnifica Humanitas, annotated with AI-ethics research

RE: #Zotero seems to finally have fixed the dreaded annotation text weirdness! 🥳

Replaced article(s) found for eess.IV. https://arxiv.org/list/eess.IV/new
[1/1]:
- MalariAI: A Label-Resilient Decoupled Framework for Annotation-Agnostic Cell Segmentation and Exp...
Kaysarul Anas Apurba, Md Hasibul Hasan, Mohammed Ali, Tanzilur Rahman
https://arxiv.org/abs/2607.00385 https://mastoxiv.page/@arXiv_eessIV_bot/116849282564444519
toXiv_bot_toot

Unsupervised Adversarial Domain Adaptation for Uterine layer Segmentation: From Labeled Cine to Unlabeled Dynamic EPI MRI
Smiti Tripathy, Milauni Desai, Jordina Aviles Verdera, Jana Hutter
https://arxiv.org/abs/2608.03762 https://arxiv.org/pdf/2608.03762 https://arxiv.org/html/2608.03762
arXiv:2608.03762v1 Announce Type: new
Abstract: Uterine peristalsis is a key physiological phenomenon responsible for various functions across the menstrual cycle, intimately linked to uterine wall microstructure. Alterations in uterine motion and tissue properties are implicated in the etiology of gynecological diseases, yet these processes have been studied in isolation. We introduce a dynamic multi-echo gradient echo EPI framework for simultaneous characterization and correlation of uterine peristaltic activity and time-resolved T2* changes at 0.55T. Inherent susceptibility artifacts, reduced resolution, and burden of manual uterine layer annotation are addressed by an unsupervised adversarial domain adaptation framework, transferring segmentation knowledge from labeled cine MRI to unlabeled dynamic EPI. We implemented Unet-LSTM with multi-scale domain discriminators that exploits temporal layer dynamics. A Dice score of 0.88 and Jaccard index of 0.80 was achieved. Mean T2* values were 108ms, 76ms, and 124ms for the myometrium, junctional zone, and endometrium. A negative correlation between junctional zone area and T2* was observed in 14/39 cases, providing first insights into oxygenation patterns associated with junctional zone contraction and motion, demonstrating feasibility of assessing the interplay between contractility and dynamic T2* changes.
toXiv_bot_toot

Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages
Qunhui Zhang
https://arxiv.org/abs/2607.19693 https://arxiv.org/pdf/2607.19693 https://arxiv.org/html/2607.19693
arXiv:2607.19693v1 Announce Type: new
Abstract: Type inference for dynamically typed languages must reconcile four distinct sources of evidence for function parameters: internal assignments, explicit declarations, contextual requirements, and structural operations. Existing systems often merge these sources into one constraint set, causing spurious conflicts or requiring redundant annotations. We present Generalized Constraint Projection (GCP), a zero-annotation inference framework that stores the four sources in separate monotone slots on a stable definition-time template and checks each call in a fresh projection session. Ordinary calls verify concrete arguments and specialize return types without modifying the template, while currying produces residual projected functions. GCP uses Outline Equational Matching (OEM), a structural compatibility preorder with an open bidirectional delegation protocol, and future this, a receiver-preserving extension for subtype-refining fluent APIs. On the strict success fragment of a finite-height type preorder, we prove monotonicity, local and global convergence in $O(Nh_T)$ effective updates, conditional projection-obligation soundness, projection termination, multi-module convergence, and order independence under fair monotone iteration. For the pure, recursion-free core Outline0, we additionally prove big-step evaluation definedness, type preservation, runtime receiver retention, and projection-evaluation coherence. We instantiate GCP in the Outline dynamic language as a typed substrate for ontology worlds and apply it to unannotated Python source to recover PEP 484 annotations for downstream compilation.
toXiv_bot_toot