Hacker News new | ask | show | jobs
1. 'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling (remysharp.com)
298 points by speckx 1 hour ago | 116 comments
2. RFC 8890 – The Internet is for End Users (2020) (mnot.net)
38 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)
19 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. Gpiozero Flow (bennuttall.com)
97 points by benn_88 4 hours ago | 29 comments
7. SDL_GPU minimal, single-header, high-performance 2D graphics painting library (github.com)
6 points by n67094 25 minutes ago | 1 comments
8. Why DNA damage from smoking and UV rays cause cancer in some but not others (cam.ac.uk)
5 points by gmays 47 minutes ago | 1 comments
9. Hacker Public Radio (hackerpublicradio.org)
9 points by bmacho 33 minutes ago
10. How Old Is Ann? (quuxplusone.github.io)
38 points by ibobev 2 hours ago | 39 comments
11. The Lost Civic Life of Movie Rental Stores (thereader.mitpress.mit.edu)
7 points by facundo_olano 50 minutes ago | 1 comments
12. Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (ycombinator.com)
1 points by chitianhao 3 hours ago
13. Trusted URLs via Cryptographic Signatures (blog.certisfy.com)
3 points by Edmond 31 minutes ago
14. Carolina Cloud pays SOFR on unused prepaid credits (docs.carolinacloud.io)
54 points by bojangleslover 5 hours ago | 39 comments
15. Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com)
26 points by matryer 3 hours ago | 9 comments
16. Building a native C# implementation of CEL engine (bsid.io)
5 points by jackedEngineer 2 days ago
17. Why Is Everyone Trying to Build a Solid-State Battery? (construction-physics.com)
58 points by crescit_eundo 2 hours ago | 61 comments
18. Are We Stuck with Lean? (mathoverflow.net)
26 points by jjgreen 3 hours ago | 6 comments
19. Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com)
66 points by yoanwaidev 5 hours ago | 48 comments
20. 3D Pinball for Windows (1995) (98.js.org)
27 points by mushstory 3 hours ago | 9 comments
21. The Glass Famine (edconway.substack.com)
62 points by baud147258 3 days ago | 30 comments
22. CosmosEscape: Taking over Every Database in Azure Cosmos DB (wiz.io)
21 points by uvuv 2 hours ago | 6 comments
23. Show HN: I audited my AI leaderboard scale – every score dropped 6-15 points (agiranker.com)
4 points by baraklaniado 58 minutes ago | 1 comments
24. LLM Honeypot (llm2human.pages.dev)
349 points by 8thom 16 hours ago | 96 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. The Alice and Bob After Dinner Speech (1984) (hex.ooo)
8 points by kamma4434 3 days ago | 1 comments
27. You can't solve computer use by ignoring the interface (steelmanlabs.com)
29 points by mpavlov 3 hours ago | 6 comments
28. Azulejo (en.wikipedia.org)
108 points by Amorymeltzer 1 day ago | 35 comments
29. The first watch featuring computer functions (by.seiko-design.com)
55 points by stefanv 4 days ago | 24 comments
30. The Productivity Mirage (frantic.im)
314 points by msephton 15 hours ago | 137 comments