Tootfinder

Hyundai testet deutschen humanoiden Roboter Neura 4NE1 im Schiffsbau
Hyundai will zusammen mit dem deutschen Robotikunternehmen Neura Robotics, deren Roboter fit für schwere und risikoreiche Arbeiten im Schiffsbau machen.

intentional self portraits
#photography #begonia

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
Daniel Rogozin
https://arxiv.org/abs/2507.12360 https://arxiv.o…

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
In this paper, we present a typed lambda calculus ${\bf SILL}(λ)_Σ$, a type-theoretic version of intuitionistic linear logic with subexponentials, that is, we have many resource comonadic modalities with some interconnections between them given by a subexponential signature. We also give proof normalisation rules and prove the strong normalisation and Church-Rosser properties for $β$-reduction by adapting the Tait-Girard method to subexponential modalities. Further, we analyse subexponential…

Efficient Preparation of Decoherence Free Subspace Basis States
Zi-Ming Li, Yu-xi Liu
https://arxiv.org/abs/2509.11544 https://arxiv.org/pdf/2509.11544

Efficient Preparation of Decoherence Free Subspace Basis States
Decoherence-free subspace (DFS) provides a crucial mechanism for passive error mitigation in quantum computation by encoding information within symmetry-protected subspaces of the Hilbert space, which are immune from collective decoherence. Constructing a complete set of orthogonal basis states for the DFS is essential to realize fault-tolerant quantum computation by using the DFS codes. However, existing methods for preparing these basis states are often non-scalable, platform-specific, or yie…

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
Hua Guo, Yunhong Ji, Xuan Zhou
https://arxiv.org/abs/2509.11566 https://

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
Developing distributed systems presents significant challenges, primarily due to the complexity introduced by non-deterministic concurrency and faults. To address these, we propose a specification-driven development framework. Our method encompasses three key stages. The first stage defines system specifications and invariants using TLA${^+}$. It allows us to perform model checking on the algorithm's correctness and generate test cases for subsequent development phases. In the second stage, bas…

Bericht: Apples neuer N1-Chip auf Broadcom-Niveau – kein 320 MHz
Ein Blick auf Apples Spezifikationen, die der Konzern gegenüber dem US-Regulierer mitgeteilt hat, zeigt, was bei Wi-Fi 7 mit dem N1 geht – und was nicht.

Read all about Chatcontrol and why we should resist it. This sentence is extremely scary.... "Specifically, this AI will have to be built by WhatsApp/Meta so they can monitor us on behalf of the EU" 😱
https://berthub.eu/articles/posts/chatcontrol-in-brief/

Chatcontrol 2025 edition in Brief - Bert Hubert's writings
In short, led by Denmark, many EU member states are arguing for forcing WhatsApp/Signal/etc to inspect all our photos and links, using AI. If the AI is in any “doubt” if this might be child pornography, your photo, location, phone number & other details get reported to Europol and a local police force. What happens next is not specified, but your holiday in Cyprus might end up with you having to explain your photos over at the local police station.

the SFBOS unanimously passed Melgar's Street Safety Act, a nonbinding resolution asking several agencies the BOS doesn't have jurisdiction over to do things to promote street safety. text: https://sfgov.legistar.com/View.ashx?M

Invariant subspace perturbations related to defective eigenvalues of $\Delta$-Hermitian and Hamiltonian matrices
Hongguo Xu
https://arxiv.org/abs/2509.10643 https://

Invariant subspace perturbations related to defective eigenvalues of $Δ$-Hermitian and Hamiltonian matrices
Structured perturbation results for invariant subspaces of $Δ$-Hermitian and Hamiltonian matrices are provided. The invariant subspaces under consideration are associated with the eigenvalues perturbed from a single defective eigenvalue. The results show how the original eigenvectors and generalized eigenvectors are involved in composing such perturbed invariant subspaces and eigenvectors.

A Noise-Aware Scalable Subspace Classical Optimizer for the Quantum Approximate Optimization Algorithm
Kwassi Joseph Dzahini, Jeffrey M. Larson, Matt Menickelly, Stefan M. Wild
https://arxiv.org/abs/2507.10992

A Noise-Aware Scalable Subspace Classical Optimizer for the Quantum Approximate Optimization Algorithm
We introduce ANASTAARS, a noise-aware scalable classical optimizer for variational quantum algorithms such as the quantum approximate optimization algorithm (QAOA). ANASTAARS leverages adaptive random subspace strategies to efficiently optimize the ansatz parameters of a QAOA circuit, in an effort to address challenges posed by a potentially large number of QAOA layers. ANASTAARS iteratively constructs random interpolation models within low-dimensional affine subspaces defined via Johnson--Lind…