- 1Spec-Driven Development with AI: A New Approach and a Journey into the Past (martinelli.ch)
- 2Improving 25 square packing upper bounds through evolutionary LLM program search (slightlysupervised.substack.com)
- 10Trump Announces Formation of AI "Super Intelligence Force" (cbsnews.com)
- 4The Revolution of Vertical Drama Is Happening Behind the Camera (medium.com)
- 1Chinese developer makes ARTEX AI agent closed-source after Korean bank hack (reuters.com)
- 4Walmart watchtower: Digital price tag patents speak louder than pledges (groundworkcollaborative.org)
- 2Agent-config&Claude Code mods (github.com)
- 8US unveils sanctions on ICC in move court condems as 'assault on rule of law' (bbc.com)
- 3Ful (hackerone.com)
- 1ModRetro Chromatic: Transparent (modretro.com)
- 2Portfolio Risk Lab: uncertainty-aware rebalancing in Python (github.com)
- 4Branches in Branch-Free Code (00f.net)
- 5Microsoft is about to hobble your O-365 Family Storage (support.microsoft.com)
- 3Show HN: Plannotator Inbox – Decision Making Surface for Agents (plannotator.ai)
- 4Walmart exec speaks out on dynamic pricing again after watchdog calls out patent (nypost.com)
- 215-Minute Lesson Plan: A.I.-Assisted Mathematics (nytimes.com)
- 3Rampart: Browser native on-device PII radaction (ndstudio.gov)
- 5English Instead of Code (dalerank.github.io)
- 1Show HN: Cactus Needle – Local tool calling and speech-to-text in JavaScript (afshinm.github.io)
- 2A Practical Guide to Naming Things (smashingmagazine.com)
- 7OpenAI will start watermarking ChatGPT's text in the EU (techcrunch.com)
- 2Show HN: LumiBridge – 448x64 LED display with SDR ship tracking (timvasil.com)
- 9Ben Affleck is an AI nerd (twitter.com)
- 1U-Space: Uncovering When and Why Uncertainty Arises in Language Models (s2lab.org)
- 43I'm still around.. I'm just not writing here (rachelbythebay.com)
- 2Show HN: PDF/ePub reader where you ask AI and each answer links to the passage (marginal-ia.app)
- 1Ross Douthat: I'm Writing a Column for the Free Press (thefp.com)
- 2AI Could End Encryption as We Know It (ai-frontiers.org)
- 34What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)
- 4Remember Orkut? Its founder wants to bring it back (techcrunch.com)