- 2A Proof of Conway's Refinement Conjecture in Lean (github.com)
- 1Vectra – Offline CVE and GTFOBins intelligence engine for your terminal (github.com)
- 1Genetically modified pig kidney keeps man alive for record nine months (theguardian.com)
- 2Show HN: DeepMem plugin for Claude Code – persistent semantic memory via MCP (github.com)
- 6Tell HN: Check your Claude settings, it may have silently enabled remote access ()
- 5Some US car buyers envy what they cannot have – affordable Chinese EVs (reuters.com)
- 3Scientists map key protein interactions linked with profound autism (npr.org)
- 7US urged to consider military strikes to stop China achieving AGI first (scmp.com)
- 4Gridfinity (en.wikipedia.org)
- 6The Story of VS Code | Official Documentary (youtube.com)
- 3ICE Wants to Know Everyone Who Bought a Certain Green Beanie from REI (wired.com)
- 2Linux 7.4 to Improve Apple Silicon Audio Support and "Impossible" Power Mgmt (lore.kernel.org)
- 2Edmond Albius, the Enslaved Man Who Pioneered the Pollination of Vanilla (lithub.com)
- 2How Email Works (2025) (sushantdhiman.dev)
- 1Australian property developer collapse ripples into private credit markets (ft.com)
- 1Testosterone shifts political preferences in weakly affiliated Democratic men (psypost.org)
- 165Gmail to end support for "Send as" for third-party addresses, such as @yahoo.com (support.google.com)
- 1Hostile Interpolation (tomstafford.substack.com)
- 1Safety overview: GPT‑6 Astra (openai.com)
- 1MVSEP's 53-Stem Music Separation Model (mvsep.com)
- 1Show HN: JogPad – Shift Shift note capture app (macOS) (jogpad.fishball.app)
- 2Show HN: Dev-prune – deletes node_modules only when the lockfile can rebuild it (github.com)
- 2Reverse Engineering an ASIC (outercloud.dev)
- 3Local TUI issue board for agentic workflows with time travel, backed by Git (twitter.com)
- 2Unlocking Lossless Speedups in LLMs via Discrete Diffusion (github.com)
- 1Responsibility means treating people like tools (seangoedecke.com)
- 2Computers Are Bad: A newsletter (computer.rip)
- 1Show HN: RAII and It's Architecture in C++ (archetechmes.vercel.app)
- 1Headroom: Save Tokens from Reversible Compression (github.com)
- 1Language Models Can Control Their Own Attention (arxiv.org)