Tootfinder

Heartbreaking to see a once sharp, insightful and shrewd friend give up on rigor and logic and collapse into purified rage and lashing out with no foundation nor grounding.
Hard losing the trust and closeness that once was.
Radicalization can ruin so much. We are all vulnerable to it.
Asking oneself questions like "what information, if it existed, would change my mind" and "am I wrong, can I figure out how I am" and finding answers might help avoid it…

Krise in Europa - deutsch-französische Freundschaft auf Tiefpunkt
Bundeskanzler Friedrich #Merz sieht in den Gesetzen von Nicolas Carnot († 24.8.1832) einen Angriff auf die deutsche Verbrennerindustrie und wirft Emanuel #Macron vor, elektrische Kleinwagen gegenüber deutschen Maximalverbrauchern bevort…

The Kavanaugh Stop's Legacy: 50 Days, 170 Detained Citizens, Zero Answers (Mike Masnick/Techdirt)
https://www.techdirt.com/2025/10/29/the-kavanaugh-stops-legacy-50-days-170-detained-citizens-zero-answers/
http://www.memeorandum.com/251029/p126#a251029p126

Consequences of Undecidability in Physics on the #TheoryOfEverything: #universe is a #ComputerSiimulation: https://news.ok.ubc.ca/2025/10/30/ubco-study-debunks-the-idea-that-the-universe-is-a-computer-simulation/ - new study uses logic and physics to definitively answer one of science's biggest questions.

Erase to Improve: Erasable Reinforcement Learning for Search-Augmented LLMs
Ziliang Wang, Kang An, Xuhui Zheng, Faqiang Qian, Weikun Zhang, Cijun Ouyang, Jialu Cai, Yuhang Wang, Yichao Wu
https://arxiv.org/abs/2510.00861

Erase to Improve: Erasable Reinforcement Learning for Search-Augmented LLMs
While search-augmented large language models (LLMs) exhibit impressive capabilities, their reliability in complex multi-hop reasoning remains limited. This limitation arises from three fundamental challenges: decomposition errors, where tasks are incorrectly broken down; retrieval missing, where key evidence fails to be retrieved; and reasoning errors, where flawed logic propagates through the reasoning chain. A single failure in any of these stages can derail the final answer. We propose Erasa…

Which Programming Language and Model Work Best With LLM-as-a-Judge For Code Retrieval?
Lucas Roberts, Denisa Roberts
https://arxiv.org/abs/2510.00324 https://

Which Programming Language and Model Work Best With LLM-as-a-Judge For Code Retrieval?
Code search is an important information retrieval application. Benefits of better code search include faster new developer on-boarding, reduced software maintenance, and ease of understanding for large repositories. Despite improvements in search algorithms and search benchmarks, the domain of code search has lagged behind. One reason is the high cost of human annotation for code queries and answers. While humans may annotate search results in general text QA systems, code annotations require s…

Some left-leaning audiences are turning to independent outlets like Bulwark and Crooked Media, abandoning legacy media over their pro-Trump transgressions (Max Tani/Semafor)
https://www.semafor.com/article/09/21/2025/look-at-the-cha…

‘Look at the charts’: Democrats desert legacy media for new outlets
Angry viewers are trying to make legacy outlets pay for their pro-Trump transgressions by turning to competitors.

The Role of Logic and Automata in Understanding Transformers
Anthony W. Lin, Pablo Barcelo
https://arxiv.org/abs/2509.24024 https://arxiv.org/pdf/2509.2402…

The Role of Logic and Automata in Understanding Transformers
The advent of transformers has in recent years led to powerful and revolutionary Large Language Models (LLMs). Despite this, our understanding on the capability of transformers is still meager. In this invited contribution, we recount the rapid progress in the last few years to the question of what transformers can do. In particular, we will see the integral role of logic and automata (also with some help from circuit complexity) in answering this question. We also mention several open problems…

Enabling full localization of qubits and gates with a multi-mode coupler
Zhongyi Jiang, Simon Geisert, S\"oren Ihssen, Ioan M. Pop, Mohammad H. Ansari
https://arxiv.org/abs/2509.26211

Enabling full localization of qubits and gates with a multi-mode coupler
Tunable couplers are a key building block of superconducting quantum processors, enabling high on-off ratios for two-qubit entangling interactions. While crosstalk can be mitigated in idle mode, conventional single-mode couplers lack independent control over interactions in the one- and two-excitation manifolds, leading to unitary errors such as leakage during gate operations. Moreover, even at the nominal decoupled point, residual wavefunction delocalization persists, causing unintended qubit-…