Tootfinder

"Mary Maxwell Gates, Bill’s mother, was appointed to the board of directors of the national United Way in 1980. And guess who else was in that committee? The late John Opel, president, chairman, and CEO of…, you guessed it, IBM, between 1974 and 1986."
https://deprogrammaticaipsum.com/gary-

MathPartner is a breakthrough technology for natural sciences education, scientic and engineering applications
Gennadi Malaschonok, Roman Sakh
https://arxiv.org/abs/2505.03740

MathPartner is a breakthrough technology for natural sciences education, scientic and engineering applications
The article provides a brief description of the MathPartner service. This freely available cloud-based Mathematics is a universal system for symbolic-numeric calculations. Its Mathpar language is a subset of the LaTeX language, but allows you to create mathematical texts that contain "computable" mathematical operators. This opens up completely new opportunities for improving the educational process for all natural science disciplines, for the use of mathematics in scientific and engineering ca…

Confidential Guardian: Cryptographically Prohibiting the Abuse of Model Abstention
Stephan Rabanser, Ali Shahin Shamsabadi, Olive Franzese, Xiao Wang, Adrian Weller, Nicolas Papernot
https://arxiv.org/abs/2505.23968

Confidential Guardian: Cryptographically Prohibiting the Abuse of Model Abstention
Cautious predictions -- where a machine learning model abstains when uncertain -- are crucial for limiting harmful errors in safety-critical applications. In this work, we identify a novel threat: a dishonest institution can exploit these mechanisms to discriminate or unjustly deny services under the guise of uncertainty. We demonstrate the practicality of this threat by introducing an uncertainty-inducing attack called Mirage, which deliberately reduces confidence in targeted input regions, th…

European cloud providers and enterprise IT customers are sounding alarms over changes to VMware's licensing structure that have driven prices up by as much as 1,500% since Broadcom's acquisition of the virtualisation giant.
https://www.computing.co.uk/news/20…

European customers rail against Broadcom's 1,500% VMware price hike
A new report concludes that Broadcom’s price rises are leaving European customers without viable VMware alternatives.

Canonical traces of fiber products and their applications
Shinya Kumashiro, Sora Miyashita
https://arxiv.org/abs/2506.04899 https://a…

Canonical traces of fiber products and their applications
We study the canonical trace of the fiber product of Noetherian rings. Furthermore, we extend results on the class of Cohen-Macaulay rings called Teter type to Noetherian rings. As an application of our study on canonical traces and Noetherian rings of Teter type, we compute the canonical trace of the Stanley-Reisner ring arising from a non-connected simplicial complex. In particular, we provide a characterization of Stanley-Reisner rings for which the canonical trace contains the graded maxima…

Overlap Gap and Computational Thresholds in the Square Wave Perceptron
Marco Benedetti, Andrej Bogdanov, Enrico M. Malatesta, Marc M\'ezard, Gianmarco Perrupato, Alon Rosen, Nikolaj I. Schwartzbach, Riccardo Zecchina
https://arxiv.org/abs/2506.05197

Overlap Gap and Computational Thresholds in the Square Wave Perceptron
Square Wave Perceptrons (SWPs) form a class of neural network models with oscillating activation function that exhibit intriguing ``hardness'' properties in the high-dimensional limit at a fixed signal-to-noise ratio $α= O(1)$. In this work, we examine two key aspects of these models. The first is related to the so-called overlap-gap property, that is a disconnectivity feature of the geometry of the solution space of combinatorial optimization problems proven to cause the failure of a large fa…

This https://arxiv.org/abs/2501.05311 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Adaptive refinement for eigenvalue problems based on an associated source problem
We introduce an adaptive finite element scheme for the efficient approximation of a (large) collection of eigenpairs of selfadjoint elliptic operators in which the adaptive refinement is driven by the solution of a single source problem -- the so-called landscape problem for the operator -- instead of refining based on the computed eigenpairs. Some theoretical justification for the approach is provided, and extensive empirical results indicate that it can provide an attractive alternative to st…

This https://arxiv.org/abs/2503.12700 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Schur Rank, Compatibility Degree, and Canonical Decomposition
The notion of denominator vectors can be extended to all generic basis elements of upper cluster algebras in a natural way. Under a weakened version of generic pairing assumption, we provide a representation-theoretic interpretation for this extended notion. We derive several consequences in this generality. We present a counterexample to the conjecture that distinct cluster monomials have distinct denominator vectors. Utilizing a new rank function called the Schur rank, we extend the notion of…

Super-additivity of quantum capacity in simple channels
Zhen Wu, Qi Zhao, Zhihao Ma
https://arxiv.org/abs/2505.24661 https://arxiv.or…

Super-additivity of quantum capacity in simple channels
The super-additivity of quantum channel capacity is an important feature of quantum information theory different from classical theory, which has been attracting attention. Recently a special channel called ``platypus channel'' exhibits super-additive quantum capacity when combined with qudit erasure channels. Here we consider the ``generalized platypus channel'', prove that it has computable channel capacities, such as both private and classical capacity equal to $1$, and in particular, the ge…

Enhancing Finite State Machine Design Automation with Large Language Models and Prompt Engineering Techniques
Qun-Kai Lin, Cheng Hsu, Tian-Sheuan Chang
https://arxiv.org/abs/2506.00001

Enhancing Finite State Machine Design Automation with Large Language Models and Prompt Engineering Techniques
Large Language Models (LLMs) have attracted considerable attention in recent years due to their remarkable compatibility with Hardware Description Language (HDL) design. In this paper, we examine the performance of three major LLMs, Claude 3 Opus, ChatGPT-4, and ChatGPT-4o, in designing finite state machines (FSMs). By utilizing the instructional content provided by HDLBits, we evaluate the stability, limitations, and potential approaches for improving the success rates of these models. Further…