Tootfinder

Made another tool. Link Check will resolve any shortlink, including ones from LinkedIn.

This lets you see where a link leads you without clicking it, and helps you bypass any tracking that the shortlink engages in.

Since many QR codes make use of shortlinks, this is a good companion for understanding where QR codes take you.

https://toolbox.axbom.com/linkcheck/

19:10 fixed a spelling mistake

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl H. Johansson, Jonas M{\aa}rtensson
https://arxiv.org/abs/2510.11316

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
In this paper, we present pyspect, a Python toolbox that simplifies the use of reachability analysis for temporal logic problems. Currently, satisfying complex requirements in cyber-physical systems requires significant manual effort and domain expertise to develop the underlying reachability programs. This high development effort limits the broader adoption of reachability analysis for complex verification problems. To address this, pyspect provides a method-agnostic approach to performing rea…

ToMATo: an efficient and robust clustering algorithm for high dimensional datasets. An illustration with spike sorting
Louise Martineau (IRMA), Christophe Pouzat (IRMA), S\'egolen Geffray (IRMA)
https://arxiv.org/abs/2509.17499

ToMATo: an efficient and robust clustering algorithm for high dimensional datasets. An illustration with spike sorting
Clustering algorithms became an essential part of the neurophysiological data analysis toolbox in the last twenty five years. Many problems, from the definition of cell types/groups based on morphological, molecular and physiological data to the identification of sub-networks in fMRI data, are now routinely tackled with clustering analysis. Since the datasets to which this type of analysis is applied tend to be defined in larger and larger dimensional spaces, there is a need for efficient and r…

The charge-singlet measurement toolbox
Abhijit Chakraborty, Randy Lewis, Christine A. Muschik
https://arxiv.org/abs/2510.08718 https://arxiv.org/pdf/2510.0…

The charge-singlet measurement toolbox
Symmetry is fundamental to physical laws across different scales$\unicode{x2014}$from spacetime structure in general relativity to particle interactions in quantum field theory. Local symmetries, described by gauge theories, are central to phenomena such as superconductivity, topological phases, and the Standard Model of particle physics. Emerging simulation techniques using tensor network states or quantum computers offer exciting new possibilities of exploring the physics of these gauge theor…

Metropolitana VI - Asymmetry ✅
城 VI - 非对称 ✅
📷 Pentax MX
🎞️ Ilford Pan 100
#filmphotography #Photography #blackandwhite

Trump just said “we took the freedom of speech away.”
And our leaders are asleep at the wheel. 
I’m Liam Elkind.
I’m 26 years old and I’m running for Congress because Trump is inches away from becoming a dictator, and I’m pissed as hell. 
Any Democrat who’s not fighting this tooth and nail is complicit. I’ll use every tool in my toolbox to beat Trump’s fascism. 
But I need your help. Can you chip in any amount today so I can get to Congress and actually FIGHT fo…

ff-bifbox: A scalable, open-source toolbox for bifurcation analysis of nonlinear PDEs
Christopher M. Douglas, Pierre Jolivet
https://arxiv.org/abs/2509.18429 https://

New experiences every day. Today: PHPStorm 2025.2.3 freezes after a few seconds and can only be closed via the Task Manager. Restarting the system doesn't help either. Downgrading via the JetBrains Toolbox brings relief. #work #productivity

@… following up on our chat at #SDSL2025, I finally found some time to see how a #QGIS Processing Algorithm Provider plugin can be unit tested. Here's what I've …

trajectools/tests/test_run_algs.py at main
trajectools - Trajectools - trajectory data analysis tools for the QGIS Processing toolbox | Previous home: https://github.com/movingpandas/qgis-trajectools

A MATLAB toolbox for Computation of Speech Transmission Index (STI)
Pavel Rajmic, Ji\v{r}\'i Schimmel, \v{S}imon Cieslar
https://arxiv.org/abs/2510.03825 https://

A MATLAB toolbox for Computation of Speech Transmission Index (STI)
The speech transmission index (STI) is a popular simple metric for the prediction of speech intelligibility when speech is passed through a transmission channel. Computation of STI from acoustic measurements is described in the IEC 60268-16:2020 standard. Though, reliable implementations of STI are not publicly accessible and are frequently limited to the use with a proprietary measurement hardware. We present a Matlab STI implementation of both the direct and indirect approaches according to t…