Tootfinder

Thread about the two Palestinians invited to speak at Kehilla Community Synagogue in Piedmont, who were instead detained at SFO with their visas arbitrarily canceled:
https://social.coop/@raph/114674710005408478

#book2read: Bowling Alone: Revised and Updated: The Collapse and Revival of American Community by Robert D. Putnam
https://a.co/d/fLuNixl
via Unabashed Faith: Resisting Anti-Spiritual Influences in the Modern World…

The 60-year-old man lying on the street, as far as anyone knew, was just a janitor hit by a drunk driver.
There was no mention of it on the local news, no obituary in the morning paper.
His name might have been Anonymous. But it wasn’t. 
His name was Peter Putnam.
He was a physicist who’d hung out with Albert Einstein, John Archibald Wheeler, and Niels Bohr,
and two blocks from the crash, in his run-down apartment, where his partner, Claude, was startled by a scr…

Finding Peter Putnam
The forgotten janitor who discovered the logic of the mind

IXPE view of the Sco-like source GX 349 2 in the normal branch
Fabio La Monaca, Anna Bobrikova, Juri Poutanen, Francesco Coti Zelati, Maura Pilia, Alexandra Veledina, Matteo Bachetti, Vladislav Loktev, Fei Xie
https://arxiv.org/abs/2507.07163

IXPE view of the Sco-like source GX 349+2 in the normal branch
We present a detailed spectropolarimetric study of the Sco-like Z-source GX 349+2, simultaneously observed with the Imaging X-ray Polarimetry Explorer (IXPE) and Nuclear Spectroscopic Telescope Array (NuSTAR). During the observations GX 349+2 was found mainly in the normal branch. A model-independent polarimetric analysis yields a polarisation degree of $1.1\% \pm 0.3\%$ at a polarisation angle of $29° \pm 7°$ in the 2--8 keV band, with ${\sim}4.1σ$ confidence level significance. No variabil…

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Zhenwen Liang, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, Dong Yu
https://arxiv.org/abs/2507.06804

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Automated Theorem Proving (ATP) in formal languages is a foundational challenge for AI. While Large Language Models (LLMs) have driven remarkable progress, a significant gap remains between their powerful informal reasoning capabilities and their weak formal proving performance. Recent studies show that the informal accuracy exceeds 80% while formal success remains below 8% on benchmarks like PutnamBench. We argue this gap persists because current state-of-the-art provers, by tightly coupling r…

Our meetup was well-attended with two interesting talks:
📋 Sarah Julia Kriesch presented "Docker vs Podman" - a beginner-friendly introduction to container basics and key differences between these tools.
🔧 Philip Laine showcased "Spegel", an OCI Registry Mirror that leverages torrent technology for efficient container image distribution - saving traffic costs and safeguarding against registry outages.
1/2

tL;dr summary as to why you don't already know #PeterPutnam couldn't possibly be 40s-60s USA, him being gay, parterned lifelong with a black man, or even heaven forbid that his game-theory tinker-toy of consciousness was flawed (although should i learn the #agi fanfois will deploy it, it wouldn't surprise me)
Finding Peter Putnam - Nautilus
https://nautil.us/finding-peter-putnam-1218035/

Premiered in Washington DC yesterday: "Alien vs. Predator II".
Featuring Elon "Kill Bill" Musk and Donald "Home Alone" Trump in the leading roles. A Putin&Qatar Productions release.

Semantically Separating Nominal Wyvern for Usability and Decidability
Yu Xiang Zhu, Amos Robinson, Sophia Roshal, Timothy Mou, Julian Mackay, Jonathan Aldrich, Alex Potanin
https://arxiv.org/abs/2507.03867

Semantically Separating Nominal Wyvern for Usability and Decidability
The Dependent Object Types (DOT) calculus incorporates concepts from functional languages (e.g. modules) with traditional object-oriented features (e.g. objects, subtyping) to achieve greater expressivity (e.g. F-bounded polymorphism). However, this merger of paradigms comes at the cost of subtype decidability. Recent work on bringing decidability to DOT has either sacrificed expressiveness or ease of use. The unrestricted construction of recursive types and type bounds has made subtype decidab…

Physics of Strong Magnetism with eXTP
Mingyu Ge, Long Ji, Roberto Taverna, Sergey Tsygankov, Yanjun Xu, Andrea Santangelo, Silvia Zane, Shuang-Nan Zhang, Hua Feng, Wei Chen, Quan Cheng, Xian Hou, Matteo Imbrogno, Gian Luca Israel, Ruth Kelly, Ling-Da Kong, Kuan Liu, Alexander Mushtukov, Juri Poutanen, Valery Suleimanov, Lian Tao, Hao Tong, Roberto Turolla, Weihua Wang, Wentao Ye, Qing-Chang Zhao, Jinjun Geng, Lin Lin, Wei-Yang Wang, Fei Xie, Shao-Lin Xiong, Shu Zhang, Yucong Fu, Dong L…

Physics of Strong Magnetism with eXTP
In this paper we present the science potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission, in its new configuration, for studies of strongly magnetized compact objects. We discuss the scientific potential of eXTP for QED studies, especially leveraging on the recent observations made with the NASA IXPE mission. Given eXTP's unique combination of timing, spectroscopy, and polarimetry, we focus on the perspectives for physics and astrophysics studies of strongly magnetized compact…