Hacker News new | ask | show | jobs
1. 'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling (remysharp.com)
315 points by speckx 2 hours ago | 122 comments
2. RFC 8890 – The Internet is for End Users (2020) (mnot.net)
39 points by notarobot123 1 hour ago | 12 comments
3. Why Don't People Use Formal Methods? (2019) (hillelwayne.com)
59 points by Thom2503 2 hours ago | 37 comments
4. Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools (prized.dev)
21 points by marinoseliades 1 hour ago | 7 comments
5. Ron Gilbert started production on Thimbleweed Park 2 (grumpygamer.com)
141 points by alberto-m 6 hours ago | 56 comments
6. Why DNA damage from smoking and UV rays cause cancer in some but not others (cam.ac.uk)
9 points by gmays 50 minutes ago | 1 comments
7. The Lost Civic Life of Movie Rental Stores (thereader.mitpress.mit.edu)
7 points by facundo_olano 53 minutes ago | 1 comments
8. Gpiozero Flow (bennuttall.com)
97 points by benn_88 4 hours ago | 29 comments
9. SDL_GPU minimal, single-header, high-performance 2D graphics painting library (github.com)
6 points by n67094 28 minutes ago | 1 comments
10. How Old Is Ann? (quuxplusone.github.io)
38 points by ibobev 2 hours ago | 39 comments
11. Why Is Everyone Trying to Build a Solid-State Battery? (construction-physics.com)
58 points by crescit_eundo 2 hours ago | 61 comments
12. Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (ycombinator.com)
1 points by chitianhao 3 hours ago
13. Hacker Public Radio (hackerpublicradio.org)
9 points by bmacho 35 minutes ago
14. Trusted URLs via Cryptographic Signatures (blog.certisfy.com)
3 points by Edmond 34 minutes ago
15. Are We Stuck with Lean? (mathoverflow.net)
28 points by jjgreen 3 hours ago | 7 comments
16. Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com)
26 points by matryer 3 hours ago | 9 comments
17. Building a native C# implementation of CEL engine (bsid.io)
5 points by jackedEngineer 2 days ago
18. Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com)
69 points by yoanwaidev 5 hours ago | 49 comments
19. 3D Pinball for Windows (1995) (98.js.org)
28 points by mushstory 3 hours ago | 11 comments
20. The Glass Famine (edconway.substack.com)
62 points by baud147258 3 days ago | 30 comments
21. CosmosEscape: Taking over Every Database in Azure Cosmos DB (wiz.io)
21 points by uvuv 2 hours ago | 6 comments
22. You can't solve computer use by ignoring the interface (steelmanlabs.com)
29 points by mpavlov 3 hours ago | 6 comments
23. LLM Honeypot (llm2human.pages.dev)
349 points by 8thom 16 hours ago | 96 comments
24. The Alice and Bob After Dinner Speech (1984) (hex.ooo)
8 points by kamma4434 3 days ago | 1 comments
25. Google will expand age checks on Android worldwide till the end of the year (android-developers.googleblog.com)
218 points by dmantis 4 hours ago | 246 comments
26. Azulejo (en.wikipedia.org)
110 points by Amorymeltzer 1 day ago | 36 comments
27. The first watch featuring computer functions (by.seiko-design.com)
55 points by stefanv 4 days ago | 24 comments
28. The Productivity Mirage (frantic.im)
314 points by msephton 15 hours ago | 137 comments
29. Europe's fires are just the start (economist.com)
80 points by andsoitis 1 hour ago | 118 comments
30. Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident (huggingface.co)
440 points by artninja1988 1 day ago | 239 comments