Tootfinder

@… Same!
I think this is most professionals, right?
And I think a lot of them are very underserved. They mostly make their own software, in Excel, which I think is wonderful, but it’s a tool with limitations.
I personally would love to expand on that, making it easier for them to make their own software, collaboratively, with fewer const…

Boosting Vulnerability Detection with Inter-function Multilateral Association Insights
Shaojian Qiu, Mengyang Huang, Jiahao Cheng
https://arxiv.org/abs/2506.21014

Boosting Vulnerability Detection with Inter-function Multilateral Association Insights
Vulnerability detection is a crucial yet challenging technique for ensuring the security of software systems. Currently, most deep learning-based vulnerability detection methods focus on stand-alone functions, neglecting the complex inter-function interrelations, particularly the multilateral associations. This oversight can fail to detect vulnerabilities in these interrelations. To address this gap, we present an Inter-Function Multilateral Association analysis framework for Vulnerability Dete…

Why is everything on the cloud these days?
I’m kind of getting tired of every piece of professional and business software being a SaaS or cloud-based solution these days.
I have a good computer, it can run a lot of complex programs on it locally. I wish I had the option to do so.
Not everything needs to be synced 24/7. And I’d much rather have some tools include a cloud sync functionality that backs up changes with some kind of regular frequency for version control and cross-device access, but otherwise runs on my device.
These days, when I’m trying to go work somewhere without an internet connection or am traveling and have spotty data - I can’t access 90% of my work. Files don’t back up locally even when there’s a native desktop client app. Why?
It feels wasteful, sending so much data to the internet and back with constantly required online sync and web apps.
I feel nostalgic now, remembering the days of software that would require buying a license every couple of years, that would run on your device and could be accessed even from the top of a remote mountain if you wished, and that didn’t log you out every other week.
#tech #software

Performance Evaluation and Threat Mitigation in Large-scale 5G Core Deployment
Rodrigo Moreira, Larissa F. Rodrigues Moreira, Fl\'avio de Oliveira Silva
https://arxiv.org/abs/2507.17850

Performance Evaluation and Threat Mitigation in Large-scale 5G Core Deployment
The deployment of large-scale software-based 5G core functions presents significant challenges due to their reliance on optimized and intelligent resource provisioning for their services. Many studies have focused on analyzing the impact of resource allocation for complex deployments using mathematical models, queue theories, or even Artificial Intelligence (AI). This paper elucidates the effects of chaotic workloads, generated by Distributed Denial of Service (DDoS) on different Network Functi…

@… In my mind, there are librarians, accountants/bookkeepers, civil servants, small shop owners, conveyancers and other low-stakes solicitors, farmers, town planners… most of the people I have met who fit these job descriptions tend to work slowly, methodically, and well.
I actually think most programmers and other software professionals work slowly…

Optimized auxiliary functions for robust mitigation of finite-size errors in periodic hybrid density functional theory
Stephen Jon Quiton, Juan D. F. Pottecher, Xin Xing, Martin Head-Gordon, Lin Lin
https://arxiv.org/abs/2506.19157

Optimized auxiliary functions for robust mitigation of finite-size errors in periodic hybrid density functional theory
When calculating properties of periodic systems at the thermodynamic limit (TDL), the dominant source of finite size error (FSE) arises from the long-range Coulomb interaction, and can manifest as a slowly converging quadrature error when approximating an integral in the reciprocal space by a finite sum. The singularity subtraction (SS) method offers a systematic approach for reducing this quadrature error and thus the FSE. In this work, we first investigate the performance of the SS method in …

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Beniamino Accattoli (Inria & LIX, \'Ecole Polytechnique), Dan Ghica (Huawei Central Software Institute, University of Birmingham), Giulio Guerrieri (University of Sussex), Cl\'audio Belo Louren\c{c}o (Huawei Central Software Institute), Claudio Sacerdoti Coen (Universit\`a di Bologna)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Closure conversion is a program transformation at work in compilers for functional languages to turn inner functions into global ones, by building closures pairing the transformed functions with the environment of their free variables. Abstract machines rely on similar and yet different concepts of closures and environments. In this paper, we study the relationship between the two approaches. We adopt a very simple λ-calculus with tuples as source language and study abstract machines for bot…

Ink & Switch, on “malleable software”.
https://www.inkandswitch.com/essay/malleable-software/
This is software that can be manipulated by a user. The software itself, not just the document.
I’m reminded of Houyhnhnm Computing (

NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition
Le Deng, Zhonghao Jiang, Jialun Cao, Michael Pradel, Zhongxin Liu
https://arxiv.org/abs/2507.18130

NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition
Natural language-driven no-code development allows users to specify software functionality using natural language (NL) instead of editing source code, promising increased productivity and democratized development. Large language models (LLMs) show potential in enabling this paradigm. In this context, software documentation acts as an NL specification for functionality. This work introduces NoCode-bench, a benchmark designed to evaluate LLMs on real-world NL-driven feature addition tasks, consis…

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
Shan Jiang, Pranoy Kovuri, David Tao, Zhixun Tan
https://arxiv.org/abs/2507.17691 https://

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
Software obfuscation, particularly prevalent in JavaScript, hinders code comprehension and analysis, posing significant challenges to software testing, static analysis, and malware detection. This paper introduces CASCADE, a novel hybrid approach that integrates the advanced coding capabilities of Gemini with the deterministic transformation capabilities of a compiler Intermediate Representation (IR), specifically JavaScript IR (JSIR). By employing Gemini to identify critical prelude functions,…