• 70 Move Detroit (movedetroit.com)
  by rmason 3 days ago | 91 comments
• 12 Formal Verification in Any Language for Everybody (lean 4) (dev-log.me)
  by wazHFsRy 2 days ago | 4 comments
• 308 The 1987 game “The Last Ninja” was 40 kilobytes (twitter.com)
  by keepamovin 5 days ago | 192 comments
• 619 France pulls last gold held in US (mining.com)
  by teleforce 4 days ago | 360 comments
• 21 Pgfmt – a PostgreSQL specific SQL formatter (github.com)
  by whalesalad 2 days ago | discuss
• 25 YouTube Premium just went up to $15.99 / mo (US) (youtube.com)
  by tehwebguy 18 hours ago | 12 comments
• 54 Cells for NetBSD: kernel-enforced, jail-like isolation (netbsd-cells.petermann-digital.de)
  by akagusu 3 days ago | 12 comments
• 13 NewTek Video Toaster Demo Reel (youtube.com)
  by shrubble 17 hours ago | 3 comments
• 65 App Store sees 84% surge in new apps as AI coding tools take off (9to5mac.com)
  by gardaani 2 days ago | 74 comments
• 128 Show HN: Hippo, biologically inspired memory for AI agents (github.com)
  by kitfunso 4 days ago | 29 comments
• 15 Finetuning Activates Verbatim Recall of Copyrighted Books in LLMs (arxiv.org)
  by guitarlimeo 2 days ago | 4 comments
• 101 Show HN: Pion/handoff – Move WebRTC out of browser and into Go (github.com)
  by Sean-Der 3 days ago | 17 comments
• 458 What being ripped off taught me (belief.horse)
  by doctorhandshake 4 days ago | 224 comments
• 132 Drop, formerly Massdrop, ends most collaborations and rebrands under Corsair (drop.com)
  by stevebmark 5 days ago | 72 comments
• 4 An Interview with Pat Gelsinger (morethanmoore.substack.com)
  by zdw a day ago | 1 comments
• 24 Acoustic Eavesdropping with Telecom Fiber Optic Cables (ndss-symposium.org)
  by Chaucer 3 days ago | discuss
• 66 Code Is Cheap Now, and That Changes Everything (perevillega.com)
  by v-mdev 2 days ago | 57 comments
• 57 Struggle Against the Gods (firstthings.com)
  by marcofloriano 2 days ago | 6 comments
• 40 Are We Legacy Computing Yet? (arewelegacycomputingyet.com)
  by tyoverby 3 days ago | 1 comments
• 219 Nanocode: The best Claude Code that $200 can buy in pure JAX on TPUs (github.com)
  by desideratum 5 days ago | 26 comments
• 4 Show HN: Logoshi, a brand kit generator for solo founders (logoshi.com)
  by sjdegraeve a day ago | 1 comments
• 184 Computational Physics (2nd Edition) (2025) (websites.umich.edu)
  by teleforce 5 days ago | 23 comments
• 9 Show HN: BrokenClaw Part 5: GPT-5.4 Edition (Prompt Injection) (veganmosfet.codeberg.page)
  by veganmosfet a day ago | 2 comments
• 19 Cached knowledge is not intelligence (olshansky.info)
  by speckx a day ago | 5 comments
• 8 Demystifying Open Silicon – Matt Venn Is Democratizing Chip Design (siliconimist.com)
  by johncole 2 days ago | discuss
• 523 Artemis II crew see first glimpse of far side of Moon [video] (bbc.com)
  by mooreds 5 days ago | 430 comments
• 10 One Method Was Using 71% of CPU. Here's the Flame Graph (jvogel.me)
  by siegers 18 hours ago | 2 comments
• 244 AI singer now occupies eleven spots on iTunes singles chart (showbiz411.com)
  by flinner 4 days ago | 375 comments
• 615 The cult of vibe coding is dogfooding run amok (bramcohen.com)
  by drob518 4 days ago | 508 comments
• 8 AI Cybersecurity After Mythos: The Jagged Frontier (aisle.com)
  by akavel a day ago | 1 comments