Tootfinder

I feel very seen here: I also write directly into the CMS.
(Original title: A Salute To The 13%)
https://aftermath.site/godot-version-control-statistics-cms

A Salute To The 13% - Aftermath
Let them live a little

Symbolic Control: Unveiling Free Robustness Margins
Youssef Ait Si, Antoine Girard, Adnane Saoud
https://arxiv.org/abs/2507.12339 https://

Symbolic Control: Unveiling Free Robustness Margins
This paper addresses the challenge of ensuring robustness in the presence of system perturbations for symbolic control techniques. Given a discrete-time control system that is related to its symbolic model by an alternating simulation relation. In this paper, we focus on computing the maximum robustness margin under which the symbolic model remains valid for a perturbed-version of the discrete-time control system. We first show that symbolic models are inherently equipped with a certain free ro…

Mgmt: We don't have the resources to make our own LLM. Can we just monetize AI prompts?
Business School Student: Hold my beer 🍺
#blockchain

PromptChain: A Decentralized Web3 Architecture for Managing AI Prompts as Digital Assets
We present PromptChain, a decentralized Web3 architecture that establishes AI prompts as first-class digital assets with verifiable ownership, version control, and monetization capabilities. Current centralized platforms lack mechanisms for proper attribution, quality assurance, or fair compensation for prompt creators. PromptChain addresses these limitations through a novel integration of IPFS for immutable storage, smart contracts for governance, and token incentives for community curation. O…

General Decentralized Stochastic Optimal Control via Change of Measure: Applications to the Witsenhausen Counterexample
Bhagyashri Telsang, Seddik Djouadi, Charalambos D. Charalambous
https://arxiv.org/abs/2509.11013

General Decentralized Stochastic Optimal Control via Change of Measure: Applications to the Witsenhausen Counterexample
In this paper we present global and person-by-person (PbP) optimality conditions for general decentralized stochastic dynamic optimal control problems, using a discrete-time version of Girsanov's change of measure. The PbP optimality conditions are applied to the Witsenhausen counterexample to show that the two strategies satisfy two coupled nonlinear integral equations. Further, we prove a fixed point theorem in a function space, establishing existence and uniqueness of solutions to the integr…

Altered Histories in Version Control System Repositories: Evidence from the Trenches
Solal Rapaport (IP Paris, LTCI, ACES, INFRES), Laurent Pautet (INFRES, LTCI, ACES, IP Paris), Samuel Tardieu (INFRES, ACES, IP Paris, LTCI), Stefano Zacchiroli (IP Paris, LTCI, ACES, INFRES)
https://arxiv.org/abs/2509.09294…

Altered Histories in Version Control System Repositories: Evidence from the Trenches
Version Control Systems (VCS) like Git allow developers to locally rewrite recorded history, e.g., to reorder and suppress commits or specific data in them. These alterations have legitimate use cases, but become problematic when performed on public branches that have downstream users: they break push/pull workflows, challenge the integrity and reproducibility of repositories, and create opportunities for supply chain attackers to sneak into them nefarious changes. We conduct the first large-sc…

The ngscopeclient team is excited to announce our first official release, version 0.1, after many years of development.
This release includes contributions from 77 people across the globe and supports instruments from 23 vendors, running on all major operating systems.
https://www.ngscopec…

The Mina the Hollower demo is now on Xbox (only until September 30!) so even though I played the demo some on the Switch, I figured I'd try some of this Xbox version on the Series X at lunch, and glad I did. Nice to use a controller for it instead of Switch joycons, for one. I guess I could've put the Switch version on the TV and used the wireless PowerA controller with it. But oh well. Anyway, if you have an Xbox, you should try this game, it's a blast. The full version comes ou…

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Grigory Kondyrev, David I. Spivak
https://arxiv.org/abs/2509.05462 https…

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Hasegawa showed that control flow in programming languages -- while loops and if-then-else statements -- can be modeled using traced cocartesian categories, such as the category $\mathbf{Set}_*$ of pointed sets. In this paper we define an operad $\mathscr{W}$ of wiring diagrams that provides syntax for categories whose control flow moreover includes data transformations, including deleting, duplicating, permuting, and applying pre-specified functions to variables. In the most basic version, the…

Feedback Control of a Single-Tail Bioinspired 59-mg Swimmer
Conor K. Trygstad, Cody R. Longwell, Francisco M. F. R. Gon\c{c}alves, Elijah K. Blankenship, N\'estor O. P\'erez-Arancibia
https://arxiv.org/abs/2508.07566

Feedback Control of a Single-Tail Bioinspired 59-mg Swimmer
We present an evolved steerable version of the single-tail Fish-&-Ribbon-Inspired Small Swimming Harmonic roBot (FRISSHBot), a 59-mg biologically inspired swimmer, which is driven by a new shape-memory alloy (SMA)-based bimorph actuator. The new FRISSHBot is controllable in the two-dimensional (2D) space, which enabled the first demonstration of feedback-controlled trajectory tracking of a single-tail aquatic robot with onboard actuation at the subgram scale. These new capabilities are the resu…

Learning to control inexact Benders decomposition via reinforcement learning
Zhe Li, Bernard T. Agyeman, Ilias Mitrai, Prodromos Daoutidis
https://arxiv.org/abs/2508.06700 https…

Learning to control inexact Benders decomposition via reinforcement learning
Benders decomposition (BD), along with its generalized version (GBD), is a widely used algorithm for solving large-scale mixed-integer optimization problems that arise in the operation of process systems. However, the off-the-shelf application to online settings can be computationally inefficient due to the repeated solution of the master problem. An approach to reduce the solution time is to solve the master problem to local optimality. However, identifying the level of suboptimality at each i…

Test Automatically - Test improvements against current setup with intelligent #AB testing and performance comparison 🎛️ Control What Goes Live - Review auto-generated fixes, approve changes, and roll back if needed with full control ✍️ Version Everything - Complete version

Israel’s defense minister has outlined plans to pack hundreds of thousands of Palestinians into a closed zone of the Gaza Strip along the border with Egypt
https://apnews.com/article/israel-palestinians-hamas-war-gaza-displaceme…

Israel outlines plans to pack Gaza's population into a closed border zone
Israeli media reports that the country’s defense minister has outlined plans to pack hundreds of thousands of Palestinians into a closed zone of the Gaza Strip along the border with Egypt. It appears to be the latest version of plans by the Israeli government to maintain lasting control over the territory and relocate much of its population of some 2 million. Critics say that would amount to forcible displacement in violation of international law because Israel’s offensive and blockade have…

US senators reintroduce the bipartisan Open App Markets Act to challenge Apple's and Google's grip on app stores; the 2021 version never made it to a floor vote (Amber Neely/AppleInsider)
https://appleinsider.com/articles/25/0

Bipartisan Open App Markets Act revived to challenge Apple's App Store control
Big Tech's grip on the app economy is under fire again as lawmakers reintroduce the bipartisan "Open App Markets Act" aimed at breaking Apple and Google's app store dominance.

Sony-Kamerasteuerung kommt auf den Mac – mit dickem Pferdefuß
Die App Monitor & Control, mit der man teure Alphas von Sony steuern kann, bekam viel Lob. Mit der brandneuen macOS-Version zieht sich der Konzern Kritik zu.

Marlin: Efficient Coordination for Autoscaling Cloud DBMS (Extended Version)
Wenjie Hu, Guanzhou Hu, Mahesh Balakrishnan, Xiangyao Yu
https://arxiv.org/abs/2508.01931 https://…

Marlin: Efficient Coordination for Autoscaling Cloud DBMS (Extended Version)
Modern cloud databases are shifting from converged architectures to storage disaggregation, enabling independent scaling and billing of compute and storage. However, cloud databases still rely on external, converged coordination services (e.g., ZooKeeper) for their control planes. These services are effectively lightweight databases optimized for low-volume metadata. As the control plane scales in the cloud, this approach faces similar limitations as converged databases did before storage disag…

Differential Dynamic Programming for the Optimal Control Problem with an Ellipsoidal Target Set and Its Statistical Inference
Sungjun Eom, Gyunghoon Park
https://arxiv.org/abs/2509.07546

Differential Dynamic Programming for the Optimal Control Problem with an Ellipsoidal Target Set and Its Statistical Inference
This work addresses an extended class of optimal control problems where a target for a system state has the form of an ellipsoid rather than a fixed, single point. As a computationally affordable method for resolving the extended problem, we present a revised version of the differential dynamic programming (DDP), termed the differential dynamic programming with ellipsoidal target set (ETS-DDP). To this end, the problem with an ellipsoidal target set is reformulated into an equivalent form with …

Understanding BBRv3 Performance in AQM-Enabled WiFi Networks
Shyam Kumar Shrestha, Jonathan Kua, Shiva Raj Pokhrel
https://arxiv.org/abs/2509.06245 https://

Understanding BBRv3 Performance in AQM-Enabled WiFi Networks
We present a modular experimental testbed and lightweight visualization tool for evaluating TCP congestion control performance in wireless networks. We compare Google's latest Bottleneck Bandwidth and Round-trip time version 3 (BBRv3) algorithm with loss-based CUBIC under varying Active Queue Management (AQM) schemes, namely PFIFO, FQ-CoDel, and CAKE, on a Wi-Fi link using a commercial MikroTik router. Our real-time dashboard visualizes metrics such as throughput, latency, and fairness across c…

Qwen-Image-Edit: Image Editing with Higher Quality and Efficiency
https://qwenlm.github.io/blog/qwen-image-edit/?utm_source=www.the…

Mind the jumps: when 2BSDEs meet semi-martingales
Dylan Possama\"i, Marco Rodrigues, Alexandros Saplaouras
https://arxiv.org/abs/2507.01767 https://…

Mind the jumps: when 2BSDEs meet semi-martingales
We construct an aggregated version of the value processes associated with stochastic control problems, where the criterion to optimise is given by solutions to semi-martingale backward stochastic differential equations (BSDEs). The results can be applied to control problems where the triplet of semi-martingale characteristics is controlled in a possibly non-dominated case or where uncertainty about the characteristics is present in the optimisation. The construction also provides a time-consist…

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
Sasinee Pruekprasert, Clovis Eberhart
https://arxiv.org/abs/2509.08343 h…

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
A key challenge in abstraction-based verification and control under complex specifications such as Linear Temporal Logic (LTL) is that abstract models retain significantly less information than their original systems. This issue is especially true for continuous-time systems, where the system state trajectories are split into intervals of discrete actions, and satisfaction of atomic propositions is abstracted to a whole time interval. To tackle this challenge, this work introduces a novel trans…

Mission-Aligned Learning-Informed Control of Autonomous Systems: Formulation and Foundations
Vyacheslav Kungurtsev, Gustav Sir, Akhil Anand, Sebastien Gros, Haozhe Tian, Homayoun Hamedmoghadam
https://arxiv.org/abs/2507.04356

Mission-Aligned Learning-Informed Control of Autonomous Systems: Formulation and Foundations
Research, innovation and practical capital investment have been increasing rapidly toward the realization of autonomous physical agents. This includes industrial and service robots, unmanned aerial vehicles, embedded control devices, and a number of other realizations of cybernetic/mechatronic implementations of intelligent autonomous devices. In this paper, we consider a stylized version of robotic care, which would normally involve a two-level Reinforcement Learning procedure that trains a po…

from my link log —
What I've learned from jj.
https://zerowidth.com/2025/what-ive-learned-from-jj/
saved 2025-05-02 htt…

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

@… When I get back to Tremuloides (https://codeberg.org/ooble/tremuloides) I do kind of want to make it a backing store for file version control.

CyberArmor has a post up detailing abuse of the Vercel app development platform. Vercel is a legit tool that allows for the rapid creation of web applications. They have a free tier and unfortunately it gets abused. The free tier apps use the domain pattern *.vercel.app. I recommend blocking this domain and only allowing access to vetted sites using this domain name. Note that commercial sites using the Vercel platform will have their own domain names so your potential for collateral damage …

Private Queries with Sigma-Counting
Jun Gao, Jie Ding
https://arxiv.org/abs/2509.07018 https://arxiv.org/pdf/2509.07018

Private Queries with Sigma-Counting
Many data applications involve counting queries, where a client specifies a feasible range of variables and a database returns the corresponding item counts. A program that produces the counts of different queries often risks leaking sensitive individual-level information. A popular approach to enhance data privacy is to return a noisy version of the actual count. It is typically achieved by adding independent noise to each query and then control the total privacy budget within a period. This a…

Yume: An Interactive World Generation Model
Xiaofeng Mao, Shaoheng Lin, Zhen Li, Chuanhao Li, Wenshuo Peng, Tong He, Jiangmiao Pang, Mingmin Chi, Yu Qiao, Kaipeng Zhang
https://arxiv.org/abs/2507.17744

Yume: An Interactive World Generation Model
Yume aims to use images, text, or videos to create an interactive, realistic, and dynamic world, which allows exploration and control using peripheral devices or neural signals. In this report, we present a preview version of \method, which creates a dynamic world from an input image and allows exploration of the world using keyboard actions. To achieve this high-fidelity and interactive video world generation, we introduce a well-designed framework, which consists of four main components, incl…

The evolution of PUCHEROS from a basic to a competitive tool for stellar astrophysics
Luca Antonucci, Leonardo Vanzi, Abner Zapata, Mauricio Flores, Angelica Suarez, Rafael Brahm, Tzu Shen, Manuel Parra, Rafael Ormazabal, Gerardo Avila, Petr Kabath, Artie Hatzes, Pavol Gajdos, Marek Skarka, Jiri Zak, Petra Odert, Jozef Liptak, Robert Greimel, Martin Leitzinger
…

The evolution of PUCHEROS from a basic to a competitive tool for stellar astrophysics
We present PUCHEROS +, a new spectrograph developed as an enhanced version of PUCHEROS (Pontificia Universidad Catolica High Echelle Resolution Optical Spectrograph), which was the first high-resolution spectrograph built at the Pontificia Universidad Catolica de Chile (UC). With respect to its predecessor, PUCHEROS + includes a substantial number of improvements, mainly: a new scientific detector, improved objective optics, calibration system, guiding, active thermal control, and remote observ…

VArsity: Can Large Language Models Keep Power Engineering Students in Phase?
Samuel Talkington, Daniel K. Molzahn
https://arxiv.org/abs/2507.20995 https://…

VArsity: Can Large Language Models Keep Power Engineering Students in Phase?
This paper provides an educational case study regarding our experience in deploying ChatGPT Large Language Models (LLMs) in the Spring 2025 and Fall 2023 offerings of ECE 4320: Power System Analysis and Control at Georgia Tech. As part of course assessments, students were tasked with identifying, explaining, and correcting errors in the ChatGPT outputs corresponding to power factor correction problems. While most students successfully identified the errors in the outputs from the GPT-4 version …

If you haven't tried it yet, I definitely recommend checking Jujutsu Version Control System.
I literally heard about it two days ago, started reading through some tutorials, and already feel like this is something exciting and new in the VCS world. You can use it locally on any git repository you already have, since it uses git as the backend.
Anyone else in the team can keep on using git, and if you feel like it you can switch back to use git at any time.
`jj` feels in…

Robust feedback-based quantum optimization: analysis of coherent control errors
Mirko Legnini, Julian Berberich
https://arxiv.org/abs/2507.02532 https://…

Robust feedback-based quantum optimization: analysis of coherent control errors
The Feedback-based Algorithm for Quantum Optimization (FALQON) is a Lyapunov inspired quantum algorithm proposed to tackle combinatorial optimization problems. In this paper, we examine the robustness of FALQON against coherent control errors, a class of multiplicative errors that affect the control input. We show that the algorithm is asymptotically robust with respect to systematic errors, and we derive robustness bounds for independent errors. Finally, we propose a robust version of FALQON w…

Git Context Controller: Manage the Context of LLM-based Agents like Git
Junde Wu
https://arxiv.org/abs/2508.00031 https://arxiv.org/pdf/2508.00031

Git Context Controller: Manage the Context of LLM-based Agents like Git
Large language model (LLM) based agents have shown impressive capabilities by interleaving internal reasoning with external tool use. However, as these agents are deployed in long-horizon workflows, such as coding for a big, long-term project, context management becomes a critical bottleneck. We introduce Git-Context-Controller (GCC), a structured context management framework inspired by software version control systems. GCC elevates context as versioned memory hierarchy like Git. It structures…

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
Evanns Morales-Cuadrado, Luke Baird, Yorai Wardi, Samuel Coogan
https://arxiv.org/abs/2508.14185

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
We investigate the performance of a lightweight tracking controller, based on a flow version of the Newton-Raphson method, applied to a miniature blimp and a mid-size quadrotor. This tracking technique has been shown to enjoy theoretical guarantees of performance and has been applied with success in simulation studies and on mobile robots with simple motion models. This paper investigates the technique through real-world flight experiments on aerial hardware platforms subject to realistic deplo…

Frequency Domain Design of a Reset-Based Filter: An Add-On Nonlinear Filter for Industrial Motion Control
S. Ali Hosseini, Fabian R. Quinten, Luke F. van Eijk, Dragan Kostic, S. Hassan HosseinNia
https://arxiv.org/abs/2507.01491

Frequency Domain Design of a Reset-Based Filter: An Add-On Nonlinear Filter for Industrial Motion Control
This study introduces a modified version of the Constant-in-Gain, Lead-in-Phase (CgLp) filter, which incorporates a feedthrough term in the First-Order Reset Element (FORE) to reduce the undesirable nonlinearities and achieve an almost constant gain across all frequencies. A backward calculation approach is proposed to derive the additional parameter introduced by the feedthrough term, enabling designers to easily tune the filter to generate the required phase. The paper also presents an add-on…

AI-Powered Commit Explorer (APCE)
Yousab Grees, Polina Iaremchuk, Ramtin Ehsani, Esteban Parra, Preetha Chatterjee, Sonia Haiduc
https://arxiv.org/abs/2507.16063

AI-Powered Commit Explorer (APCE)
Commit messages in a version control system provide valuable information for developers regarding code changes in software systems. Commit messages can be the only source of information left for future developers describing what was changed and why. However, writing high-quality commit messages is often neglected in practice. Large Language Model (LLM) generated commit messages have emerged as a way to mitigate this issue. We introduce the AI-Powered Commit Explorer (APCE), a tool to support de…

Computing optimal policies for managing inventories with noisy observations
Eugene Feinberg, Jefferson Huang, Pavlo Kasyanov, Thomas O'Neill
https://arxiv.org/abs/2507.19765

Computing optimal policies for managing inventories with noisy observations
This paper implements the Deep Deterministic Policy Gradient (DDPG) algorithm for computing optimal policies for partially observable single-product periodic review inventory control problems with setup costs and backorders. The decision maker does not know the exact inventory level, but can obtain noise-corrupted observations of them. The goal is to maximize the expected total discounted costs incurred over a finite planning horizon. We also investigate the Gaussian version of this problem wit…

One-sample survival tests for non-proportional hazards in oncology clinical trial
Chlo\'e Szurewsky (U1018), Guosheng Yin (DSAS), Gw\'ena\"el Le Teuff (U1018)
https://arxiv.org/abs/2506.18608

One-sample survival tests for non-proportional hazards in oncology clinical trial
In oncology, well-powered time-to-event randomized clinical trials are challenging due to a limited number of patients (e.g, pediatric cancers or personalized medicine). Last decade, many one- or two-stage designs for single-arm trials (SATs) have emerged as an alternative to overcome this issue. These designs rely on the one-sample log-rank test (OSLRT) and its modified version (mOSLRT) to compare the survival curves of an experimental and an external control group under the proportional hazar…

Aperiodic-sampled neural network controllers with closed-loop stability verifications (extended version)
Renjie Ma, Zhijian Hu, Rongni Yang, Ligang Wu
https://arxiv.org/abs/2506.18386

Aperiodic-sampled neural network controllers with closed-loop stability verifications (extended version)
In this paper, we synthesize two aperiodic-sampled deep neural network (DNN) control schemes, based on the closed-loop tracking stability guarantees. By means of the integral quadratic constraint coping with the input-output behaviour of system uncertainties/nonlinearities and the convex relaxations of nonlinear DNN activations leveraging their local sector-bounded attributes, we establish conditions to design the event- and self-triggered logics and to compute the ellipsoidal inner approximati…

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
Huanting Wang, Jingzhi Gong, Huawei Zhang, Zheng Wang
https://arxiv.org/abs/2508.11126 https://

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
AI agentic programming is an emerging paradigm in which large language models (LLMs) autonomously plan, execute, and interact with external tools like compilers, debuggers, and version control systems to iteratively perform complex software development tasks. Unlike conventional code generation tools, agentic systems are capable of decomposing high-level goals, coordinating multi-step processes, and adapting their behavior based on intermediate feedback. These capabilities are transforming the …

Robust tracking MPC for perturbed nonlinear systems -- Extended version
Marco Polver, Daniel Limon, Fabio Previdi, Antonio Ferramosca
https://arxiv.org/abs/2508.14248 https://…

Robust tracking MPC for perturbed nonlinear systems -- Extended version
This paper presents a novel robust predictive controller for constrained nonlinear systems that is able to track piece-wise constant setpoint signals. The tracking model predictive controller presented in this paper extends the nonlinear MPC for tracking to the more complex case of nonlinear systems subject to bounded and not necessarily additive perturbations. The optimal control problem that is solved at each step penalizes the deviation of the predicted nominal system trajectory from an arti…