Hacker News

271.		SpecForge – A Platform for Authoring Formal Specifications (imiron.io)
		80 points by agnishom 2 days ago \| hide \| 12 comments
272.		Stop Killing the Internet: No Digital ID and No Age Verification (europa.eu)
		711 points by doener 3 days ago \| hide \| 289 comments
273.		Google Flow Music launches Lyria 3.5 with advances in musicality, lyrics, vocals (blog.google)
		12 points by noiv 1 day ago \| hide \| discuss
274.		AI Usage by Derek Sivers (sive.rs)
		7 points by fabiojrb 10 hours ago \| hide \| discuss
275.		Kimi K3-256k (kimi.com)
		487 points by monneyboi 2 days ago \| hide \| 155 comments
276.		Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library (github.com/reflex-dev)
		135 points by apetuskey 3 days ago \| hide \| 46 comments
277.		Some thoughts about Anthropic's new cryptanalysis results (cryptographyengineering.com)
		187 points by supermatou 2 days ago \| hide \| 115 comments
278.		Vehicle Motion Cues (support.apple.com)
		208 points by Austin_Conlon 4 days ago \| hide \| 112 comments
279.		Turning a dumb AC unit smart (without losing my security deposit) (prilik.com)
		207 points by austinallegro 2 days ago \| hide \| 165 comments
280.		How Do I Profile eBPF Code? (naveensrinivasan.com)
		123 points by snaveen 3 days ago \| hide \| 7 comments
281.		What it means for an API to be RESTful (andros.dev)
		37 points by ibobev 1 day ago \| hide \| 47 comments
282.		Fall of Situational Awareness Is a Warning, So Is Nvidia's Vendor Financing (newcomer.co)
		6 points by mapping365 9 hours ago \| hide \| discuss
283.		Ask HN: When a post of yours does well, do you know why?
		5 points by john_builds 12 hours ago \| hide \| 4 comments
284.		Inflammation-targeting drug misses mark in heart disease study (statnews.com)
		7 points by brandonb 12 hours ago \| hide \| 1 comment
285.		Cracking Windows Open: Porting RADV to Win32 (collabora.com)
		93 points by zdw 2 days ago \| hide \| 26 comments
286.		Holocloth (holocloth.vercel.app)
		15 points by ingve 1 day ago \| hide \| 4 comments
287.		Iranian hackers likely behind Minnesota municipal water cyberattack (axios.com)
		7 points by porridgeraisin 9 hours ago \| hide \| discuss
288.		FBI gets voter's IP address in new fraud probe tactic (axios.com)
		8 points by sailfast 11 hours ago \| hide \| 1 comment
289.		NSF pilots 4-year PhDs with industry research placements (nsf.gov)
		84 points by osnium123 2 days ago \| hide \| 82 comments
290.		The year Claude users sued over limits is the year the limits mostly went up (okaneland.com)
		3 points by ermantrout 2 hours ago \| hide \| discuss
291.		48K/50K ppl who crossed illegally into Ceuta have been returned to Morocco (euronews.com)
		7 points by Markoff 9 hours ago \| hide \| 3 comments
292.		U.S. debt-to-GDP ratio reaches 123% (stlouisfed.org)
		115 points by johnbarron 13 hours ago \| hide \| 178 comments
293.		Show HN: A local merge queue for parallel Claude Code agents (github.com/funador)
		42 points by funador 2 days ago \| hide \| 22 comments
294.		Google withdraws new Earth AI tool after warnings over misinformation risks (bbc.com)
		9 points by dabinat 7 hours ago \| hide \| 3 comments
295.		Anthropic and OpenAI are competing to see whose agents can go rogue harder (theregister.com)
		10 points by joebuckwilliams 12 hours ago \| hide \| discuss
296.		Britain Became a Poor Country (youtube.com)
		7 points by penguin_booze 9 hours ago \| hide \| discuss
297.		Flume Water Monitor 915 MHz Security Is Pretty Good (waveformsecurity.com)
		41 points by credibleconure 2 days ago \| hide \| 33 comments
298.		Half-Life ported to Mac OS 9 (mac-classic.com)
		302 points by freediver 3 days ago \| hide \| 161 comments
299.		Leopold Aschenbrenner built a $45B AI hedge fund lost most of it in days (cnbc.com)
		11 points by root-parent 11 hours ago \| hide \| discuss
300.		MCP 2026-07-28 Specification: transport going stateless (modelcontextprotocol.io)
		127 points by Eldodi 3 days ago \| hide \| 40 comments
		More