In 10 minutes the #ArtemisII Fueling Test News Conference will stream at https://www.youtube.com/live/ycqk3uN_N6g - as announced in https://www.nasa.gov/blogs/missions/2026/02/03/nasa-conducts-artemis-ii-fuel-test-eyes-march-for-launch-opportunity/ and https://x.com/NASAAdmin/status/2018578937115271660 the first launch attempt has already been moved to March.
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…
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
Urban Demons VII 👻
城市鬼魂 VII 👻
📷 Zeiss IKON Super Ikonta 533/16
🎞️ Ilford HP5 400 Plus, expired 1993
If you like my work, buy me a coffee from PayPal https://www.paypal.com/paypalme/ydcdingsite
🇺🇦 #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
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
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…
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…
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/