🇺🇦 #NowPlaying on KEXP's #MechanicalBreakdown
Gris Futuro:
🎵 Far-Flung
#GrisFuturo
https://grisfuturo.bandcamp.com/track/far-flung-2
https://open.spotify.com/track/4CbPORnLY1k6oXLP9vONrf
Sorry not sorry but I’ll be over here doing anything but wallowing in a cognitively offloaded prison of my own making https://defector.com/go-ahead-and-use-ai-it-will-only-help-me-dominate-you
End Cover for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis
Bingwei Zhang, Chee Yap
https://arxiv.org/abs/2602.00162 https://arxiv.org/pdf/2602.00162 https://arxiv.org/html/2602.00162
arXiv:2602.00162v1 Announce Type: new
Abstract: We consider the first-order autonomous ordinary differential equation \[ \mathbf{x}' = \mathbf{f}(\mathbf{x}), \] where $\mathbf{f} : \mathbb{R}^n \to \mathbb{R}^n$ is locally Lipschitz. For a box $B_0 \subseteq \mathbb{R}^n$ and $h > 0$, we denote by $\mathrm{IVP}_{\mathbf{f}}(B_0,h)$ the set of solutions $\mathbf{x} : [0,h] \to \mathbb{R}^n$ satisfying \[ \mathbf{x}'(t) = \mathbf{f}(\mathbf{x}(t)), \qquad \mathbf{x}(0) \in B_0 . \]
We present a complete validated algorithm for the following \emph{End Cover Problem}: given $(\mathbf{f}, B_0, \varepsilon, h)$, compute a finite set $\mathcal{C}$ of boxes such that \[ \mathrm{End}_{\mathbf{f}}(B_0,h) \;\subseteq\; \bigcup_{B \in \mathcal{C}} B \;\subseteq\; \mathrm{End}_{\mathbf{f}}(B_0,h) \oplus [-\varepsilon,\varepsilon]^n , \] where \[ \mathrm{End}_{\mathbf{f}}(B_0,h) = \left\{ \mathbf{x}(h) : \mathbf{x} \in \mathrm{IVP}_{\mathbf{f}}(B_0,h) \right\}. \]
Moreover, we provide a complexity analysis of our algorithm and introduce a novel technique for computing the end cover $\mathcal{C}$ based on covering the boundary of $\mathrm{End}_{\mathbf{f}}(B_0,h)$. Finally, we present experimental results demonstrating the practicality of our approach.
toXiv_bot_toot
My neighbor took this picture of our shared backyard last night.
#NYC #snowmaggedon2026 #Queens
Headlines this morning: Pam Bondi has ordered the arrest of journalists Don Lemon and Georgia Fort, alleging they were participating as part of a protest.
Lemon and Fort state they were not part of the protest and instead were there as journalists covering the story.
Ordinarily, federal prosecutors would not be involved in investigating & filing charges for a protest. I'd expect the local police and prosecutors to handle that. IANAL
Lawmakers on Capitol Hill are accusing the Justice Department of
covering up the names of co-conspirators of the deceased sex offender Jeffrey Epstein
as fallout from the Epstein files grows across the globe.
Millions of pages remain unreleased.
As many prominent U.S. figures evade accountability following mentions in the Epstein files,
a number of European figures have resigned for their relationships with Epstein.
“The most extraordinary and worrying …
Filing: Paramount president Jeff Shell says the allegation that he leaked corporate info is an "utterly false tale" created by a "fixer" who sued him for $150M (Todd Spangler/Variety)
https://variety.com/2026/tv/news/param
RE: https://mastodon.social/@jockr/115924111507057837
"End-of-year filings reveal that in 2024 the trust invested $254m in companies that extract fossil fuels such as Chevron, BP and Shell. This was a nine-year record and up 21% from 2016, Guardian anal…
This is good advice received from a local retrofit organisation. I'm always amazed by how many people don't appear to understand this simple fact.
MONTHLY TOP TIP
Did you know how much of a difference closing curtains and blinds can make ?
In summer leaving window coverings closed can reduce the heat input to prevent overheating and in the winter closing them before dark can keep heat from escaping and keep your home feeling cosy.