Tootfinder

Thread 👇 https://hachyderm.io/@shanselman/114792483463312848

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Björk:
🎵 Big Time Sensuality
#Björk
https://elusivewax.bandcamp.com/track/bj-rk-big-time-sensuality-stewart-essence-elusivewax-remix
https://open.spotify.com/track/5diiEB0edX69v9x3e96NyO

Some dropshipping company advertised various watch bands at me a few weeks ago and in a pique of annoyance I just ordered their entire offerings from AliExpress for less than they asked for a single band. Let’s see if any of them are any good

Donald Trump’s budget bill is set to make ICE the single largest federal law enforcement agency in US history.
The mass deportations the far right fantasizes about will remain unrealistic,
-- but not for lack of funds.
https://jacobin.com/2025/07/ice-trump-

ICE Is About to Get More Money Than It Can Spend
Donald Trump’s budget bill is set to make ICE the single largest federal law enforcement agency in US history. The mass deportations the far right fantasizes about will remain unrealistic, but not for lack of funds.

Phase-based Nonlinear Model Predictive Control for Humanoid Walking Stabilization with Single and Double Support Time Adjustments
Kwanwoo Lee, Gyeongjae Park, Jaeheung Park
https://arxiv.org/abs/2506.03856

Phase-based Nonlinear Model Predictive Control for Humanoid Walking Stabilization with Single and Double Support Time Adjustments
Balance control for humanoid robots has been extensively studied to enable robots to navigate in real-world environments. However, balance controllers that explicitly optimize the durations of both the single support phase, also known as step timing, and the Double Support Phase (DSP) have not been widely explored due to the inherent nonlinearity of the associated optimization problem. Consequently, many recent approaches either ignore the DSP or adjust its duration based on heuristics or on li…

Stability criteria for hybrid linear systems with singular perturbations
Ihab Haidar (ENSEA, QUARTZ), Yacine Chitour (L2S), Jamal Daafouz (IUF, CRAN), Paolo Mason (L2S), Mario Sigalotti (LJLL)
https://arxiv.org/abs/2507.02446

Stability criteria for hybrid linear systems with singular perturbations
We study a class of singularly perturbed impulsive linear switched systems exhibiting switching between slow and fast dynamics. To analyze their behavior, we construct auxiliary switched systems evolving in a single time scale. The stability or instability of these auxiliary systems directly determines that of the original system in the regime of small singular perturbation parameters.

Uniform semiclassical observable error bound of Trotterization without the Egorov theorem: a simple algebraic proof
Di Fang, Conrad Qu
https://arxiv.org/abs/2507.02783

Uniform semiclassical observable error bound of Trotterization without the Egorov theorem: a simple algebraic proof
Efficient simulation of the semiclassical Schrödinger equation has garnered significant attention in the numerical analysis community. While controlling the error in the unitary evolution or the wavefunction typically requires the time step size to shrink as the semiclassical parameter $h$ decreases, it has been observed -- and proved for first- and second-order Trotterization schemes -- that the error in certain classes of observables admits a time step size independent of $h$. In this work, …

Every time I read in the news "the bible book" I laugh. Like, there are hundreds if not thousands of different "bibles" and they aren't "a book", but rather dozens of books compiled into one, and the number of books (as well as the "editorial line") is different for almost every single sect.
Well. Anyway.
#bible

via @…

A Bi-Level Optimization Method for Redundant Dual-Arm Minimum Time Problems
Jonathan Fried, Santiago Paternain
https://arxiv.org/abs/2506.03982 https://

A Bi-Level Optimization Method for Redundant Dual-Arm Minimum Time Problems
In this work, we present a method for minimizing the time required for a redundant dual-arm robot to follow a desired relative Cartesian path at constant path speed by optimizing its joint trajectories, subject to position, velocity, and acceleration limits. The problem is reformulated as a bi-level optimization whose lower level is a convex, closed-form subproblem that maximizes path speed for a fixed trajectory, while the upper level updates the trajectory using a single-chain kinematic formu…