Tootfinder

The AdS/$\mathsf{C}$-$\mathsf{P}$-${\mathsf T}$ Correspondence
Jaume Gomis
https://arxiv.org/abs/2507.12467 https://arxiv.org/pdf/250…

The AdS/$\mathsf{C}$-$\mathsf{P}$-${\mathsf T}$ Correspondence
We study the realization of $\mathsf{C}$, $\mathsf{P}$, $\mathsf{T}$ in ${\cal N}=4$ SYM - corresponding to charge conjugation, parity, and time-reversal - and identify the $\mathsf{C}$, $\mathsf{P}$, $\mathsf{T}$ global symmetries of ${\cal N}=4$ SYM with bulk (gauge) symmetries of string theory on $AdS_5\times S^5$. The dual bulk transformations are symmetries of Type IIB string theory on $AdS_5\times S^5$ that combine string worldsheet symmetries, with geometric transformations acting on $Ad…

Yes, this is epic!
https://midtsveen.codeberg.page
You will love this one!

NFL Week 3 will feature this rare QB matchup that the league hasn't seen in 27 years

https://www.cbssports.com/nfl/news/nfl-week-3-will-featur…

🧵 https://mastodon.social/@mattsheffield/114864376228330562

Versus: Raiders' young defenders tasked with their toughest matchups to date https://www.raiders.com/news/versus-kyu-blu-kelly-to-be-tasked-with-his-toughest-matchup-to-date-commanders-week-3

Cyclic proof theory of positive inductive definitions
Gianluca Curzi, Lukas Melgaard
https://arxiv.org/abs/2507.13057 https://arxiv.o…

Cyclic proof theory of positive inductive definitions
We study cyclic proof systems for $μ\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $Π^1_2$-$\mathsf{CA}_0$ by Möllefeld. The main result of this paper is that cyclic and inductive $μ\mathsf{PA}$ have the same proof-theoretic strength. First, we translate cyclic proofs into an annotated variant based on Sprenger and Dam's systems for first-order $μ$-calculus, whose…

Falcons and Buccaneers set for a rare game in 2025 with a uniform matchup that almost never happens

https://www.cbssports.com/nfl/news/falcons

01:53—Good night #Fediverse! 😴💤
https://social.linux.pizza/@midtsveen/114876230980101793

A test for Fernando Mendoza, other matchups our NFL Draft expert is watching in Week 4 https://www.nytimes.com/athletic/6637828/2025/09/18/nfl-draft-2026-fernando-mendoza-illinois-indiana/