A sample of trending tech discussion links from Hacker News covering security issues, game development, interface design, and retro software. No overarching narrative connects these disparate technical topics.
No BS check run yet — press ⚖ to extract this story's claims and verify them against independent sources.
Tailscale with Mullvad leaks your DNS L: https:// github.com/tailscale/tailscale /issues/9284 C: https:// news.ycombinator.com/item?id=4 9107441 posted on 2026.07.30 at 04:45:17 (c=0, p=3)
The Apple Calculator Language L: https:// wadetregaskis.com/the-apple-ca lculator-language/ C: https:// news.ycombinator.com/item?id=4 9107437 posted on 2026.07.30 at 04:44:30 (c=0, p=3)
Ron Gilbert started production on Thimbleweed Park 2 L: https://www. grumpygamer.com/twp2_announce/ C: https:// news.ycombinator.com/item?id=4 9107246 posted on 2026.07.30 at 04:10:33 (c=0, p=4)
Solsticio – a daily sun/moon logic puzzle with a deterministic generator L: https:// solsticio.app/ C: https:// news.ycombinator.com/item?id=4 9107076 posted on 2026.07.30 at 03:42:14 (c=1, p=4)
Excessive time spent online linked to stress and worse mood – study L: https://www. theguardian.com/technology/202 6/jul/29/excessive-time-spent-online-linked-to-stress-and-worse-mood-study C: https:// news.ycombinator.com/item?id=4 9108359 posted on 2026.07.30 at 07:09:19 (c=0, p=4)
GCC steering committee announces AI policy L: https:// lwn.net/Articles/1086041/ C: https:// news.ycombinator.com/item?id=4 9108685 posted on 2026.07.30 at 07:45:44 (c=1, p=7)
OpenJDK Interim Policy on Generative AI L: https:// openjdk.org/legal/ai C: https:// news.ycombinator.com/item?id=4 9109165 posted on 2026.07.30 at 08:36:38 (c=1, p=7)
Why Don't People Use Formal Methods? L: https://www. hillelwayne.com/post/why-dont- people-use-formal-methods/ C: https:// news.ycombinator.com/item?id=4 9109026 posted on 2026.07.30 at 08:21:34 (c=0, p=4)
How Old Is Ann? L: https:// quuxplusone.github.io/blog/202 6/07/29/how-old-is-ann/ C: https:// news.ycombinator.com/item?id=4 9108971 posted on 2026.07.30 at 08:14:23 (c=0, p=3)
What it means for an API to be RESTful L: https:// en.andros.dev/blog/9761fd2e/wh at-it-means-for-an-api-to-be-restful/ C: https:// news.ycombinator.com/item?id=4 9108966 posted on 2026.07.30 at 08:13:46 (c=0, p=3)
CosmosEscape: Taking over Every Database in Azure Cosmos DB L: https://www. wiz.io/blog/cosmosescape-takin g-over-every-database-in-azure-cosmos-db C: https:// news.ycombinator.com/item?id=4 9108963 posted on 2026.07.30 at 08:13:42 (c=1, p=4)
RFC 8890 – The Internet is for End Users (2020) L: https:// mnot.net/blog/2020/for_the_use rs C: https:// news.ycombinator.com/item?id=4 9109474 posted on 2026.07.30 at 09:07:53 (c=0, p=4)
I made a game where you build a CPU from logic gates L: https:// select.supply/game/chipbuilder C: https:// news.ycombinator.com/item?id=4 9108571 posted on 2026.07.30 at 07:33:02 (c=2, p=4)
You can't solve computer use by ignoring the interface L: https:// steelmanlabs.com/blog/computer -use-is-far-from-solved C: https:// news.ycombinator.com/item?id=4 9108542 posted on 2026.07.30 at 07:28:51 (c=0, p=13)
3D Pinball for Windows (1995) L: https:// 98.js.org/programs/pinball/spa ce-cadet.html C: https:// news.ycombinator.com/item?id=4 9108485 posted on 2026.07.30 at 07:23:12 (c=0, p=6)
Software Foundations Series L: https:// softwarefoundations.cis.upenn. edu/ C: https:// news.ycombinator.com/item?id=4 9108299 posted on 2026.07.30 at 07:02:35 (c=0, p=3)