931.
932.
933.
The extended predicative Mahlo universe in Martin-Löf type theory
(news.ycombinator.com)
934.
935.
936.
937.
938.
939.
940.
What if Dark Matter Doesn’t Actually Exist?
(gizmodo.com)
941.
Investors pile into clean energy as Iran war drives push for energy security
(news.ycombinator.com)
942.
943.
Researchers print structural colour with an inkjet printer
(news.ycombinator.com)
944.
945.
The White House Suddenly Seems Pretty Terrified of Anthropic
(futurism.com)
946.
947.
Ulta Promo Codes: Up to 50% Off in May
(wired.com)
948.
AI, Intimacy, and the Data You Never Meant to Share
(news.ycombinator.com)
949.
Care Homes and Hotels in Japan Shut as Expansion Strategy Unravels
(news.ycombinator.com)
950.
A Couple Million Lines of Haskell: Production Engineering at Mercury
(news.ycombinator.com)
951.
AI-generated actors and scripts are now ineligible for Oscars
(techcrunch.com)
952.
Neanderthals ran 'fat factories' 125,000 years ago (2025)
(news.ycombinator.com)
953.
Neanderthals ran 'fat factories' 125,000 years ago
(news.ycombinator.com)
954.
California to begin ticketing driverless cars that violate traffic laws
(news.ycombinator.com)
955.
956.
The Quest to Use AI to Help Find New Drugs
(feeds.content.dowjones.io)
957.
958.
959.