• 1 Lean Explained with TypeScript (gruhn.me)
  by ngruhn 8 hours ago | discuss
• 1 Changes in MySQL 26.7.0 (dev.mysql.com)
  by ksec 8 hours ago | discuss
• 1 Pennpaper – visual, step-by-step explanations for math (pennpaper.app)
  by brnmwas 8 hours ago | discuss
• 1 Show HN: Bora Praia – weather and tide forecasts turned into a time to leave (borapraia.com)
  by 63labs 8 hours ago | discuss
• 1 Grassmann's Law (Linguistics) (en.wikipedia.org)
  by ogogmad 8 hours ago | discuss
• 12 ICANN de-accredits "bulletproof" domain registrar Trustname (domainnamewire.com)
  by KomoD 8 hours ago | 3 comments
• 1 Show HN: A free AI news briefing agent that runs on GitHub Actions, no server (github.com)
  by tballochi 8 hours ago | 1 comments
• 1 Terence Tao, 6 essential concepts of math [video] (youtube.com)
  by pykello 8 hours ago | discuss
• 1 Vibecoders and Vibehackers (orchidfiles.com)
  by theorchid 8 hours ago | discuss
• 3 X and Meta's past data scraping lawsuit losses and how it would relate to nitter (reuters.com)
  by orange999 8 hours ago | 1 comments
• 1 Technical Writing Resources (github.com)
  by taubek 8 hours ago | discuss
• 3 Show HN: Itsuki – open-source memory engine for AI agents (API and MCP) (itsuki.app)
  by 12ziyad 8 hours ago | 2 comments
• 1 SQL User Lifecycle Management in CockroachDB (cockroachlabs.com)
  by s20n 8 hours ago | discuss
• 2 Alpha School's AI teaching model is expanding. Does it work? (scientificamerican.com)
  by beardyw 8 hours ago | 1 comments
• 3 Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses (quesma.com)
  by stared 8 hours ago | 1 comments
• 2 SK Hynix to begin HBM4E production in Indiana in 2029, memory shortage to 2030 (reuters.com)
  by giuliomagnifico 8 hours ago | discuss
• 5 Debian and the Sirens (joeyh.name)
  by klez 8 hours ago | discuss
• 78 Autistici/inventati: Manifesto – who we are and what do we want (2002) (inventati.org)
  by wise_blood 8 hours ago | 49 comments
• 1 Show HN: Airtight – single-file portfolio tracker, zero servers, works offline (airtight.sell.app)
  by AirTight 8 hours ago | discuss
• 1 Show HN: Doodle AI: open-source photo-to-doodle avatar generator (doodleai.art)
  by Yash16 8 hours ago | 1 comments
• 1 To Human Is to Explore (panchamkhaitan.com)
  by panchamkhaitan 8 hours ago | discuss
• 1 Agent Security Is a Systems Problem: What 247 Papers Say About Secure AI Agents (truefoundry.com)
  by LogTrim 8 hours ago | discuss
• 1 The best workflow engine is a programming language (vercel.com)
  by theanonymousone 9 hours ago | discuss
• 4 Sharp rise in incidents of AI escaping users' control, research finds (theguardian.com)
  by geoffbp 9 hours ago | discuss
• 2 AI Image Generation on an RP2350 Microcontroller (cpldcpu.github.io)
  by rcarmo 9 hours ago | 1 comments
• 1 Show HN: Explore JVM class-resolution traces as interactive directed graphs (github.com)
  by benzewdu 9 hours ago | discuss
• 1 Skirminiac – An AI-first deterministic wargame (skirminiac.com)
  by LouisSaifer 9 hours ago | 1 comments
• 2 Impact of Google AI Overviews on Wikipedia Traffic (papers.ssrn.com)
  by alexcos 9 hours ago | discuss
• 2 Talk Is Cheap. Code Is Cheap. Show Me the Source (idlip.in)
  by birdculture 9 hours ago | discuss
• 3 Over 8,300 Gitea servers vulnerable to code execution attacks (bleepingcomputer.com)
  by geoffbp 9 hours ago | discuss