The extended predicative Mahlo universe in Martin-Löf type theory
(news.ycombinator.com)
931.
932.
933.
934.
935.
What if Dark Matter Doesn’t Actually Exist?
(gizmodo.com)
936.
938.
939.
Researchers print structural colour with an inkjet printer
(news.ycombinator.com)
940.
941.
942.
Shark Promo Code: $100 Off | This May
(wired.com)
943.
944.
Windows API Is Successful Cross-Platform API
(news.ycombinator.com)
945.
AI, Intimacy, and the Data You Never Meant to Share
(news.ycombinator.com)
946.
Clojurists Together – Q2 2026 Open Source Funding Announcement
(news.ycombinator.com)
947.
This Month in Ladybird - April 2026
(news.ycombinator.com)
948.
949.
VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage
(news.ycombinator.com)
951.
952.
Roblox shares plummet 18% as child safety measures weigh on bookings
(news.ycombinator.com)
953.
The best AI dictation apps, tested and ranked
(techcrunch.com)
954.
The Quest to Use AI to Help Find New Drugs
(feeds.content.dowjones.io)
955.
Santa Cruz restaurant changes logo after flurry of negative reviews for AI art
(news.ycombinator.com)
956.
America's Expanding Domestic Surveillance
(news.ycombinator.com)
957.
sRGB profile comparison
(news.ycombinator.com)
958.
Beyond Lovable and Mistral: 21 European startups to watch
(techcrunch.com)
959.
960.