Tootfinder

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
MADMADMAD:
🎵 Spin Wave
#MADMADMAD
https://madmadmad.bandcamp.com/track/spin-wave
https://open.spotify.com/track/6E7tzoAGI8Sp07LNHqk7Wb

In the third century BCE, Apollonius of Perga asked how many circles one could draw that would touch three given circles at exactly one point each.
It would take 1,800 years to prove the answer: eight.
Such questions, which ask for the number of solutions that satisfy a set of geometric conditions,
were a favorite of the ancient Greeks.
And they’ve continued to entrance mathematicians for millennia.
How many lines lie on a cubic surface?
How many quadrat…

New Math Revives Geometry’s Oldest Problems | Quanta Magazine
Using a relatively young theory, a team of mathematicians has started to answer questions whose roots lie at the very beginning of mathematics.

"Ordenando conocimiento mediante texto plano" en mi blog #gemini

AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
Lisa Alazraki, Lihu Chen, Ana Brassard, Joe Stacey, Hossein A. Rahmani, Marek Rei
https://arxiv.org/abs/2508.19988

AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
Large Language Models (LLMs) have achieved high accuracy on complex commonsense and mathematical problems that involve the composition of multiple reasoning steps. However, current compositional benchmarks testing these skills tend to focus on either commonsense or math reasoning, whereas LLM agents solving real-world tasks would require a combination of both. In this work, we introduce an Agentic Commonsense and Math benchmark (AgentCoMa), where each compositional task requires a commonsense r…

ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoning
Qizhi Pei, Zhuoshi Pan, Honglin Lin, Xin Gao, Yu Li, Zinan Tang, Conghui He, Rui Yan, Lijun Wu
https://arxiv.org/abs/2509.21070

ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoning
Large Reasoning Models (LRMs) have shown impressive capabilities in complex problem-solving, often benefiting from training on difficult mathematical problems that stimulate intricate reasoning. Recent efforts have explored automated synthesis of mathematical problems by prompting proprietary models or large-scale open-source models from seed data or inherent mathematical concepts. However, scaling up these methods remains challenging due to their high computational/API cost, complexity of prom…

Plex macht ernst: Remote Streaming bald nur noch mit Abo
Um bei Plex unterwegs auf eine Mediendatenbank zugreifen zu können, ist schon seit Monaten ein Abo nötig – theoretisch. Nun will Plex die Regel umsetzen.
http…

J. William Middendorf II, 101, Dies; Navy Secretary and Musical Diplomat (Robert D. McFadden/New York Times)
https://www.nytimes.com/2025/10/24/us/politics/j-william-middendorf-ii-dead.html
http://www.memeorandum.com/251025/p40#a251025p40

SteinerSQL: Graph-Guided Mathematical Reasoning for Text-to-SQL Generation
Xutao Mao, Tao Liu, Hongying Zan
https://arxiv.org/abs/2509.19623 https://arxiv.…

SteinerSQL: Graph-Guided Mathematical Reasoning for Text-to-SQL Generation
Large Language Models (LLMs) struggle with complex Text-to-SQL queries that demand both sophisticated mathematical reasoning and intricate schema navigation. Existing methods often tackle these challenges in isolation, creating a fractured reasoning process that compromises logical and structural correctness. To resolve this, we introduce SteinerSQL, a framework that unifies these dual challenges into a single, graph-centric optimization problem. SteinerSQL operates in three stages: mathematica…

LIVE: Player's Lounge Podcast | 9-26-25 | Dallas Cowboys 2025 https://www.youtube.com/watch?v=MWTMtWOv6vg

from my link log —
A basis for a mathematical theory of computation. (John McCarthy, 1961-3)
https://www-formal.stanford.edu/jmc/basis1.pdf
saved 2025-09-19