Hacker News

1.		'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling (remysharp.com)
		123 points by speckx 55 minutes ago \| hide \| 46 comments
2.		RFC 8890 – The Internet is for End Users (2020) (mnot.net)
		24 points by notarobot123 50 minutes ago \| hide \| 4 comments
3.		Why Is Everyone Trying to Build a Solid-State Battery? (construction-physics.com)
		23 points by crescit_eundo 1 hour ago \| hide \| 9 comments
4.		Gpiozero Flow (bennuttall.com)
		88 points by benn_88 3 hours ago \| hide \| 26 comments
5.		Why Don't People Use Formal Methods? (hillelwayne.com)
		24 points by Thom2503 1 hour ago \| hide \| 13 comments
6.		Ron Gilbert started production on Thimbleweed Park 2 (grumpygamer.com)
		109 points by alberto-m 5 hours ago \| hide \| 39 comments
7.		How Old Is Ann? (quuxplusone.github.io)
		19 points by ibobev 1 hour ago \| hide \| 10 comments
8.		I made a game where you build a CPU from logic gates (select.supply)
		24 points by laurentiurad 2 hours ago \| hide \| 10 comments
9.		Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools (prized.dev)
		4 points by marinoseliades 29 minutes ago \| hide \| discuss
10.		Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (ycombinator.com)
		1 hour ago \| hide
11.		AI's top startups are barely publishing their research (science.org)
		555 points by YeGoblynQueenne 16 hours ago \| hide \| 287 comments
12.		Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com/yoanwai)
		55 points by yoanwaidev 4 hours ago \| hide \| 39 comments
13.		What it means for an API to be RESTful (andros.dev)
		16 points by ibobev 1 hour ago \| hide \| 19 comments
14.		Carolina Cloud pays SOFR on unused prepaid credits (carolinacloud.io)
		47 points by bojangleslover 4 hours ago \| hide \| 29 comments
15.		The coolest use for the Vision Pro (christianselig.com)
		760 points by robbiet480 17 hours ago \| hide \| 289 comments
16.		3D Pinball for Windows (1995) (98.js.org)
		14 points by mushstory 2 hours ago \| hide \| 3 comments
17.		The Glass Famine (edconway.substack.com)
		54 points by baud147258 7 hours ago \| hide \| 18 comments
18.		GCC steering committee announces AI policy (lwn.net)
		136 points by arto 2 hours ago \| hide \| 144 comments
19.		LLM Honeypot (llm2human.pages.dev)
		337 points by 8thom 15 hours ago \| hide \| 93 comments
20.		The first watch featuring computer functions (seiko-design.com)
		51 points by stefanv 5 hours ago \| hide \| 24 comments
21.		Are We Stuck with Lean? (mathoverflow.net)
		8 points by jjgreen 2 hours ago \| hide \| 1 comment
22.		The Alice and Bob After Dinner Speech (1984) (hex.ooo)
		3 points by kamma4434 1 hour ago \| hide \| 1 comment
23.		The Productivity Mirage (frantic.im)
		305 points by msephton 14 hours ago \| hide \| 134 comments
24.		OpenJDK Interim Policy on Generative AI (openjdk.org)
		42 points by blenderob 1 hour ago \| hide \| 43 comments
25.		Google will expand age checks on Android worldwide till the end of the year (googleblog.com)
		180 points by dmantis 3 hours ago \| hide \| 214 comments
26.		Azulejo (wikipedia.org)
		94 points by Amorymeltzer 4 hours ago \| hide \| 33 comments
27.		ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms (bloomberg.com)
		41 points by ch_sm 2 hours ago \| hide \| 21 comments
28.		Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com/grafana)
		16 points by matryer 2 hours ago \| hide \| 2 comments
29.		Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident (huggingface.co)
		429 points by artninja1988 19 hours ago \| hide \| 234 comments
30.		The Cold Email (zachholman.com)
		261 points by holman 16 hours ago \| hide \| 102 comments
		More