- 2Bitcoin Puzzle Research: Methods, Research and Lessons from Negative Results [pdf] (github.com)
- 1Prometheus collects gift links to paywalled news articles shared by subscribers (kottke.org)
- 1iCloudKit Extractor: seven months from an ADP dead end to a public toolkit (github.com)
- 1The Talkie Persona Library (atlas of neurons in vintage language model) (talkieneurons.vercel.app)
- 3Books and Specs I enjoyed reading (paulocuambe.github.io)
- 1Can maths survive AI? Fields medallist Terence Tao calls for a 'Maths 2.0' world (nature.com)
- 1Building Conversational Commerce with Multi-Agent Swarms on GCP (developers.googleblog.com)
- 4Anduril Partners with Qualcomm to Build Laptops on US Soil (tomshardware.com)
- 1Show HN: Happy-Eyeballs.club (happy-eyeballs.club)
- 13Discovering and exploiting vulnerabilities in real-world software with Claude (anthropic.com)
- 2The NYPD's New Cell Tracker Is Built for Mobility (reclaimthenet.org)
- 2Show HN: Agent Skills – 51 SKILL.md workflows for coding agents and marketers (github.com)
- 5Compile-Time Dependent Types (thenumb.at)
- 1OpenAI's Loss of Containment (atomiccourtyard.substack.com)
- 4Hacking attempts against US Federal Election Commission system triggered outage (reuters.com)
- 101Four Months of Zig (gracefulliberty.com)
- 2MTL-Style Circuit Simulator (entropicthoughts.com)
- 3AI-Generated Motion Graphics and the Prompts Behind Them? (medium.com)
- 3The Rise of Orwellian Big Brother in Africa (pulitzercenter.org)
- 2The Exponential Time Hypothesis Is False (johndcook.com)
- 7Trump isn't happy people are ignoring his new name for AI (neowin.net)
- 2Getty Images files for US bankruptcy, advances restructuring plan (reuters.com)
- 2Ask HN: Any founders want to trade pitch practice and customer interviews? ()
ask - 5Software is slow because of bad design, not slow languages (seangoedecke.com)
- 1MathMixup: Boosting LLM Mathematical Reasoning via Curriculum and Decomposition (arxiv.org)
- 2Anthropic Ships the #1 LLM in the World with Katelyn Lesse and Angela Jiang [video] (youtube.com)
- 1Token-Efficient Logical Supervision for Mathematical Reasoning (arxiv.org)
- 1Vibe coded a point-and-click game to learn about the Drupal AI Ecosystem (workflows-of-ai.com)
- 2Omega: Can LLMs Reason Outside the Box in Math? (2025) (arxiv.org)
- 1Ask HN: Should there be an Urban Dictionary for suburbs? ()
ask