1.
2.
3.
The Download: a battery pivot to AI, and rewriting math
(technologyreview.com)
4.
This startup wants to change how mathematicians do math
(technologyreview.com)
5.
Can Private Space Companies Replace the ISS Before 2030?
(slashdot.org)
7.
8.
9.
10.
Parakeet.cpp – Parakeet ASR inference in pure C++ with Metal GPU acceleration
(news.ycombinator.com)
12.
How Gorilla Tag is weathering the VR winter
(theverge.com)
14.
Rabbit Ear "Origami": programmable origami in the browser
(news.ycombinator.com)
15.
Rabbit Ear "Origami": programmable origami in the browser (JS)
(news.ycombinator.com)
16.
Reverse math shows why hard problems are hard
(news.ycombinator.com)
17.
How to watch the Axiom Mission 4 astronauts reach the ISS
(engadget.com)
18.
The Space Station Leak Is Rearing Its Ugly Head Again
(futurism.com)
19.
100 years of Zermelo's axiom of choice: What was the problem with it? (2006)
(news.ycombinator.com)