Tootfinder

@… Some language servers do this. The Haskell Language Server, for example, will let you add an explicit type annotation for an implicitly typed variable or function. I think I’ve seen this for TypeScript too.
I’m not sure if this answers your question, but I hope it does.

US-General: Tausende europäische Soldaten nötig
Für einen wirksamen Schutz der Ukraine vor zukünftigen Angriffen Russlands nach einem möglichen Friedensschluss bräuchte es nach Einschätzung des früheren Befehlshabers der US-Streitkräfte in Europa Tausende europäische Soldaten.
Die Europäer müssten gemeinsam mit den USA Sicherheitsgarantien schaffen, die echten Druck auf Moskau ausübten, sagte Ben H…
🔗

Gipfel über Frieden in der Ukraine: Debatte über Sicherheitsgarantien
Die Debatte über Sicherheitsgarantien für die Ukraine nimmt Fahrt auf. US-Präsident Trump präzisiert den Beitrag seines Landes. Auch Berlin macht vage Andeutungen. Fachleute warnen: Einfach wird das alles nicht.

Beyond Human Judgment: A Bayesian Evaluation of LLMs' Moral Values Understanding
Maciej Skorski, Alina Landowska
https://arxiv.org/abs/2508.13804 https://

Beyond Human Judgment: A Bayesian Evaluation of LLMs' Moral Values Understanding
How do large language models understand moral dimensions compared to humans? This first large-scale Bayesian evaluation of market-leading language models provides the answer. In contrast to prior work using deterministic ground truth (majority or inclusion rules), we model annotator disagreements to capture both aleatoric uncertainty (inherent human disagreement) and epistemic uncertainty (model domain sensitivity). We evaluate top language models (Claude Sonnet 4, DeepSeek-V3, Llama 4 Maveri…

Textarium: Entangling Annotation, Abstraction and Argument
Philipp Proff, Marian D\"ork
https://arxiv.org/abs/2509.13191 https://arxiv.org/pdf/2509.13…

Textarium: Entangling Annotation, Abstraction and Argument
We present a web-based environment that connects annotation, abstraction, and argumentation during the interpretation of text. As a visual interface for scholarly reading and writing, Textarium combines human analysis with lightweight computational processing to bridge close and distant reading practices. Readers can highlight text, group keywords into concepts, and embed these observations as anchors in essays. The interface renders these interpretive actions as parameterized visualization sta…

Some ad industry executives express anger and disappointment at the US v. Google ruling, and say it will do little to alter Google's dominance of the ad market (Ronan Shields/Digiday)
https://digiday.com/media-buying/angry

Angry and disappointed, if not surprised: The ad industry reacts to the Google search remedies ruling 
The industry reacts to the ruling that Google will not have to divest Android or Chrome in latest antitrust development

Apple responds to the DOJ's antitrust lawsuit from March 2024, saying it sets "a dangerous precedent" and "threatens the very principles that set iPhone apart" (Chance Miller/9to5Mac)
https://9to5mac.com/2025/07/29/apple-doj-lawsuit-answer-iphone/

Apple slams DOJ lawsuit: ’threatens the very principles that set iPhone apart’ - 9to5Mac
The US Department of Justice formally sued Apple in March 2024, accusing the company of having a “smartphone monopoly.” Apple...

AnnoGram: An Annotative Grammar of Graphics Extension
Md Dilshadur Rahman, Md Rahat-uz- Zaman, Andrew McNutt, Paul Rosen
https://arxiv.org/abs/2507.04236 h…

AnnoGram: An Annotative Grammar of Graphics Extension
Annotations are central to effective data communication, yet most visualization tools treat them as secondary constructs -- manually defined, difficult to reuse, and loosely coupled to the underlying visualization grammar. We propose a declarative extension to Wilkinson's Grammar of Graphics that reifies annotations as first-class design elements, enabling structured specification of annotation targets, types, and positioning strategies. To demonstrate the utility of our approach, we develop a …

VisFinEval: A Scenario-Driven Chinese Multimodal Benchmark for Holistic Financial Understanding
Zhaowei Liu, Xin Guo, Haotian Xia, Lingfeng Zeng, Fangqi Lou, Jinyi Niu, Mengping Li, Qi Qi, Jiahuan Li, Wei Zhang, Yinglong Wang, Weige Cai, Weining Shen, Liwen Zhang
https://arxiv.org/abs/2508.09641

VisFinEval: A Scenario-Driven Chinese Multimodal Benchmark for Holistic Financial Understanding
Multimodal large language models (MLLMs) hold great promise for automating complex financial analysis. To comprehensively evaluate their capabilities, we introduce VisFinEval, the first large-scale Chinese benchmark that spans the full front-middle-back office lifecycle of financial tasks. VisFinEval comprises 15,848 annotated question-answer pairs drawn from eight common financial image modalities (e.g., K-line charts, financial statements, official seals), organized into three hierarchical sc…

Just Put a Human in the Loop? Investigating LLM-Assisted Annotation for Subjective Tasks
Hope Schroeder, Deb Roy, Jad Kabbara
https://arxiv.org/abs/2507.15821

Just Put a Human in the Loop? Investigating LLM-Assisted Annotation for Subjective Tasks
LLM use in annotation is becoming widespread, and given LLMs' overall promising performance and speed, simply "reviewing" LLM annotations in interpretive tasks can be tempting. In subjective annotation tasks with multiple plausible answers, reviewing LLM outputs can change the label distribution, impacting both the evaluation of LLM performance, and analysis using these labels in a social science task downstream. We conducted a pre-registered experiment with 410 unique annotators and over 7,000…

Bangla-Bayanno: A 52K-Pair Bengali Visual Question Answering Dataset with LLM-Assisted Translation Refinement
Mohammed Rakibul Hasan, Rafi Majid, Ahanaf Tahmid
https://arxiv.org/abs/2508.19887

Bangla-Bayanno: A 52K-Pair Bengali Visual Question Answering Dataset with LLM-Assisted Translation Refinement
In this paper, we introduce Bangla-Bayanno, an open-ended Visual Question Answering (VQA) Dataset in Bangla, a widely used, low-resource language in multimodal AI research. The majority of existing datasets are either manually annotated with an emphasis on a specific domain, query type, or answer type or are constrained by niche answer formats. In order to mitigate human-induced errors and guarantee lucidity, we implemented a multilingual LLM-assisted translation refinement pipeline. This datas…