Tootfinder

"How to get the most out of tech while freeing ourselves from the lunatics in Silicon Valley"
Says Ian Dunt in his article on a corporate Substack page linked from his block-chain owned Bluesky account.
He does so without using the words "Fedi" "blog", "decentralize" "open source", "free software", or "mastodon", and while calling Facebook and Instagram "seemingly more benign".
There must be a form of moderate tech disinvestment, which allows us the things we benefit from while removing the things which harm us.
He pleads, admitting
I have no answers for this
Yeah, no kidding.
But he has stopped using Amazon so much and buys more DVDs now, and tries to use a tablet more than a phone!?
Well done I guess.

Do AI models help produce verified bug fixes?
Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer
https://arxiv.org/abs/2507.15822

Do AI models help produce verified bug fixes?
Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic Program Repair (APR), the production of satisfactory corrections to software bugs. Does this expectation materialize in practice? How do we find out, making sure that proposed corrections actually work? If programmers have access to LLMs, how do they actually use them to complement their own skills? To answer these q…

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.

woke up an hour early. wandered into the woods. except for the slope with the spider. i gotta wait 15 minutes before the gender therapist joins the call. i forgot my water bottle. my clothes just feel alien as always.
he's a trans guy with this gay pride flag sorta-ribbon around his neck. i talk into my headphones like an old school telephone cause i wanna know how my voice sounds. while i have effective answers prepared to all cis people questions on my laptop (most people involv…

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

Genuine multi-entropy and holography
Is bipartite entanglement sufficient for holography? Through the analysis of the Markov gap, it is known that the answer is no. In this paper, we give a new perspective on this issue from a different angle using a multi-entropy. We define a genuine $\mathtt{q}$-partite multi-entropy from a $\mathtt{q}$-partite multi-entropy by subtracting appropriate linear combinations of $\mathtt{\tilde{q}}$-partite multi-entropies for $\mathtt{\tilde{q}} < \mathtt{q}$, in such a way that the genuine $\mathtt…

Incredibly, with 30 hours to go, @… are less than €8500 from their stretch target of €75,000.
Part of the motivation of this drive was, as far as I can tell, to see if the #fediverse actually liked @… and their software, guess we know the answer to that one now then...
Bravo #Fedizens...
And Bravo #Framasoft for all your #FOSS work..
👏👏👏
https://support.joinpeertube.org/en/

A Data Science Approach to Calcutta High Court Judgments: An Efficient LLM and RAG-powered Framework for Summarization and Similar Cases Retrieval
Puspendu Banerjee, Aritra Mazumdar, Wazib Ansar, Saptarsi Goswami, Amlan Chakrabarti
https://arxiv.org/abs/2507.01058

A Data Science Approach to Calcutta High Court Judgments: An Efficient LLM and RAG-powered Framework for Summarization and Similar Cases Retrieval
The judiciary, as one of democracy's three pillars, is dealing with a rising amount of legal issues, needing careful use of judicial resources. This research presents a complex framework that leverages Data Science methodologies, notably Large Language Models (LLM) and Retrieval-Augmented Generation (RAG) techniques, to improve the efficiency of analyzing Calcutta High Court verdicts. Our framework focuses on two key aspects: first, the creation of a robust summarization mechanism that distills…

High Precision RF Pulse Shaping with Direct RF Sampling for Future Linear Accelerators
Chao Liu, Ankur Dhar, Ryan Herbst, Emilio A. Nanni
https://arxiv.org/abs/2505.22872

High Precision RF Pulse Shaping with Direct RF Sampling for Future Linear Accelerators
In various of particle accelerator designs, amplitude and phase modulation methods are commonly applied to shape the RF pulses for implementing pulse compressors or compensating for the fluctuations introduced by the high-power RF components and beam loading effects. Phase modulations are typically implemented with additional phase shifters that require drive or control electronics. With our recent next-generation LLRF (NG-LLRF) platform developed based on direct RF sampling technology of RF sy…