Tootfinder

Blast from the past!
Writing firmware on my first laptop, for the PIC12F683 (the first microcontroller I ever used), on my first embedded project ever (robotic rubber band gun turret) freshman year of college, bodged together on perf board.
The UART and servo PWM were both bitbanged because the PIC12F683 didn't have any UARTs and I hadn't learned how to use the timer block yet.

Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
Kevin Chalmers, Jan B{\ae}kgaard Pedersen
https://arxiv.org/abs/2510.10818

Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
We present the first spin-free, kernel-lock-free mutex that cooperates with user-mode schedulers and is formally proven FIFO-fair and linearizable using CSP/FDR. Our fairness oracle and stability-based proof method are reusable across coroutine runtime designs. We designed the claim/release protocol for a process-oriented language -- ProcessJ -- to manage the race for claiming shared inter-process communication channels. Internally, we use a lock-free queue to park waiting processes for gaining…

Symmetric Persistent Tensors and their Hessian
Masoud Gharahi, Giorgio Ottaviani
https://arxiv.org/abs/2510.07404 https://arxiv.org/pdf/2510.07404

Symmetric Persistent Tensors and their Hessian
Persistent tensors, introduced in [Quantum 8 (2024), 1238], and inspired by quantum information theory, form a recursively defined class of tensors that remain stable under the substitution method and thereby yield nontrivial lower bounds on tensor rank. In this work, we investigate the symmetric case-namely, symmetric persistent tensors, or equivalently, persistent polynomials. We establish that a symmetric tensor in $\mathrm{Sym}^n \mathbb{C}^d$ is persistent if the determinant of its Hessian…

Uniformly-S-pseudo-projective modules
Mohammad adarbeh, Mohammad Saleh
https://arxiv.org/abs/2510.10170 https://arxiv.org/pdf/2510.10170

Uniformly-S-pseudo-projective modules
In this paper, we introduce the notion of uniformly-S-pseudo-projective (u-S-pseudo-projective) modules as a generalization of u-S-projective modules. Let R be a ring and S a multiplicative subset of R. An R-module P is said to be u-S-pseudo-projective if for any submodule K of P, there is s\in S such that for any u-S-epimorphism f:P\to \frac{P}{K}, sf can be lifted to an endomorphism g:P\to P. Some properties of this notion are obtained. For example, we prove that an R-module M is u-S-quasi-pr…

MedQ-Bench: Evaluating and Exploring Medical Image Quality Assessment Abilities in MLLMs
Jiyao Liu, Jinjie Wei, Wanying Qu, Chenglong Ma, Junzhi Ning, Yunheng Li, Ying Chen, Xinzhe Luo, Pengcheng Chen, Xin Gao, Ming Hu, Huihui Xu, Xin Wang, Shujian Gao, Dingkang Yang, Zhongying Deng, Jin Ye, Lihao Liu, Junjun He, Ningsheng Xu
https://arxiv…

MedQ-Bench: Evaluating and Exploring Medical Image Quality Assessment Abilities in MLLMs
Medical Image Quality Assessment (IQA) serves as the first-mile safety gate for clinical AI, yet existing approaches remain constrained by scalar, score-based metrics and fail to reflect the descriptive, human-like reasoning process central to expert evaluation. To address this gap, we introduce MedQ-Bench, a comprehensive benchmark that establishes a perception-reasoning paradigm for language-based evaluation of medical image quality with Multi-modal Large Language Models (MLLMs). MedQ-Bench d…

✍️ New post: Challenge
#blogtober #comics #process #FrankMiller

Challenge · Matthias Ott
Matthias Ott is an independent user experience designer and web design engineer from Stuttgart, Germany. He also teaches Interface Prototyping at the Muthesius Academy of Fine Arts and Design.

Adaptive Nonlinear Model Predictive Control of Monoclonal Antibody Glycosylation in CHO Cell Culture
Yingjie Ma, Jing Guo, Alexis B. Dubs, Krystian K. Ganko, Richard D. Braatz
https://arxiv.org/abs/2510.12333

Adaptive Nonlinear Model Predictive Control of Monoclonal Antibody Glycosylation in CHO Cell Culture
N-glycosylation is a critical quality attribute of monoclonal antibodies (mAbs), the dominant class of biopharmaceuticals. Controlling glycosylation remains difficult due to intrinsic pathway complexity, limited online measurements, and a lack of tailored control strategies. This work applies an adaptive nonlinear model predictive control (ANMPC) framework to a fed-batch mAb production process, using a multiscale model that links extracellular conditions to intracellular Golgi reactions to pred…

Superpositions of Quantum Gaussian Processes
Lorenzo Braccini, Sougato Bose, Alessio Serafini
https://arxiv.org/abs/2510.01156 https://arxiv.org/pdf/2510.0…

Superpositions of Quantum Gaussian Processes
We generalise the Gaussian formalism of Continuous Variable (CV) systems to describe their interactions with qubits/qudits that result in quantum superpositions of Gaussian processes. To this end, we derive a new set of equations in closed form, which allows us to treat hybrid systems' unitary and open dynamics exactly (without truncation), as well as measurements (ideal and noisy). The $N$-qubits $n$-modes entangled states arising during such processes are named Gaussian-Branched Cat States (G…

On Gorenstein Fano toric complete intersections
Juergen Hausen, Paul Weiss
https://arxiv.org/abs/2510.11591 https://arxiv.org/pdf/2510.11591

On Gorenstein Fano toric complete intersections
We classify Q-factorial Gorenstein Fano non-degenerate complete intersection threefolds in fake weighted projective spaces.

Geometry of tropical mutation surfaces with a single mutation
Tomoki Oda
https://arxiv.org/abs/2510.11991 https://arxiv.org/pdf/2510.11991

Geometry of tropical mutation surfaces with a single mutation
Recently, Escobar, Harada, and Manon introduced the theory of polyptych lattices. This theory gives a general framework for constructing projective varieties from polytopes in a polyptych lattice. When all the mutations of the polyptych lattice are linear isomorphisms, this framework recovers the classical theory of toric varieties. In this article, we study rank two polyptych lattices with a single mutation. We prove that the associated projective surface $X$ is a $\mathbb{G}_m$-surface that a…