Hacker News

1.		'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling (remysharp.com)
		301 points by speckx 1 hour ago \| hide \| 118 comments
2.		RFC 8890 – The Internet is for End Users (2020) (mnot.net)
		38 points by notarobot123 1 hour ago \| hide \| 12 comments
3.		Why Don't People Use Formal Methods? (2019) (hillelwayne.com)
		58 points by Thom2503 2 hours ago \| hide \| 37 comments
4.		Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools (prized.dev)
		19 points by marinoseliades 1 hour ago \| hide \| 7 comments
5.		Ron Gilbert started production on Thimbleweed Park 2 (grumpygamer.com)
		140 points by alberto-m 6 hours ago \| hide \| 55 comments
6.		Gpiozero Flow (bennuttall.com)
		97 points by benn_88 4 hours ago \| hide \| 29 comments
7.		SDL_GPU minimal, single-header, high-performance 2D graphics painting library (github.com/n67094)
		5 points by n67094 22 minutes ago \| hide \| 1 comment
8.		Why DNA damage from smoking and UV rays cause cancer in some but not others (cam.ac.uk)
		7 points by gmays 43 minutes ago \| hide \| 1 comment
9.		Hacker Public Radio (hackerpublicradio.org)
		8 points by bmacho 29 minutes ago \| hide \| discuss
10.		How Old Is Ann? (quuxplusone.github.io)
		38 points by ibobev 2 hours ago \| hide \| 39 comments
11.		Trusted URLs via Cryptographic Signatures (certisfy.com)
		3 points by Edmond 27 minutes ago \| hide \| discuss
12.		Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (ycombinator.com)
		2 hours ago \| hide
13.		Carolina Cloud pays SOFR on unused prepaid credits (carolinacloud.io)
		54 points by bojangleslover 5 hours ago \| hide \| 39 comments
14.		Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com/grafana)
		25 points by matryer 3 hours ago \| hide \| 9 comments
15.		Building a native C# implementation of CEL engine (bsid.io)
		5 points by jackedEngineer 1 hour ago \| hide \| discuss
16.		Are We Stuck with Lean? (mathoverflow.net)
		26 points by jjgreen 3 hours ago \| hide \| 6 comments
17.		The Lost Civic Life of Movie Rental Stores (mitpress.mit.edu)
		5 points by facundo_olano 47 minutes ago \| hide \| 1 comment
18.		Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com/yoanwai)
		67 points by yoanwaidev 5 hours ago \| hide \| 48 comments
19.		Why Is Everyone Trying to Build a Solid-State Battery? (construction-physics.com)
		57 points by crescit_eundo 2 hours ago \| hide \| 61 comments
20.		3D Pinball for Windows (1995) (98.js.org)
		27 points by mushstory 3 hours ago \| hide \| 9 comments
21.		The Glass Famine (edconway.substack.com)
		62 points by baud147258 8 hours ago \| hide \| 30 comments
22.		Show HN: I audited my AI leaderboard scale – every score dropped 6-15 points (agiranker.com)
		4 points by baraklaniado 54 minutes ago \| hide \| 1 comment
23.		CosmosEscape: Taking over Every Database in Azure Cosmos DB (wiz.io)
		21 points by uvuv 2 hours ago \| hide \| 6 comments
24.		LLM Honeypot (llm2human.pages.dev)
		349 points by 8thom 16 hours ago \| hide \| 96 comments
25.		Google will expand age checks on Android worldwide till the end of the year (googleblog.com)
		218 points by dmantis 4 hours ago \| hide \| 245 comments
26.		The Alice and Bob After Dinner Speech (1984) (hex.ooo)
		8 points by kamma4434 2 hours ago \| hide \| 1 comment
27.		You can't solve computer use by ignoring the interface (steelmanlabs.com)
		29 points by mpavlov 3 hours ago \| hide \| 6 comments
28.		Azulejo (wikipedia.org)
		108 points by Amorymeltzer 5 hours ago \| hide \| 36 comments
29.		The first watch featuring computer functions (seiko-design.com)
		55 points by stefanv 6 hours ago \| hide \| 24 comments
30.		The Productivity Mirage (frantic.im)
		314 points by msephton 15 hours ago \| hide \| 137 comments
		More