• 5 Should You Use AI for a Task? (elezea.com)
  by conqrr 8 hours ago | discuss
• 276 Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 5 days ago | 166 comments
• 66 Termixer (TUI DJ Mixer) (github.com)
  by l00sed 2 days ago | 40 comments
• 16 Art Invented Humanity (aeon.co)
  by prismatic a day ago | 4 comments
• 787 Superlogical (superlogical.com)
  by yan 5 days ago | 457 comments
• 48 EU rules on AI models become enforceable. What's going to change? (euronews.com)
  by devonnull 9 hours ago | 66 comments
• 182 The Absurdity of Albert Camus (historytoday.com)
  by apollinaire 3 days ago | 90 comments
• 748 KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 41 Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
  by shreybirmiwal 2 days ago | 4 comments
• 18 Stateless MCP has recaptured my interest (simonwillison.net)
  by swyx a day ago | 2 comments
• 21 Show HN: Minimal LLM Post-Training Experiments on an 8GB GPU (SFT, DPO, GRPO) (github.com)
  by popopanda 2 days ago | discuss
• 10 Bacteria and the Inverse Association Between Farm Exposure and Childhood Asthma (evidence.nejm.org)
  by Jimmc414 10 hours ago | 2 comments
• 97 Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 6 days ago | 8 comments
• 9 Is it time to stop using glue and labels on paper? (bbc.co.uk)
  by edward 12 hours ago | discuss
• 16 Show HN: Legionlinuxtui – Control Lenovo legion laptops in the terminal (github.com)
  by nooneknowspeter 4 days ago | discuss
• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 15 Busy Beaver Holdouts Lists (wiki.bbchallenge.org)
  by frozenseven a day ago | discuss
• 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
• 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
• 195 Ten Ways NAS Is Getting Enshitified (nascompares.com)
  by giuliomagnifico 2 days ago | 169 comments
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 4 days ago | 47 comments
• 32 The House of Ellison Is on the Brink (notesfromthecircus.com)
  by paol a day ago | 13 comments
• 5 Arch Linux disables AUR package adoption to stop malware flood (bleepingcomputer.com)
  by akyuu 11 hours ago | discuss
• 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
• 28 Register deprivation: spills and runtime under forced register scarcity (rjp.io)
  by surprisetalk 4 days ago | 8 comments
• 69 Saber-toothed cats became inbred–and struggled to move–before they went extinct (science.org)
  by gmays 3 days ago | 32 comments
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 156 The Maxwell Conjecture Is False (GPT 5.6 Sol) (arxiv.org)
  by rahen 3 days ago | 140 comments
• 340 A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
  by ilreb 6 days ago | 127 comments