Tootfinder

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

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.

🇺🇦 #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

“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

A researcher details an LLM-based AI agent that "demonstrated a near-flawless ability" to bypass bot detection methods while answering online survey questions (Emanuel Maiberg/404 Media)
https://www.404media.co/a-researcher-made-

A Researcher Made an AI That Completely Breaks the Online Surveys Scientists Rely On
We can no longer trust that survey responses are coming from real people.”

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…

The thing is, he knows he's a fascist (and a racist, and a criminal, and and and..). It's the fucking media that tiptoes around these labels.
"Trump's latest actions has some questioning free speech issues.." Go fuck yourself, I hope your newspaper or tv channel goes out of business.

The Tennessee Holler (@thetnholler.bsky.social)
Q: “Are you affirming you think Trump is a fascist?” TRUMP: “That’s ok, you can just say yes.” ZOHRAN: “Ok. Yes.”

I’d love to have accounts tagged with their owners’ general location. Nation. State. Time zone. Context matters. @… https://

Bill Cole (@scconsult.com)
WOW. Definitely worthy of an exemption from my usual policy towards X screengrabs. This change is surprising and I hope other platforms also adopt a general location as the norm in a profile. I'm sure it would have been hilarious back when the place wasn't Elon's toy. [contains quote post or other embedded content]

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…