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