Tootfinder

"Academic Libraries Need a New Value Proposition" @ Katina magazine:
https://katinamagazine.org/content/article/future-of-work/2025/academic-libraries-need-a-new-value-proposition
"The eli…

Limn Issue 12: Climate's Interiors is out now online and in print.
Read anywhere with the link below.
https://limn.press/issue/climates-interiors/

Climate's Interiors - Limn
We tend to think about climate solutions from the exterior. Mitigating emissions, climate-proofing crops, erecting solar panels and windmills. But what happens when we shift our perspective? What if we think of climate change from inside cells, bodies, buildings, and systems? This issue of Limn takes the interior as a counterintuitive starting point for thinking about planetary change. Our proposition: Thinking from the interior fundamentally shifts how we understand our warming world and, cruc…

ChatbotManip: A Dataset to Facilitate Evaluation and Oversight of Manipulative Chatbot Behaviour
Jack Contro, Simrat Deol, Yulan He, Martim Brand\~ao
https://arxiv.org/abs/2506.12090

ChatbotManip: A Dataset to Facilitate Evaluation and Oversight of Manipulative Chatbot Behaviour
This paper introduces ChatbotManip, a novel dataset for studying manipulation in Chatbots. It contains simulated generated conversations between a chatbot and a (simulated) user, where the chatbot is explicitly asked to showcase manipulation tactics, persuade the user towards some goal, or simply be helpful. We consider a diverse set of chatbot manipulation contexts, from consumer and personal advice to citizen advice and controversial proposition argumentation. Each conversation is annotated b…

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09458

Syntactic Effectful Realizability in Higher-Order Logic
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that handles realizability as a syntactic translation of propositions into new propositions that describe what it means to realize the input proposition. This paper introduces EffHOL (Effectful Higher-Order Logic), a novel framework that expands syntactic realizability to uniformly support modern programming paradigms with sid…

Hierarchical Lexical Graph for Enhanced Multi-Hop Retrieval
Abdellah Ghassel, Ian Robinson, Gabriel Tanase, Hal Cooper, Bryan Thompson, Zhen Han, Vassilis N. Ioannidis, Soji Adeshina, Huzefa Rangwala
https://arxiv.org/abs/2506.08074

Hierarchical Lexical Graph for Enhanced Multi-Hop Retrieval
Retrieval-Augmented Generation (RAG) grounds large language models in external evidence, yet it still falters when answers must be pieced together across semantically distant documents. We close this gap with the Hierarchical Lexical Graph (HLG), a three-tier index that (i) traces every atomic proposition to its source, (ii) clusters propositions into latent topics, and (iii) links entities and relations to expose cross-document paths. On top of HLG we build two complementary, plug-and-play ret…

This https://arxiv.org/abs/2506.00140 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Balancing Profit and Fairness in Risk-Based Pricing Markets
Dynamic, risk-based pricing can systematically exclude vulnerable consumer groups from essential resources such as health insurance and consumer credit. We show that a regulator can realign private incentives with social objectives through a learned, interpretable tax schedule. First, we provide a formal proposition that bounding each firm's \emph{local} demographic gap implicitly bounds the \emph{global} opt-out disparity, motivating firm-level penalties. Building on this insight we introduce …

Philippe Defeyt, Š propos de la suppression des allocations au delŠ du 4ème enfant: "Dans le lot, les familles avec suppléments sociaux, donc les plus pauvres, seraient surreprésentées"
#begov #Belgique

This https://arxiv.org/abs/2503.05532 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…

Impact of adiabatic temperature fluctuations on the power spectrum of axion density perturbations
Axions and axion-like particles (ALPs) have gained substantial attention as potential candidates for cold dark matter. The ALP field can exhibit fluctuations stemming from initial conditions. These initial field fluctuations hold the potential to give rise to gravitationally bound configurations known as axion miniclusters (AMC). While this proposition is widely accepted in the post-inflationary Peccei-Quinn symmetry-breaking scenario, uncertainties persist regarding the pre-inflationary scenar…

How would NFL star Micah Parsons fare against MLB pitching? https://www.mlb.com/news/justin-tuck-micah-parsons-hitting-mlb-pitching

This https://arxiv.org/abs/2505.12583 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

A Comprehensive Survey on Physical Risk Control in the Era of Foundation Model-enabled Robotics
Recent Foundation Model-enabled robotics (FMRs) display greatly improved general-purpose skills, enabling more adaptable automation than conventional robotics. Their ability to handle diverse tasks thus creates new opportunities to replace human labor. However, unlike general foundation models, FMRs interact with the physical world, where their actions directly affect the safety of humans and surrounding objects, requiring careful deployment and control. Based on this proposition, our survey co…

Thread and Memory-Safe Programming with CLASS
Lu\'is Caires (Instituto Superior T\'ecnico)
https://arxiv.org/abs/2505.20848 https://

Thread and Memory-Safe Programming with CLASS
CLASS is a proof-of-concept general purpose linear programming language, flexibly supporting realistic concurrent programming idioms, and featuring an expressive linear type system ensuring that programs (1) never misuse or leak stateful resources or memory, (2) never deadlock, and (3) always terminate. The design of CLASS and the strong static guarantees of its type system originates in its Linear Logic and proposition-as-types foundations. However, instead of focusing on its theoretical found…

Très bonne idée cette carte pour recenser des aidants Š l'installation et prise en main de linux : https://aidelinux.gogocarto.fr
Un des repair cafés dont je suis membre est chaud pour ma proposition d'organiser des sessions de découverte et install parties Š l'ancienne, pour toutes…

Parrains et Marraines Linux
Ne jetez pas votre PC sur Windows 10, faites en une bête de course avec le système d'exploitation Gnu/Linux, les parrains / marraines présents sur cette carte peuvent vous aider. Contactez-les !

Impact of Rankings and Personalized Recommendations in Marketplaces
Omar Besbes, Yash Kanoria, Akshit Kumar
https://arxiv.org/abs/2506.03369 https://

Impact of Rankings and Personalized Recommendations in Marketplaces
Individuals often navigate several options with incomplete knowledge of their own preferences. Information provisioning tools such as public rankings and personalized recommendations have become central to helping individuals make choices, yet their value proposition under different marketplace environments remains unexplored. This paper studies a stylized model to explore the impact of these tools in two marketplace settings: uncapacitated supply, where items can be selected by any number of a…

Balancing Profit and Fairness in Risk-Based Pricing Markets
Jesse Thibodeau, Hadi Nekoei, Afaf Ta\"ik, Janarthanan Rajendran, Golnoosh Farnadi
https://arxiv.org/abs/2506.00140

Balancing Profit and Fairness in Risk-Based Pricing Markets
Dynamic, risk-based pricing can systematically exclude vulnerable consumer groups from essential resources such as health insurance and consumer credit. We show that a regulator can realign private incentives with social objectives through a learned, interpretable tax schedule. First, we provide a formal proposition that bounding each firm's \emph{local} demographic gap implicitly bounds the \emph{global} opt-out disparity, motivating firm-level penalties. Building on this insight we introduce …