Tootfinder

C’est évidemment dommage pour les étudiants et étudiantes, mais je me demande s’il est vraiment « trop tôt pour réagir ».
Parce que les universités devraient se poser la question si elles sont prêtes Š s’engager Š faire le nécessaire en cas de refus d’entrée, d’arrestation ou d’expulsion d’un·e étudiant·e.
Et beaucoup des étudiant·e·s suisses sont de nationalité étrangère.

C’est évidemment dommage pour les étudiants et étudiantes, mais je me demande s’il est vraiment « trop tôt pour réagir ».
Parce que les universités devraient se poser la question si elles sont prêtes Š s’engager Š faire le nécessaire en cas de refus d’entrée, d’arrestation ou d’expulsion d’un·e étudiant·e.
Et beaucoup des étudiant·e·s suisses sont de nationalité étrangère.

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti (LSL), Fran\c{c}ois Bobot (LSL), Julien Girard-Satabin (LSL), Alban Grastien (LSL), Aymeric Varasse (LSL), Zakaria Chihani (LSL)
https://arxiv.org/abs/2506.12084

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
The formal specification and verification of machine learning programs saw remarkable progress in less than a decade, leading to a profusion of tools. However, diversity may lead to fragmentation, resulting in tools that are difficult to compare, except for very specific benchmarks. Furthermore, this progress is heavily geared towards the specification and verification of a certain class of property, that is, local robustness properties. But while provers are becoming more and more efficient at…

Impact of a Deployed LLM Survey Creation Tool through the IS Success Model
Peng Jiang, Vinicius Cezar Monteiro de Lira, Antonio Maiorino
https://arxiv.org/abs/2506.14809

Impact of a Deployed LLM Survey Creation Tool through the IS Success Model
Surveys are a cornerstone of Information Systems (IS) research, yet creating high-quality surveys remains labor-intensive, requiring both domain expertise and methodological rigor. With the evolution of large language models (LLMs), new opportunities emerge to automate survey generation. This paper presents the real-world deployment of an LLM-powered system designed to accelerate data collection while maintaining survey quality. Deploying such systems in production introduces real-world complex…

No Nowhere Continuous Function Maps all Non-Normal Numbers to Normal Numbers
Chokri Manai
https://arxiv.org/abs/2506.15422 https://ar…

No Nowhere Continuous Function Maps all Non-Normal Numbers to Normal Numbers
In this work, we consider the set of non-normal numbers $\mathcal{N}^c$ and ask if there is a non-empty open interval $I$ and a nowhere constant continuous function $ϕ: I \to \rr$ which maps all non-normal numbers to normal numbers, i.e., $φ(I \cap \mathcal{N}^c) \subset \mathcal{N}.$ We answer this question negatively. This result can be seen as a further manifestation of the richness of the null set $\mathcal{N}^c$. Surprisingly, the "bigger" set of normal numbers $\mathcal{N}$ does not sha…

Enhancing the prediction of publications' long-term impact using early citations, readerships, and non-scientific factors
Giovanni Abramo, Tindaro Cicero, Ciriaco Andrea D'Angelo
https://arxiv.org/abs/2506.15040

Enhancing the prediction of publications' long-term impact using early citations, readerships, and non-scientific factors
This study aims to improve the accuracy of long-term citation impact prediction by integrating early citation counts, Mendeley readership, and various non-scientific factors, such as journal impact factor, authorship and reference list characteristics, funding and open-access status. Traditional citation-based models often fall short by relying solely on early citations, which may not capture broader indicators of a publication's potential influence. By incorporating non-scientific predictors, …

Random organization criticality with long-range hydrodynamic interactions
Tristan Jocteur, Cesare Nardini, Eric Bertin, Romain Mari
https://arxiv.org/abs/2506.14330

Random organization criticality with long-range hydrodynamic interactions
Driven soft athermal systems may display a reversible-irreversible transition between an absorbing, arrested state and an active phase where a steady-state dynamics sets in. A paradigmatic example consists in cyclically sheared suspensions under stroboscopic observation, for which in absence of contacts during a shear cycle particle trajectories are reversible and the stroboscopic dynamics is frozen, while contacts lead to diffusive stroboscopic motion. The Random Organization Model (ROM), whic…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Erika de Casier:
🎵 Seasons
#ErikadeCasier
https://erikadecasier.bandcamp.com/track/seasons
https://open.spotify.com/track/5RBv4o9OW0v8NWVNrs5krA

Series B, Episode 11 - Gambit
TRAVIS: Oh, yes. I'm a hero, too.
CHENIE: So. You've saved his life twice. Why?
TRAVIS: It's my noble nature.
CHENIE: Oh, yes, Travis. I can see. It shines from your one yellow eye. Nobility?
https://blake.torpidity.net/m/211/140

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

CoQuIR: A Comprehensive Benchmark for Code Quality-Aware Information Retrieval
Jiahui Geng, Fengyu Cai, Shaobo Cui, Qing Li, Liangwei Chen, Chenyang Lyu, Haonan Li, Derui Zhu, Walter Pretschner, Heinz Koeppl, Fakhri Karray
https://arxiv.org/abs/2506.11066

CoQuIR: A Comprehensive Benchmark for Code Quality-Aware Information Retrieval
Code retrieval is essential in modern software development, as it boosts code reuse and accelerates debugging. However, current benchmarks primarily emphasize functional relevance while neglecting critical dimensions of software quality. Motivated by this gap, we introduce CoQuIR, the first large-scale, multilingual benchmark specifically designed to evaluate quality-aware code retrieval across four key dimensions: correctness, efficiency, security, and maintainability. CoQuIR provides fine-gra…