Tootfinder

Slogan ideas welcome too. A few I've been thinking of:
- "Impeach Trump/Abolish ICE/Abolish DHS" - simple, helps build momentum towards at least one specific demand which IMO the movement could use pretty soon.
- "If you separate my family I'll separate yours/As you ride to snatch children are yours safe at home?" - maybe too many words, but inspires fear/defection in ICE other troops, which IMO the movement needs more of. Hopefully too vague to be a criminal threat or incitement (especially version with the conditional?).

Thomason's colimit theorem for the double category of elements
Andrew Gill, Maru Sarazola
https://arxiv.org/abs/2506.08246 https://

Thomason's colimit theorem for the double category of elements
We show that, for any 2-category $C$ and 2-functor $F\colon C \to Cat$, the double category of elements $\iint_C F$ introduced by Grandis and Paré satisfies a version of Thomason's colimit theorem; that is, there is a weak homotopy equivalence $B hocolim F\simeq B(\iint_C F)$.

Non-augmented velocity-vorticity-pressure formulation for the Navier--Stokes--Brinkman--Forchheimer problem
Santiago Badia, Carsten Carstensen, Alberto F. Martin, Ricardo Ruiz-Baier, Segundo Villa-Fuentes
https://arxiv.org/abs/2506.10533

Non-augmented velocity-vorticity-pressure formulation for the Navier--Stokes--Brinkman--Forchheimer problem
The flow of incompressible fluid in highly permeable porous media in vorticity - velocity - Bernoulli pressure form leads to a double saddle-point problem in the Navier--Stokes--Brinkman--Forchheimer equations. The paper establishes, for small sources, the existence of solutions on the continuous and discrete level of lowest-order piecewise divergence-free Crouzeix--Raviart finite elements. The vorticity employs a vector version of the pressure space with normal and tangential velocity jump pen…

I remember thinking somewhere around the mid seventies that Springsteen and the E Street Band, was like a version of Phil Lynott and Thin Lizzy.
But Phil Lynott did it with a lot less verses.
And this was from this side of the Atlantic, it took a long while to appreciate Springsteen more, perhaps 30 years longer.
Maybe because I kept Van Morrison (another Irishman), so close from the early 70's.
And then again watching this 75 gig on BBC 2 I'm mostly thinkin…

Thanks to a book recommendation by @… [1], I went on a tangent learning more about the absolutely fascinating history and workings of core memory (and core rope memory, its read-only version). Some of this also very interesting for #PermaComputing and …

My main concern here is how well this “new” spec be integrated? Will Chrome add support? Will Photoshop, GIMP and other tools support it?
Will end users like us use it day to day by replacing PNG or JPG?
Now don’t get me wrong this is a good thing and it comes with good features but remember JPEG-XL? I can’t stop thinking this is a tall order to popularise the newer version.
From: @…

🇺🇦 #NowPlaying on BBCRadio3's #InTune
Michael Giacchino, Lalo Schifrin, Michael Giacchino, Lalo Schifrin, Hollywood Studio Symphony & Tim Simonec:
🎵 Mission: Impossible Theme (Out With A Bang Version)
#MichaelGiacchino #LaloSchifrin #HollywoodStudioSymphony #TimSimonec