Tootfinder

John Oliver’s full breakdown of Trump’s Project 2025 plan to reshape America:
https://x.com/BidenHQ/status/1803110928885456961

Biden-Harris HQ (@BidenHQ) on X
Here is John Oliver’s full breakdown of Trump’s Project 2025 plan to reshape America 👇

Vänsteralliansen i Frankrike har svårt att enas om en premiärministerkandidat. Socialistpartiets partiledare Olivier Faure förslår ”en omröstning”, om man når egen majoritet. Det okuvade Frankrike håller fast vid grundöverenskommelsen att det parti i alliansen som blir störst får nominera. Gnissel…

Hunter Biden 'gratuitously invoked' father's name in SEC inquiry, House Republicans say (Ashley Oliver/Washington Examiner)
https://www.washingtonexaminer.com/news/3049576/hunter-biden-gratuitously-invoked-fathers-name-sec-inquiry-house-republicans-say/
http://www.memeorandum.com/240618/p32#a240618p32

Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
Francisco Gomes de Oliveira Neto
https://arxiv.org/abs/2406.11339 https://<…

Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
The integration of Large Language Models (LLMs) and chatbots introduces new challenges and opportunities for decision-making in software testing. Decision-making relies on a variety of information, including code, requirements specifications, and other software artifacts that are often unclear or exist solely in the developer's mind. To fill in the gaps left by unclear information, we often rely on assumptions, intuition, or previous experiences to make decisions. This paper explores the potent…

Addition in Dumont-Thomas Numeration Systems in Theory and Practice
Olivier Carton, Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger
https://arxiv.org/abs/2406.09868

Addition in Dumont-Thomas Numeration Systems in Theory and Practice
Given a fixpoint of a substitution, the associated Dumont-Thomas numeration system provides a convenient immediate way to describe the fixpoint as an automatic sequence. In order to study first-order properties of these fixpoints using Büchi-Bruyère characterization, it is necessary for the numeration system to be addable. This means that its addition relation must be computable by a finite automaton. Dumont-Thomas numeration systems can be regarded as an extension of positional numeration sy…

Centennial-scale variability of the Atlantic Meridional Circulation in CMIP6 models shaped by Arctic-North Atlantic interactions and sea ice biases
Oliver Mehling, Katinka Bellomo, Jost von Hardenberg
https://arxiv.org/abs/2406.09919

Centennial-scale variability of the Atlantic Meridional Circulation in CMIP6 models shaped by Arctic-North Atlantic interactions and sea ice biases
Climate variability on centennial timescales has often been linked to internal variability of the Atlantic Meridional Overturning Circulation (AMOC). However, due to the scarceness of suitable paleoclimate proxies and long climate model simulations, large uncertainties remain on the magnitude and physical mechanisms driving centennial-scale AMOC variability. For these reasons, we perform, for the first time, a systematic multi-model comparison of centennial-scale AMOC variability in pre-industr…

Index estimates for harmonic Gauss maps
Alcides de Carvalho, Marcos P. Cavalcante, Wagner Costa-Filho, Darlan de Oliveira
https://arxiv.org/abs/2406.09927 …

Index estimates for harmonic Gauss maps
Let $Σ$ denote a closed surface with constant mean curvature in $\mathbb{G}^3$, a 3-dimensional Lie group equipped with a bi-invariant metric. For such surfaces, there is a harmonic Gauss map which maps values to the unit sphere within the Lie algebra of $\mathbb{G}$. We prove that the energy index of the Gauss map of $Σ$ is bounded below by its topological genus. We also obtain index estimates in the case of complete non compact surfaces.

Connectedness and integrally closed local overrings of two-dimensional regular local rings
William Heinzer, K. Alan Loper, Bruce Olberding, Matt Toeniskoetter
https://arxiv.org/abs/2406.10966

Connectedness and integrally closed local overrings of two-dimensional regular local rings
Let $D$ be a two-dimensional regular local ring. We prove there is a one-to-one correspondence between closed connected sets in the space of valuation overrings of $D$ that dominate $D$ and the integrally closed local overrings of $D$ that are not essential valuation rings or divisorial valuation rings of $D$.

Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
Francisco Gomes de Oliveira Neto
https://arxiv.org/abs/2406.11339 https://<…

Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
The integration of Large Language Models (LLMs) and chatbots introduces new challenges and opportunities for decision-making in software testing. Decision-making relies on a variety of information, including code, requirements specifications, and other software artifacts that are often unclear or exist solely in the developer's mind. To fill in the gaps left by unclear information, we often rely on assumptions, intuition, or previous experiences to make decisions. This paper explores the potent…

Centennial-scale variability of the Atlantic Meridional Circulation in CMIP6 models shaped by Arctic-North Atlantic interactions and sea ice biases
Oliver Mehling, Katinka Bellomo, Jost von Hardenberg
https://arxiv.org/abs/2406.09919

Centennial-scale variability of the Atlantic Meridional Circulation in CMIP6 models shaped by Arctic-North Atlantic interactions and sea ice biases
Climate variability on centennial timescales has often been linked to internal variability of the Atlantic Meridional Overturning Circulation (AMOC). However, due to the scarceness of suitable paleoclimate proxies and long climate model simulations, large uncertainties remain on the magnitude and physical mechanisms driving centennial-scale AMOC variability. For these reasons, we perform, for the first time, a systematic multi-model comparison of centennial-scale AMOC variability in pre-industr…