- 8 Prose as Code: Applying Formal Verification to Product Specs (alexanderabramovich.medium.com)
- 250 Show HN: Share your AI Setup, Learn from others (mysetup.ai)
- 16 Trump says AI will be renamed 'super intelligence' in all US documents (thehill.com)
- 159 Suspension of the de minimis administrative exemption for imports $800 or less (personalimportation.org)
- 13 Newborn girls and boys show different attention patterns within hours of birth (medicalxpress.com)
- 27 A Kansas girl ran off to join the circus and changed the tattoo world (npr.org)
- 17 LibreOffice dev explains why it cannot display some Microsoft Office charts (neowin.net)
- 47 Xbox continues its “reset” with dramatic restructuring (arstechnica.com)
- 150 New evidence for hidden chambers beyond Tutankhamun's tomb (nature.com)
- 66 Communication by means of modulated Johnson noise (pnas.org)
- 41 Go-based Robotics Framework built around NATS.io (github.com)
- 36 US threatens to ground Iranian airlines worldwide from Wednesday (aljazeera.com)
- 151 Amazon blocks Meta’s new Muse AI agent from shopping on amazon.com (forbes.com)
- 177 Rate limits on GitLab.com are changing (about.gitlab.com)
- 32 Anthropic, OpenAI et al. face antitrust suit for agreeing to slow AI development (tomshardware.com)
- 220 Warez: The Infrastructure and Aesthetics of Piracy (2021) (archive.org)
- 339 Inside ZCode: Silently uploading your Git history to the cloud (blog.ferstar.org)
- 10 AMD briefly joins the $1T club (theregister.com)
- 88 Mathematicians Build Long-Awaited Graph Sandwich (quantamagazine.org)
- 224 North Korean nuclear test sets off years of earthquakes (science.org)
- 271 I vibed a proof of Conway's conjecture (overreacted.io)
- 56 Mayday Mysteries (maydaymystery.org)
- 9 Adversarial examples for fast hash functions (thomasahle.com)
- 5 DBison: Free Modern Database Explorer (dbison.app)
- 4 Shopify CEO: employees' 'slop grenades' are making more work for everyone else (fortune.com)
- 35 Arrow heads at Obi-Rakhmat (Uzbekistan) 80K years ago? (journals.plos.org)
- 236 Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash (cactuscompute.com)
- 138 Elevated errors for multiple models – Resolved (status.claude.com)
- 55 Raspberry Pi 5 EEPROM update now blocks manual RAM upgrades (reddit.com)
- 228 Tin: full-text search for Postgres (planetscale.com)