- 1 NP-Overrated (gruhn.me)
- 1 'Good riddance' – The death of Britain's universities [video] (youtube.com)
- 1 Guys put QR codes on websites (devkram.de)
- 1 Paleopoetics: The Evolution of the Preliterate Imagination (dokumen.pub)
- 1 Show HN: Snippety.app – macOS snippet manager I've been building for 6 years (snippety.app)
- 1 8YY-XXX-XXXX lending phone calls insane ()
- 1 Dyna-2: A Million Hours of Human Video, Zero Robot Frames (topicqueue.substack.com)
- 1 Ask HN: Why are TUIs in trend? ()
- 1 Astronomers discover a new type of astrophysical object: A black hole star (news.mit.edu)
- 3 Lemmings (buzzard1337.itch.io)
- 1 The Crypto Industry Lost (greyenlightenment.com)
- 1 What We Learned Tracing North Korea's Hidden Workforce Inside American Companies (wsj.com)
- 1 Korea's 22% Rebound Puts the Chip Trade Back in the Spotlight (predx-article.fika.bar)
- 2 AutoProver: AI agents and formal methods for intent, specs, bugs analysis (app.certora.com)
- 1 Show HN: Session Recorder – an always-on system audio tape for macOS (sessionrecorder.com)
- 1 The Cost of Thinking Alike (thesignalist.io)
- 1 Ask HN: Why not a utility to save your Mac from a software bug killing your SSD? ()
- 2 Show HN: DynaFX – Simulation meets knowledge graphs (github.com)
- 1 Building Bibliographic Superwork Clusters for Discovery with Local LLMs (thisismattmiller.com)
- 1 Another partial SSI trick with canonicalize (bernsteinbear.com)
- 1 Show HN: Multi-version management (by xlings) for DeepSeek Harness (openxlings.github.io)
- 1 Prolific Counterfeiting (2023) (computer.rip)
- 2 SHA pinning GitHub Actions across an organization (semgrep.dev)
- 2 Forklane AI – Public Beta Launch (forklane.ai)
- 5 Polestar Dealer Claims Automaker 'Orchestrated' Its U.S. Ban in Lawsuit (wsj.com)
- 2 Show HN: Bsdkrun – Instant MicroVMs/Unikernels for macOS and Linux (github.com)
- 6 Israel's Rave Music Drowns Out the Sound of Its Victims (currentaffairs.org)
- 2 Show HN: Clixad – Free AI coding agent in the terminal, funded by an offerwall (clixad.io)
- 2 A Calculator, Compiled into a Transformer (ood.dev)
- 5 How Gödel's Proof Works (quantamagazine.org)