Tootfinder

Two dimensional integral representations via branches of the Bruhat-Tits tree
Bruno Aguil\'o-Vidal, Luis Arenas-Carmona, Mat\'ias Saavedra-Lagos
https://arxiv.org/abs/2506.05661

Two dimensional integral representations via branches of the Bruhat-Tits tree
We apply the theory of branches in Bruhat-Tits trees, developed in previous works by the second author and others, to the study of two dimensional representations of finite groups over the ring of integers of a number field. We provide a general strategy to perform these computations, and we give explicit formulas for some particular families.

In a few days I’ll have a CSV/json of exported Cryptpad answers for some kind of census. Are there any open source softwares out there that make analysing these kind of stuff easier?
Instead of just like opening it on a fucking libreoffice spreadsheet or something.
Ideally it’d give me like the amount of people who selected each option on a question, same for written ones (being able to set aliases like “abcd = ABCD” and “Guix = GNU Guix” bc people can’t be consistent when answering polls), with the ability to understand comma-separated replies to those questions as if they were multiple selections on a checkbox question).
Maybe being able to generate some graphs too, but at least giving me a list with like “question1, reply1, amount” for each so I can easily make graphs myself.

Understanding Underrepresented Groups in Open Source Software
Reydne Santos, Rafa Prado, Ana Paula de Holanda Silva, Kiev Gama, Fernando Castor, Ronnie de Souza Santos
https://arxiv.org/abs/2506.00142

Understanding Underrepresented Groups in Open Source Software
Context: Diversity can impact team communication, productivity, cohesiveness, and creativity. Analyzing the existing knowledge about diversity in open source software (OSS) projects can provide directions for future research and raise awareness about barriers and biases against underrepresented groups in OSS. Objective: This study aims to analyze the knowledge about minority groups in OSS projects. We investigated which groups were studied in the OSS literature, the study methods used, their im…

Concentration of the maximum size of an induced subtree in moderately sparse random graphs
J. C. Buitrago Oropeza
https://arxiv.org/abs/2506.02801 https://…

Concentration of the maximum size of an induced subtree in moderately sparse random graphs
Kamaldinov, Skorkin, and Zhukovskii proved that the maximum size of an induced subtree in the binomial random graph $G(n,p)$ is concentrated at two consecutive points, whenever $p\in(0,1)$ is a constant. Using improved bounds on the second moment of the number of induced subtrees, we show that the same result holds when $n^{-\frac{e-2}{3e-2}+\varepsilon}\leq p=o(1)$.

Sources: Xiaomi is among the Chinese tech companies most impacted by new US chip design export rules, affecting its new 3nm mobile chip made by TSMC in Taiwan (Financial Times)
https://www.ft.com/content/2b0a0000-1bf6-475a-ac96-c17212afecc2

Xiaomi among Chinese tech groups set to be hardest hit by US chip software ban
Companies may struggle to manufacture silicon in Taiwan with export controls preventing updates to design tools

Challenges in designing research infrastructure software in multi-stakeholder contexts
Stephan Druskat, Sabine Theis
https://arxiv.org/abs/2506.01492 https…

Challenges in designing research infrastructure software in multi-stakeholder contexts
This study investigates the challenges in designing research infrastructure software for automated software publication in multi-stakeholder environments, focusing specifically on the HERMES system. Through two quantitative surveys of research software engineers (RSEs) and infrastructure facility staff (IFs), it examines technical, organizational, and social requirements across these stakeholder groups. The study reveals significant differences in how RSEs and IFs prioritize various system feat…

So, I try to #SelfHost AI software and :picardfacepalm:. My old AMD Graphic card is not compatible so I decided to buy a newer one #nividia for maximum compatibility. But... for AI:
The best one is prohibitedly expensive;
the second best one is not being sold new nor used;
t…

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

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
We have introduced continuous algebra as the algebraic semantics for Continuous Propositional Logic (CPL). A Continuous algebra is an MV-algebra together with an unary operator $κ$, analogous to the unary connective $\dfrac{1}{2}$ in CPL. We establish structural results, including the subdirect representation theorem. We also introduce $\ell u^*$-groups, which are lattice ordered groups with strong unit $u$, denoted by $\ell u$-groups, with a partial operator $^*$ that mimics the behavior of $…

Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs
Nguyen-Khang Le, Quan Minh Bui, Minh Ngoc Nguyen, Hiep Nguyen, Trung Vo, Son T. Luu, Shoshin Nomura, Minh Le Nguyen
https://arxiv.org/abs/2506.02529

Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs
Web applications are critical to modern software ecosystems, yet ensuring their reliability remains challenging due to the complexity and dynamic nature of web interfaces. Recent advances in large language models (LLMs) have shown promise in automating complex tasks, but limitations persist in handling dynamic navigation flows and complex form interactions. This paper presents an automated system for generating test cases for two key aspects of web application testing: site navigation and form …

How to Elicit Explainability Requirements? A Comparison of Interviews, Focus Groups, and Surveys
Martin Obaidi, Jakob Droste, Hannah Deters, Marc Herrmann, Raymond Ochsner, Jil Kl\"under, Kurt Schneider
https://arxiv.org/abs/2505.23684

How to Elicit Explainability Requirements? A Comparison of Interviews, Focus Groups, and Surveys
As software systems grow increasingly complex, explainability has become a crucial non-functional requirement for transparency, user trust, and regulatory compliance. Eliciting explainability requirements is challenging, as different methods capture varying levels of detail and structure. This study examines the efficiency and effectiveness of three commonly used elicitation methods - focus groups, interviews, and online surveys - while also assessing the role of taxonomy usage in structuring a…