- 44Picat: A Logic-based Multi-paradigm Language (2014) [pdf] (logicprogramming.org)
- 96Brussels faces privacy crossroads over encryption backdoors (theregister.com)
- 217Fartscroll-Lid: An app that plays fart sounds when opening or closing a MacBook (github.com)
- 7The Power of Ten: Rules for Developing Safety Critical Code [pdf] (spinroot.com)
- 76Harvey Mudd Miniature Machine (cs.hmc.edu)
- 11Nepal's Social Media Ban Backfires as Politics Moves to a Chat Room (nytimes.com)
- 182AI might yet follow the path of previous technological revolutions (economist.com)
- 21Show HN: Runner – the anti-vibe coding agent (runnercode.com)
- 13Show HN: Fast Tor Onion Service vanity address generator (github.com)
- 983Anthropic agrees to pay $1.5B to settle lawsuit with book authors (nytimes.com)
- 10The Grammar Checker That Gets Developers (wearefounders.uk)
- 5SK Hynix cranks up the HBM4 assembly line to prep for next-gen GPUs (theregister.com)
- 916Using Claude Code to modernize a 25-year-old kernel driver (dmitrybrant.com)
- 4Scottish villagers stun developers by demanding extra turbine (2009) (theguardian.com)
- 11The Internet Will Be More Dead Than Alive Within 3 Years, Trend Shows (popularmechanics.com)
- 559Immich – High performance self-hosted photo and video management (github.com)
- 7NASA's Guardian Tsunami Detection Tech Catches Wave in Real Time (jpl.nasa.gov)
- 9The productivity paradox of AI coding assistants (cerbos.dev)
- 99Knowledge and memory (robinsloan.com)
- 6Internet Archive in Settlement Negotiations with Universal [video] (lunduke.substack.com)
- 9Show HN: I built a tool to find trading signals that aren't just random luck (hikaro.app)
- 84Children and young people's reading in 2025 (literacytrust.org.uk)
- 45Show HN: I built a minimal Forth-like stack interpreter library in C ()
- 107Contracts for C (gustedt.wordpress.com)
- 153D-printed superconductor achieves record performance with soft matter approach (news.cornell.edu)
- 488Liquid Glass in the Browser: Refraction with CSS and SVG (kube.io)
- 290Anthropic judge rejects $1.5B AI copyright settlement (news.bloomberglaw.com)
- 355How can England possibly be running out of water? (theguardian.com)
- 292TikTok has turned culture into a feedback loop of impulse and machine learning (thenexus.media)
- 139Seedship – Text-Based Game (philome.la)