Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@raiders@darktundra.xyz
2025-12-10 06:37:36

Raiders’ Pete Carroll Gives QB Update Ahead of Eagles Game heavy.com/sports/nfl/las-vegas]

@Mediagazer@mstdn.social
2025-12-08 20:35:44

Letterboxd plans to launch its Video Store film rental platform on December 10, offering curated indie titles in 23 countries, including the US, UK, and France (Todd Spangler/Variety)
variety.com/2025/digital/news/

@adulau@infosec.exchange
2025-12-06 16:10:40

We’ve updated the draft GCVE BCP-05 standard to introduce flexible record types, making it easier to extend, enrich, and structure security advisories.
Comments are more than welcome!
#gcve #cve #vulnerability

@BugWarp@wikis.world
2026-02-07 22:50:25

On Wednesday I got to see Spain's amazing Patrulla Aspa
commons.wikimedia.org/wiki/Cat

Two EC120 from Patrulla Aspa
EC120 from Patrulla Aspa flying in formation
Patrulla Aspa
Five EC120 from Patrulla Aspa making the Spanish flag with smoke

Albany Georgia isn’t the only place where the poorest among us are also the sickest.
The United States is blessed with one of the most scientifically and technologically advanced health care systems in the world,
a sprawling industry so vast and lucrative that it is now one of the largest drivers of the economy,
accounting for more jobs and revenue than manufacturing.
But for all the money flowing in and out,
Americans have more chronic illnesses and shorte…

@Techmeme@techhub.social
2026-01-05 10:20:28

Chinese automotive chipmaker Black Sesame says its Huashan A2000 chip passed the US Commerce and Defense Departments' "relevant reviews" for global sales (Coco Feng/South China Morning Post)
scmp.com/tech/article/3338742/<…

@vosje62@mastodon.nl
2026-01-05 15:50:19

Vrachtwagen urenlang vast in sneeuw bij spoorwegovergang in Boskoop | @…
transport-online.nl/112747/vra
Het verkeer staat lokaal soms voor flinke uitdagingen... 😇

@arXiv_csDS_bot@mastoxiv.page
2026-02-03 07:35:01

End Cover for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis
Bingwei Zhang, Chee Yap
arxiv.org/abs/2602.00162 arxiv.org/pdf/2602.00162 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

@relcfp@mastodon.social
2026-01-07 06:10:23

H-Net Job Guide Weekly Report for H-Asia: 21 December - 28 December
ift.tt/BVEyQ8p
CfP: International Conference "Violent Turns: Sources, Interpretations, Responses" …
via Input 4 RELCFP

@raiders@darktundra.xyz
2025-12-08 02:37:36

Raiders Draw Strong Kenny Pickett Message Before Eagles Game heavy.com/sports/nfl/las-vegas]