- 80SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io)
- 7AI Usage by Derek Sivers (sive.rs)
- 711Stop Killing the Internet: No Digital ID and No Age Verification (citizens-initiative.europa.eu)
- 12Google Flow Music launches Lyria 3.5 with advances in musicality, lyrics, vocals (blog.google)
- 487Kimi K3-256k (kimi.com)
- 135Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library (github.com)
- 187Some thoughts about Anthropic's new cryptanalysis results (blog.cryptographyengineering.com)
- 207Turning a dumb AC unit smart (without losing my security deposit) (prilik.com)
- 208Vehicle Motion Cues (support.apple.com)
- 6Fall of Situational Awareness Is a Warning, So Is Nvidia's Vendor Financing (newcomer.co)
- 37What it means for an API to be RESTful (en.andros.dev)
- 123How Do I Profile eBPF Code? (naveensrinivasan.com)
- 7Inflammation-targeting drug misses mark in heart disease study (statnews.com)
- 15Holocloth (holocloth.vercel.app)
- 93Cracking Windows Open: Porting RADV to Win32 (collabora.com)
- 3The year Claude users sued over limits is the year the limits mostly went up (okaneland.com)
- 7Iranian hackers likely behind Minnesota municipal water cyberattack (axios.com)
- 8FBI gets voter's IP address in new fraud probe tactic (axios.com)
- 748K/50K ppl who crossed illegally into Ceuta have been returned to Morocco (euronews.com)
- 115U.S. debt-to-GDP ratio reaches 123% (fred.stlouisfed.org)
- 84NSF pilots 4-year PhDs with industry research placements (nsf.gov)
- 9Google withdraws new Earth AI tool after warnings over misinformation risks (bbc.com)
- 10Anthropic and OpenAI are competing to see whose agents can go rogue harder (theregister.com)
- 42Show HN: A local merge queue for parallel Claude Code agents (github.com)
- 41Flume Water Monitor 915 MHz Security Is Pretty Good (waveformsecurity.com)
- 302Half-Life ported to Mac OS 9 (mac-classic.com)
- 7Offloading I/O to Dedicated Cores: An Asymmetric io_uring Back end for Seastar (scylladb.com)
- 127MCP 2026-07-28 Specification: transport going stateless (blog.modelcontextprotocol.io)
- 122So you want to use plants to reduce COâ‚‚ (dynomight.net)
- 30Show HN: Supapool – a Supabase per coding agent in ~400 ms (supapool.io)