Tootfinder

🇺🇦 Auf radioeins läuft...
Maverick Sabre:
🎵 These Days - Mav's Version
#NowPlaying #MaverickSabre
https://open.spotify.com/track/0kKk6VIhongk9j84kbS6jg

America’s Next Top Model (Context Protocol Server)
https://youtu.be/mVrCPo8eB3A

I know I’ve glazed Overmind in my last video, but I think I‘ve come to like mprocs more now! It separates the output, is actively maintained, and it works better overall for me: https://github.com/pvolok/mprocs

GitHub - pvolok/mprocs: Run multiple commands in parallel
Run multiple commands in parallel. Contribute to pvolok/mprocs development by creating an account on GitHub.

“Many researchers worry about the long-term effects of throttling the pipeline of trained scientists.
‘If this keeps up, it would be really devastating for the field, bc this is where the next generation of experts comes from,’
says Emily Levesque,
an astronomer at the Univ of WA in Seattle.”
https://

Author Bill Sullivan (@authorbillsullivan.com)
US PhD admissions shrink as fears over Trump’s cuts take hold Some doctoral programmes are admitting no students at all amid uncertainty about federal science funding. https://www.nature.com/articles/d41586-025-03417-6

Man, Cooper Flagg has seriously come into his own. Good to see the Mavs healing after Nico burned the team down.
#dallas #cooperflagg #mavericks

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Lila Iké feat Maverick Sabre:
🎵 All That And More
#LilaIkéfeatMaverickSabre
https://ineffablerecords.bandcamp.com/track/all-that-and-more-with-maverick-sabre
https://open.spotify.com/track/1X59bPErmTcDuC9Fdsn9If

TFW du aus Eigennutz an Openstreetmap-Karten rum stümperst, damit Fußgängerroutenplanung für dich funktioniert, es dann aber am Ende nicht nur dir zu Gute kommen wird. ☺️

Judicious partitions for restricted self-sumsets in cyclic groups
Keane Maverick Irawan
https://arxiv.org/abs/2509.20568 https://arxiv.org/pdf/2509.20568…

Judicious partitions for restricted self-sumsets in cyclic groups
We study the minimax problem for restricted two-fold self-sumsets in $k$-colorings of $\mathbb{Z}_n$. For primes $p$ with $2\le k\le p$ we determine the exact minimum $\max\{0,\,2\lceil p/k\rceil-3\}$. For general $n$ (with $m=\lceil n/k\rceil$) we bound the optimum between a size term $\min\{p(n),\,2m-3\}$ and a periodicity term $f\big(n/q(n,k)\big)$, and show these bounds are tight when $2m-3\le p(n)$ or $f\big(n/q(n,k)\big)\le \min\{p(n),\,2m-3\}$. We further prove a stability inequality and…

NFL Week 8 winners and losers: Saquon Barkley, James Cook lead big-name RBs as Bengals, Falcons defenses fold

https://www.cbssports.com/nfl/news/nfl-week-8-winners-losers-results-scores/

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, Alexander Nelson, Peter Nelson, Mark Sandey, Ivan Sergeev
https://arxiv.org/abs/2509.20539

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and result…