• 16Show HN: Legionlinuxtui – Control Lenovo legion laptops in the terminal (github.com)
  by nooneknowspeter 4 days ago | discuss
• 21Show HN: Minimal LLM Post-Training Experiments on an 8GB GPU (SFT, DPO, GRPO) (github.com)
  by popopanda 2 days ago | discuss
• 276Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 5 days ago | 166 comments
• 182The Absurdity of Albert Camus (historytoday.com)
  by apollinaire 3 days ago | 90 comments
• 32The House of Ellison Is on the Brink (notesfromthecircus.com)
  by paol 21 hours ago | 13 comments
• 41Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
  by shreybirmiwal 2 days ago | 4 comments
• 15Busy Beaver Holdouts Lists (wiki.bbchallenge.org)
  by frozenseven a day ago | discuss
• 786Superlogical (superlogical.com)
  by yan 4 days ago | 457 comments
• 748KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 97Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 6 days ago | 8 comments
• 6Show HN: Aevros .... A kernel that explains itself (github.com)
  by Mobeen0119 20 hours ago | 1 comments
• 40German carmakers flood jobs market with managers after wielding axe (ft.com)
  by JumpCrisscross 8 hours ago | 57 comments
• 128Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 195Ten Ways NAS Is Getting Enshitified (nascompares.com)
  by giuliomagnifico 2 days ago | 169 comments
• 99Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free (rune.build)
  by ernestrc 3 days ago | 51 comments
• 5113 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS (swe-rebench.com)
  by ibragim_bad 3 days ago | 15 comments
• 169The development pipeline is a production system (sundry.jerryorr.com)
  by firefoxd 2 days ago | 87 comments
• 28Register deprivation: spills and runtime under forced register scarcity (rjp.io)
  by surprisetalk 4 days ago | 8 comments
• 25A past and future of trade secrets (cabinetmagazine.org)
  by Hooke 3 days ago | 4 comments
• 8Is it time to stop using glue and labels on paper? (bbc.co.uk)
  by edward 10 hours ago | discuss
• 214Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 4 days ago | 47 comments
• 4How Cosmos put Carl Sagan in Miniature sets [video] (youtube.com)
  by gdubs 8 hours ago | 1 comments
• 237JEP 401: Value Objects (Preview) merged to OpenJDK master (github.com)
  by mfiguiere 3 days ago | 168 comments
• 176A directory of people who love RSS (andrewshell.org)
  by speckx a day ago | 91 comments
• 156The Maxwell Conjecture Is False (GPT 5.6 Sol) (arxiv.org)
  by rahen 3 days ago | 140 comments
• 69Saber-toothed cats became inbred–and struggled to move–before they went extinct (science.org)
  by gmays 3 days ago | 32 comments
• 258SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 12Mechanical strain creates chirality (mpsd.mpg.de)
  by hhs a day ago | discuss
• 340A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
  by ilreb 6 days ago | 127 comments
• 8Claude published malicious code to the Internet and attacked 3 real companies (arstechnica.com)
  by rbanffy 9 hours ago | 1 comments