Tootfinder

from my link log —
cdimage: A tool for burning visible pictures on a compact disc.
https://github.com/arduinocelentano/cdimage
saved 2025-06-07

GitHub - arduinocelentano/cdimage: A tool for burning visible pictures on a compact disc surfase
A tool for burning visible pictures on a compact disc surfase - arduinocelentano/cdimage

One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
https://arxiv.org/abs/2506.23730 https://

One-Parametric Presburger Arithmetic has Quantifier Elimination
We give a quantifier elimination procedure for one-parametric Presburger arithmetic, the extension of Presburger arithmetic with the function $x \mapsto t \cdot x$, where $t$ is a fixed free variable ranging over the integers. This resolves an open problem proposed in [Bogart et al., Discrete Analysis, 2017]. As conjectured in [Goodrick, Arch. Math. Logic, 2018], quantifier elimination is obtained for the extended structure featuring all integer division functions $x \mapsto \lfloor{\frac{x}{f(…

Ich kann so libertären Clowns einfach nicht länger als ein paar Minuten zuhören, es geht wirklich körperlich nicht. So weh tut das.
https://www.ardmediathek.de/video/geschichten-vom-…

Geschichten vom Kontinent: Re: Liberland, der Krypto-Staat am Donaustrand - hier anschauen
Samuela Davidova, Influencerin und Krypto-Enthusiastin reist um die Welt - für ein Land, das es offiziell nicht gibt: Liberland. Die junge Tschechin hatte genug von Bürokratie und Abgaben in ihrer Heimat. Liberland dagegen verspricht freiwillige Steuern und einen schlanken Staat. Eine libertäre Utopie, die weltweit immer mehr Anhänger findet. Dieser ARTE-Beitrag ist Teil von der Kollektion Geschichten vom Kontinent, ein Projekt, getragen von einem Konsortium öffentlich-rechtlicher Sender (…

Energieerzeugung und Artenschutz Hand in Hand!
https://www.sueddeutsche.de/wissen/solarpark-energiewende-naturschutz-artenvielfalt-li.3260634

On the Consistency of Peano Arithmetic in a Proof-theoretic Semantics for Classical Logic
Alexander V. Gheorghiu
https://arxiv.org/abs/2506.22326 https://

On the Consistency of Peano Arithmetic in a Proof-theoretic Semantics for Classical Logic
We give a proof of the consistency of Peano Arithmetic (PA) within a novel semantic framework for classical logic due to Sandqvist. The argument proceeds by constructing an object $\mathfrak{A}$ -- the arithmetic base -- which supports all axioms of PA and can be shown to not support $\bot$, relative to a well-foundedness assumption equivalent to $ε_0$-induction. This framework belongs to the paradigm of proof-theoretic semantics, that unlike model-theoretic approaches, offers a finitistically…

Preetz holt im #Fahrradklimatest #FKT24 nach einem Rückschritt in 2022 wieder auf und gehört nun zu den Aufholerstädten in Schleswig-Holstein.
Esther Wenderhold ist die Mobilitätsmanagerin in Preetz und stellt die Leistungen der Stadt vor.

NDR Info: Preetz macht Radfahrenden das Leben leichter - hier anschauen
Mit ihrem Mobilitätskonzept ist die Stadt im Fahrradklimatest auf Platz drei in Schleswig-Holstein gelandet.

Adjoint-Based Aerodynamic Shape Optimization with a Manifold Constraint Learned by Diffusion Models
Long Chen, Emre Oezkaya, Jan Rottmayer, Nicolas R. Gauger, Zebang Shen, Yinyu Ye
https://arxiv.org/abs/2507.23443

Adjoint-Based Aerodynamic Shape Optimization with a Manifold Constraint Learned by Diffusion Models
We introduce an adjoint-based aerodynamic shape optimization framework that integrates a diffusion model trained on existing designs to learn a smooth manifold of aerodynamically viable shapes. This manifold is enforced as an equality constraint to the shape optimization problem. Central to our method is the computation of adjoint gradients of the design objectives (e.g., drag and lift) with respect to the manifold space. These gradients are derived by first computing shape derivatives with res…

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
Youjeong Noh, Joon-Young Paik, Jingun Kwon, Eun-Sun Cho
https://arxiv.org/abs/2506.23634

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
Mixed Boolean-Arithmetic (MBA) obfuscation protects intellectual property by converting programs into forms that are more complex to analyze. However, MBA has been increasingly exploited by malware developers to evade detection and cause significant real-world problems. Traditional MBA deobfuscation methods often consider these expressions as part of a black box and overlook their internal semantic information. To bridge this gap, we propose a truth table, which is an automatically constructed …

🇺🇦 #NowPlaying on KEXP's #JazzTheatre
Art Ensemble of Chicago:
🎵 Dreaming of the Masters / Excerpt Part 15 & 3A
#ArtEnsembleofChicago
https://open.spotify.com/track/7tHXpiOh9F1FgWm4x2LpCY

First-order aspects of Artin groups
Alberto Cassella, Gianluca Paolini, Giovanni Paolini
https://arxiv.org/abs/2507.21575 https://arxiv.org/pdf/2507.21575

First-order aspects of Artin groups
We prove several results on the model theory of Artin groups, focusing on Artin groups which are ``far from right-angled Artin groups''. The first result is that if $\mathcal{C}$ is a class of Artin groups whose irreducible components are acylindrically hyperbolic and torsion-free, then the model theory of Artin groups of type $\mathcal{C}$ reduces to the model theory of its irreducible components. The second result is that the problem of superstability of a given non-abelian Artin group $A$ re…