- 2 The Weil conjectures formalized in Lean (axiommath.ai)
- 5 Re-Releases of Wing Commander, Ultima Titles Hit Steam and GOG (arstechnica.com)
- 5 Show HN: I made a guardrail against AI outreach slop (API/MCP) (maildignity.com)
- 4 Why does America hate AI? (ft.com)
- 3 Business Explainability in Systems Is Not a Nice-to-Have Anymore (medium.com)
- 2 AI Santa Video Generator – Personalized Santa Videos (aisantavideo.net)
- 2 Cancer at Sea (biographic.com)
- 3 Ur-Nammu Founder of the Sumerian Renaissance (worldhistory.org)
- 1 Hornet Coder – local-first coding with reviewable revisions (github.com)
- 2 Replacing GitHub Actions with a Tiny Desktop (asbedb.dev)
- 2 Ramp data shows AI spending stalling just as Anthropic nears its IPO (techcrunch.com)
- 4 Show HN: Hosted dashboard for small VPS fleets, outbound-only agent (vpsmon.cloud)
- 1 Show HN: Let Claude write FL Studio projects by editing the .flp file directly (github.com)
- 3 America's renters are in serious trouble (economist.com)
- 1 Baidu Hit with Securities Fraud Class Action over AI Growth Claims (epyhia.com)
- 1 Vibe Shields (vibeshields.com)
- 1 Show HN: Tar-minefield – extracting tar files is harder than you think (stoppels.ch)
- 3 AI is turning protectionists into free traders (economist.com)
- 2 Foo (foo.com)
- 1 Post-AI Computer Science – Volume 4 (thingspool.net)
- 1 How We Got Duo Support in NetNewsWire (netnewswire.blog)
- 6 Show HN: Logo Deal – Logos anyone can edit with text (logo.deal)
- 9 US believes Nvidia's Huang had romantic relationship with alleged Chinese spy (ft.com)
- 3 Activists across Europe prepare two days of protests against datacentres (theguardian.com)
- 7 Working with Designers (seangoedecke.com)
- 1 Porting the Simulation Engine into Rust (modeloop.app)
- 1 New App: StockVirtue (play.google.com)
- 2 The Joy of Coding Is Gone: My Honest Take on AI (youtube.com)
- 4 4.2-Kiloyear Event May Have Helped Cause the Collapse of Egyptian Old Kingdom (iflscience.com)
- 2 Show HN: GC2 (Geo Compute Cloud) (gc2.io)