Tootfinder

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
Daisuke Ikegami, W. Hugh Woodin
https://arxiv.org/abs/2510.11034 https://arxiv.or…

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
We show that the Axiom of Real Determinacy $\mathsf{AD}_{\mathbb{R}}$ and the Axiom of Real Blackwell Determinacy $\mathsf{Bl}\text{-}\mathsf{AD}_{\mathbb{R}}$ are equivalent in $\mathsf{ZF}$+$\mathsf{DC}$. This answers the question of Löwe [15, Question 53]. While we do not know whether they are equivalent in $\mathsf{ZF}$+$\mathsf{AC}_ω (\mathbb{R})$, we show that the theories $\mathsf{ZF}$+$\mathsf{AD}_{\mathbb{R}}$ and $\mathsf{ZF}$+$\mathsf{AC}_ω (\mathbb{R})$+$\mathsf{Bl}\text{-}\maths…

I’ve moved my “Entry to Left Wing Anarchist Reading” to my personal website.
It’s styled to look a lot like Google Docs, that was intentional, regardless, it’s hosted in a more private, self-controlled space.
⭐ Read more here: https://midtsveen.codeberg.page/resources.html ⭐<…

Rodgers, Flacco happy to be part of 'Icy Hot Bowl' https://www.espn.com/nfl/story/_/id/46596773/steelers-rodgers-bengals-flacco-rare-matchup-qbs-40s

Which Key Matchup Will Decide Raiders' Fortunes vs Eagles https://www.si.com/nfl/raiders/onsi/las-vegas-key-matchup-decide-fortunes-eagles

MatSciBench: Benchmarking the Reasoning Ability of Large Language Models in Materials Science
Junkai Zhang, Jingru Gan, Xiaoxuan Wang, Zian Jia, Changquan Gu, Jianpeng Chen, Yanqiao Zhu, Mingyu Derek Ma, Dawei Zhou, Ling Li, Wei Wang
https://arxiv.org/abs/2510.12171

MatSciBench: Benchmarking the Reasoning Ability of Large Language Models in Materials Science
Large Language Models (LLMs) have demonstrated remarkable abilities in scientific reasoning, yet their reasoning capabilities in materials science remain underexplored. To fill this gap, we introduce MatSciBench, a comprehensive college-level benchmark comprising 1,340 problems that span the essential subdisciplines of materials science. MatSciBench features a structured and fine-grained taxonomy that categorizes materials science questions into 6 primary fields and 31 sub-fields, and includes …

The Worrisome Aspects of Raiders' Matchup vs. Eagles https://www.si.com/nfl/raiders/onsi/las-vegas-worrisome-aspects-matchup-eagles

RE: https://social.linux.pizza/@midtsveen/115717702583023527
Even I’ve internalized ableism that I still need to unpack, especially when it comes to the medications I take and how that ties into capitalism.

RE: https://social.linux.pizza/@midtsveen/115717584080813319
Anyway, it’s 13:58, so I’m gonna log off now. As you can see, I’ve made a new pinned introduction post.

RE: #Capitalism

RE: #Firefox posts on the Mastodon mobile app and got completely confuse…