• 911 Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (github.com)
  by gitpusher42 5 days ago | 341 comments
• 422 Google will expand age checks on Android worldwide till the end of the year (android-developers.googleblog.com)
  by dmantis 4 days ago | 525 comments
• 66 Termixer (TUI DJ Mixer) (github.com)
  by l00sed 2 days ago | 40 comments
• 276 Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 5 days ago | 166 comments
• 18 Stateless MCP has recaptured my interest (simonwillison.net)
  by swyx a day ago | 2 comments
• 5 Arch Linux disables AUR package adoption to stop malware flood (bleepingcomputer.com)
  by akyuu 10 hours ago | discuss
• 787 Superlogical (superlogical.com)
  by yan 5 days ago | 457 comments
• 182 The Absurdity of Albert Camus (historytoday.com)
  by apollinaire 3 days ago | 90 comments
• 21 Show HN: Minimal LLM Post-Training Experiments on an 8GB GPU (SFT, DPO, GRPO) (github.com)
  by popopanda 2 days ago | discuss
• 41 Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
  by shreybirmiwal 2 days ago | 4 comments
• 16 Show HN: Legionlinuxtui – Control Lenovo legion laptops in the terminal (github.com)
  by nooneknowspeter 4 days ago | discuss
• 748 KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 97 Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 6 days ago | 8 comments
• 15 Busy Beaver Holdouts Lists (wiki.bbchallenge.org)
  by frozenseven a day ago | discuss
• 32 The House of Ellison Is on the Brink (notesfromthecircus.com)
  by paol a day ago | 13 comments
• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 99 Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free (rune.build)
  by ernestrc 3 days ago | 51 comments
• 10 Bill Watterson: A Cartoonist's Advice (zenpencils.com)
  by mixmastamyk 8 hours ago | discuss
• 195 Ten Ways NAS Is Getting Enshitified (nascompares.com)
  by giuliomagnifico 2 days ago | 169 comments
• 51 13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS (swe-rebench.com)
  by ibragim_bad 3 days ago | 15 comments
• 6 Show HN: Aevros .... A kernel that explains itself (github.com)
  by Mobeen0119 20 hours ago | 1 comments
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 4 days ago | 47 comments
• 28 Register deprivation: spills and runtime under forced register scarcity (rjp.io)
  by surprisetalk 4 days ago | 8 comments
• 40 German carmakers flood jobs market with managers after wielding axe (ft.com)
  by JumpCrisscross 9 hours ago | 56 comments
• 25 A past and future of trade secrets (cabinetmagazine.org)
  by Hooke 3 days ago | 4 comments
• 237 JEP 401: Value Objects (Preview) merged to OpenJDK master (github.com)
  by mfiguiere 3 days ago | 168 comments
• 69 Saber-toothed cats became inbred–and struggled to move–before they went extinct (science.org)
  by gmays 3 days ago | 32 comments
• 156 The Maxwell Conjecture Is False (GPT 5.6 Sol) (arxiv.org)
  by rahen 3 days ago | 140 comments
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 169 The development pipeline is a production system (sundry.jerryorr.com)
  by firefoxd 2 days ago | 88 comments