Tootfinder

UK minister instructs the Turing AI institute, which has lately focused on responsible AI and ethics, to prioritize national security and defense instead (Joshua Nevett/BBC)
https://www.bbc.com/news/articles/cy7nppe5gkgo

Minister tells UK's Turing AI institute to focus on defence
Peter Kyle says the Alan Turing Institute should prioritise boosting the UK's AI capabilities.

With every month that passes, it becomes more clear that quitting that cursed place was the right call:
«Peter Kyle said it was clear further action was needed to ensure the government-backed Alan Turing Institute met its full potential. […] Making clear that the Turing 2.0 strategy did not meet government requirements, Kyle indicated that he expected leadership changes at ATI.» 🍿
https://www.theguardian.com/technology/2025/jul/04/minister-demands-overhaul-of-uks-leading-ai-institute-alan-turing

KI-Pionier Bengio gründet Organisation für KI-Sicherheit
Yoshua Bengio ist Turing-Preisträger und will Sicherheit über kommerzielle Interessen stellen – dafür gründet er LawZero.
https://www.

from my link log —
But can DOOM run it? Programming satan’s computer.
https://calabi-yau.space/blog/doom.html
saved 2025-02-27 https://

But can DOOM run it?
A half-adder implemented in classic DOOM demonstrating Turing-completeness.

@… @… I disagree, it's the best Turing-complete type system out there!

The Turing Test’s no match for corporate #AI cargo cultists. https://chaos.social/@frederic/114617752350873062

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

Complexity of Geometric programming in the Turing model and application to nonnegative tensors
We consider a version of geometric programming problem consisting in minimizing a function given by the maximum of finitely many log-Laplace transforms of discrete nonnegative measures on a Euclidean space. Under a coerciveness assumption, we show that an $\varepsilon$-minimizer can be computed in a time that is polynomial in the input size and in $|\log\varepsilon|$. This is obtained by establishing bit-size estimates on approximate minimizers and by applying the ellipsoid method. We…

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

On closure properties of TotP
The class TotP consists of functions that count the number of all paths of a nondeterministic polynomial-time Turing machine. In this paper, we give a second definition of the class TotP in terms of certificates and verifiers, and present a few natural closure properties of this class. From the second definition of TotP it follows that TotP = #P if and only if P = NP. We also prove that the closure of TotP under left composition with the class FP+ is equivalent to TotP = FP+ and P = PP, and giv…

AI pioneer Yoshua Bengio launches LawZero, a nonprofit focused on safer AI; LawZero has raised $30M in donations, including from Skype co-founder Jaan Tallinn (Cristina Criddle/Financial Times)
https://www.ft.com/content/2b3ce320-2451-45c4-a15c-757461624585

‘Godfather’ of AI Yoshua Bengio says latest models lie to users
Turing Award winner warns recent models display dangerous characteristics as he launches LawZero non-profit for safer AI

Sincerely, Carter by Whitney G. My rating: 1 of 5 stars Oh, wow, this was ridiculously bad. Carter and Arizona have been friends since fourth grade. They are the closest of platonic friends – until they, as is most convenient for the plot, both suddenly at the same time realise how insanely hot they are for each other. With all the language skills of a teenager and the sensitivity of a butcher, Whitne...

War Hero Codebreaker Alan Turing’s Papers Found in Loft And Saved From Shredder to Fetch Record $625,000 https://www.goodnewsnetwork.org/alan-turing-papers-found-in-loft-and-saved-from-shredder-fetch-record-625k/

Alan Turing Papers Found in Loft And Saved From Shredder to Fetch a Record $625,000
A treasure of scientific papers by codebreaking war hero Alan Turing fetched $625k at auction after being found in loft and nearly shredded.

The evasion of tipping: pattern formation near a Turing-fold bifurcation
Dock Staal, Arjen Doelman
https://arxiv.org/abs/2506.22251 https://

The evasion of tipping: pattern formation near a Turing-fold bifurcation
Model studies indicate that many climate subsystems, especially ecosystems, may be vulnerable to 'tipping': a 'catastrophic process' in which a system, driven by gradually changing external factors, abruptly transitions (or 'collapses') from a preferred state to a less desirable one. In ecosystems, the emergence of spatial patterns has traditionally been interpreted as a possible 'early warning signal' for tipping. More recently, however, pattern formation has been proposed to serve a fundament…

"Understanding the Impacts of Generative AI
Use on Children" , research by Alan Turing Institute.
" ...nearly one in four children (22%) aged 8-12 are using the technology..."
https://www.turing.ac.uk/news/experts-ca…

Can Machines Philosophize?
Michele Pizzochero, Giorgia Dellaferrera
https://arxiv.org/abs/2507.00675 https://arxiv.org/pdf/2507.00675…

Can Machines Philosophize?
Inspired by the Turing test, we present a novel methodological framework to assess the extent to which a population of machines mirrors the philosophical views of a population of humans. The framework consists of three steps: (i) instructing machines to impersonate each human in the population, reflecting their backgrounds and beliefs, (ii) administering a questionnaire covering various philosophical positions to both humans and machines, and (iii) statistically analyzing the resulting response…

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

Transient Instability and Patterns of Reactivity in Diffusive-Chemotaxis Soil Carbon Dynamics
We study pattern formation in a chemotaxis model of bacteria and soil carbon dynamics as an example system where transient dynamics can give rise to pattern formation outside of Turing unstable regimes. We use a detailed analysis of the reactivity of the non-spatial and spatial dynamics, stability analyses, and numerical continuation to uncover detailed aspects of this system's pattern-forming potential. In addition to patterning in Turing unstable parameter regimes, reactivity of the spatial s…

There has long been a quiet debate, currently drowned out but still very much happening, about human replacement vs human augmentation. Think of Gary Kasparov remarking years ago that he thought chess played by humans with computer assistance could be a far more interesting game than either human-only or computer-only chess.
Here’s an argument for augmentation over automation, and note how far it diverges from the current hype despite it being written from a very AI-friendly point of view:
https://digitaleconomy.stanford.edu/news/the-turing-trap-the-promise-peril-of-human-like-artificial-intelligence/

Relative to any non-arithmetic set
Matthew Harrison-Trainor
https://arxiv.org/abs/2505.23613 https://arxiv.org/pdf/2505.23613

Relative to any non-arithmetic set
Given a countable structure $\mathcal{A}$, the degree spectrum of $\mathcal{A}$ is the set of all Turing degrees which can compute an isomorphic copy of $\mathcal{A}$. One of the major programs in computable structure theory is to determine which (upwards closed, Borel) classes of degrees form a degree spectrum. We resolve one of the major open problems in this area by showing that the non-arithmetic degrees are a degree spectrum. Our main new tool is a new form of unfriendly jump inversions wh…

Passing the Turing Test in Political Discourse: Fine-Tuning LLMs to Mimic Polarized Social Media Comments
. Pazzaglia, V. Vendetti, L. D. Comencini, F. Deriu, V. Modugno
https://arxiv.org/abs/2506.14645

Passing the Turing Test in Political Discourse: Fine-Tuning LLMs to Mimic Polarized Social Media Comments
The increasing sophistication of large language models (LLMs) has sparked growing concerns regarding their potential role in exacerbating ideological polarization through the automated generation of persuasive and biased content. This study explores the extent to which fine-tuned LLMs can replicate and amplify polarizing discourse within online environments. Using a curated dataset of politically charged discussions extracted from Reddit, we fine-tune an open-source LLM to produce context-aware…

Replaced article(s) found for math.DS. https://arxiv.org/list/math.DS/new
[1/1]:
- Convective Turing Bifurcation
Aric Wheeler, Kevin Zumbrun

Pattern formation in a Swift-Hohenberg equation with spatially periodic coefficients
Jolien Kamphuis, Martina Chirilus-Bruckner
https://arxiv.org/abs/2506.22211

Pattern formation in a Swift-Hohenberg equation with spatially periodic coefficients
We study the Swift-Hohenberg equation - a paradigm model for pattern formation - with "large" spatially periodic coefficients and find a Turing bifurcation that generates patterns whose leading order form is a Bloch wave modulated by solutions of a Ginzburg-Landau type equation. Since the interplay between forcing wavenumber and intrinsic wavenumber crucially shapes the spectrum and emerging patterns, we distinguish between resonant and non-resonant regimes. Extending earlier work that assumed …

The Wolf Tree, by Laura McCluskey
#books #Crime #Meh #Mystery

Turing-Turing Bifurcation Analysis and Normal Form in a Predator-Prey Model with Predator-Taxis and Prey Refuge
Yehu Lv
https://arxiv.org/abs/2506.09360 ht…

Turing-Turing Bifurcation Analysis and Normal Form in a Predator-Prey Model with Predator-Taxis and Prey Refuge
This paper investigates a predator-prey reaction-diffusion model incorporating predator-taxis and a prey refuge mechanism, subject to homogeneous Neumann boundary conditions. Our primary focus is the analysis of codimension-two Turing-Turing bifurcation and the calculation of its associated normal form for this model. Firstly, employing the maximum principle and Amann's theorem, we rigorously establish the local existence and uniqueness of classical solutions. Secondly, utilizing linear stabili…

from my link log —
Simulating time with square-root space.
https://arxiv.org/abs/2502.17779
saved 2025-06-08 https://dotat.at/:/L…

Simulating Time With Square-Root Space
We show that for all functions $t(n) \geq n$, every multitape Turing machine running in time $t$ can be simulated in space only $O(\sqrt{t \log t})$. This is a substantial improvement over Hopcroft, Paul, and Valiant's simulation of time $t$ in $O(t/\log t)$ space from 50 years ago [FOCS 1975, JACM 1977]. Among other results, our simulation implies that bounded fan-in circuits of size $s$ can be evaluated on any input in only $\sqrt{s} \cdot poly(\log s)$ space, and that there are explicit prob…

Supernuttig, dus ik heb me gelijk voor de nieuwsbrief ingeschreven.
https://mastodon.social/@Felienne/114647271618038360

Felienne Hermans (@Felienne@mastodon.social)
Attached: 1 image Hoeveel studenten kan een docent aan? Waar blijft het Turing Recht? Bestaat AI geletterdheid wel? En wat is er gebeurd met de Quantified Self? Dat en meer in mijn nieuwsbrief van deze week! https://www.felienne.nl/het-nieuws-van-week-23/

What would John von Neumann (Neumann Jšnos Lajos) and Alan Turing say if they see their concepts implemented in a tiny and even flexible micro computer thats more powerful than what was available at their time: https://www.kickstarter.com/projects/harshu/rp2040…

The Relationship between Cognition and Computation: "Global-first" Cognition versus Local-first Computation
Lin Chen
https://arxiv.org/abs/2506.17970

The Relationship between Cognition and Computation: "Global-first" Cognition versus Local-first Computation
What fundamental research questions are essential for advancing toward brain-like AI or AGI (Artificial General Intelligence) capable of performing any intellectual task a human can? Should it be something like the Turing machine (1936), which answers the question "What is computation?" and lays the foundation for the entire field of computer science? Or should it be something like Shannon's mathematical theory of communication (1948), which answers the question "What is information?" and forms…

Infinite Time Turing Machines and their Applications
Rukmal Weerawarana, Maxwell Braun
https://arxiv.org/abs/2506.05351 https://arxiv…

Infinite Time Turing Machines and their Applications
This work establishes a rigorous theoretical foundation for analyzing deep learning systems by leveraging Infinite Time Turing Machines (ITTMs), which extend classical computation into transfinite ordinal steps. Using ITTMs, we reinterpret modern architectures like Transformers, revealing fundamental limitations in scalability, efficiency, and interpretability. Building on these insights, we propose the Universal State Machine (USM), a novel computational paradigm designed from first principles…

Scale AI's rivals like Snorkel AI, Labelbox, and Turing report rising interest from clients concerned about Scale's independence after Meta's $14.3B investment (Bloomberg)
https://www.bloomberg.com/news/articles/20

Replaced article(s) found for math.DS. https://arxiv.org/list/math.DS/new
[1/1]:
- Diffusive stability of convective Turing patterns
Aric Wheeler, Kevin Zumbrun

Subcritical Turing bifurcation and the morphogenesis of localised patterns
V\'ictor Bre\~na-Medina, Alan Champneys
https://arxiv.org/abs/2506.07855 htt…

Subcritical Turing bifurcation and the morphogenesis of localised patterns
Subcritical Turing bifurcations of reaction-diffusion systems in large domains lead to spontaneous onset of well-developed localised patterns via the homoclinic snaking mechanism. This phenomenon is shown to occur naturally when balancing source and loss effects are included in a typical reaction-diffusion system, leading to a super/subcritical transition. Implications are discussed for a range of physical problems, arguing that subcriticality leads to naturally robust phase transitions to loca…

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

The Mean-Field Survival Model for Stripe Formation in Zebrafish Exhibits Turing Instability
Zebrafish have been used as a model organism in many areas of biology, including the study of pattern formation. The mean-field survival model is a coupled ODE system describing the expected evolution of chromatophores coordinating to form stripes in zebrafish. This paper presents analysis of the model focusing on parameters for the number of cells, length of distant-neighbor interactions, and rates related to birth and death of chromatophores. We derive the conditions on these parameters for a…

Nine Dragons (Harry Bosch #14), by Michael Connelly
#Adventure #Book #Crime #Mystery

The Complexity of the Set of Validities of a Theory
Denis Hirschfeldt, Henry Towsner, Scott Weinstein
https://arxiv.org/abs/2506.08901 https://

The Complexity of the Set of Validities of a Theory
We study the collection of first-order logical schemata all of whose instances are theorems of a given theory $T$; we call these the validities of $T$ ($\mathsf{V}(T)$). It is easy to see that if $T$ is a decidable theory, then $\mathsf{V}(T)$ is distinct from the set of valid formulas of first-order logic as customarily understood. We provide a complete model-theoretic characterization of the complexity, in the sense of Turing degree, of $\mathsf{V}(T)$ for decidable theories $T$, and answer a…

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher
https://

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
The canonical class in the realm of counting complexity is #P. It is well known that the problem of counting the models of a propositional formula in disjunctive normal form (#DNF) is complete for #P under Turing reductions. On the other hand, #DNF $\in$ spanL and spanL $\not\subseteq$ #P unless NL = NP. Hence, the class of functions logspace-reducible to #DNF is a strict subset of #P under plausible complexity-theoretic assumptions. By contrast, we show that two calls to a (restricted) #2DNF o…

Josh and Hazel's Guide to Not Dating, by Christina Lauren
#Book #Humour #Meh #Review

Great Big Beautiful Life, by Emily Henry
#Book #Family #Meh #Review 

Adolf Hitler: Die Jahre des Untergangs 1939-1945 (Adolf Hitler. Biographie 2), von Volker Ullrich
#Buch #Favorit #Historisch

The Giving Tree, by Shel Silverstein
#Book #Classic #Crap #Review 

A Grave in the Woods (Bruno, Chief of Police #17), by Martin Walker
#Book #Meh #Mystery #Review

The Overlook (Harry Bosch #13), by Michael Connelly
#Book #Crime #Meh #Mystery

Love and Other Words, by Christina Lauren
#Book #Family #Humour #Meh

Husband Missing (Detective Josie Quinn #22), by Lisa Regan
#Book #Crime #Meh #Mystery

Echo Park (Harry Bosch #12), by Michael Connelly
#Book #Crime #Mystery #PoliceProcedural

All the Colors of the Dark, by Chris Whitaker
#Book #Family #Mystery #Review

Damsel, by Elana K. Arnold
#Book #ComingofAge #Fantasy #Favourite

First Blood (D.I. Kim Stone #0.5), by Angela Marsons
#Book #Crime #Mystery #PoliceProcedural

The Drop (Harry Bosch #15), by Michael Connelly
#Book #Crime #Favourite #Mystery

The Lincoln Lawyer (The Lincoln Lawyer #1), by Michael Connelly
#Book #Crime #Mystery #Review