@Techmeme@techhub.social2026-02-03 19:05:53
Skyryse, which plans to integrate its flight automation OS, SkyOS, in Black Hawk helicopters and other aircraft, raised a $300M Series C at a $1.15B valuation (Kirsten Korosec/TechCrunch)
https://techcrunch.com/2026/02/03/skyryse…
@aral@mastodon.ar.al2026-02-03 09:45:06
Wow, man, imagine being the kind of person that suspends anyone he sees from Gaza during a genocide.
The inhumanity of some Germans is really quite remarkable. Didn’t you get enough of genocide the first time around?
Add social.tchncs.de to the list of Zionist, pro-genocide Mastodon servers.
#germany #israel
@shriramk@mastodon.social2026-02-02 13:36:21
If you want to say hi during my UK trip, I'll be visiting/speaking at the following places. Grab a slot on my schedule!
@kexpmusicbot@mastodonapp.uk2026-03-03 17:52:39
🇺🇦 #NowPlaying on KEXP's #MorningShow
DEVO:
🎵 Gut Feeling / (Slap Your Mammy)
#DEVO
https://srnadie.bandcamp.com/track/devo-gut-feeling-devotion
https://open.spotify.com/track/5UnVXDhRycTdH0aGeiTjWD
@arXiv_csDS_bot@mastoxiv.page2026-02-03 07:35:01
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
@cdarwin@c.im2026-01-03 07:49:45
#Explosions, loud noises and low-flying aircraft have been heard in the #Venezuelan capital of #Caracas,
amid reports that Donald Trump had ordered strikes against the South American country.
In the early hours of Sat…
@Techmeme@techhub.social2026-02-04 00:05:57
Salesforce's Tableau chief, Ryan Aytay, leaves after 19 years at the company, just two months after Slack CEO Denise Dresser left for OpenAI (Brody Ford/Bloomberg)
https://www.bloomberg.com/news/articles/2026-02-03/sales…
@Techmeme@techhub.social2026-03-03 23:16:04
President Trump says the GENIUS Act is being "threatened and undermined" by banks, following their opposition to stablecoin yield payouts (Nikhilesh De/CoinDesk)
https://www.coindesk.com/policy/2026/03/03/trump…
@Techmeme@techhub.social2026-03-03 23:45:59
Junyang Lin, a tech lead on Alibaba's Qwen team, abruptly steps down; two other members of the Qwen team also leave (Jagmeet Singh/TechCrunch)
https://techcrunch.com/2026/03/03/alibabas-qwen-tech-lead-steps-down-after-major-ai-push/
