• 39 German carmakers flood jobs market with managers after wielding axe (ft.com)
  by JumpCrisscross 7 hours ago | 55 comments
• 5 Show HN: Aevros .... A kernel that explains itself (github.com)
  by Mobeen0119 19 hours ago | 1 comments
• 7 Is it time to stop using glue and labels on paper? (bbc.co.uk)
  by edward 10 hours ago | discuss
• 182 The Absurdity of Albert Camus (historytoday.com)
  by apollinaire 3 days ago | 90 comments
• 41 Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
  by shreybirmiwal 2 days ago | 4 comments
• 452 Ten advances in mathematics and theoretical computer science (openai.com)
  by milkshakes 2 days ago | 323 comments
• 276 Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 5 days ago | 166 comments
• 786 Superlogical (superlogical.com)
  by yan 4 days ago | 457 comments
• 8 Claude published malicious code to the Internet and attacked 3 real companies (arstechnica.com)
  by rbanffy 8 hours ago | 1 comments
• 97 Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 6 days ago | 8 comments
• 748 KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 195 Ten Ways NAS Is Getting Enshitified (nascompares.com)
  by giuliomagnifico 2 days ago | 169 comments
• 28 Register deprivation: spills and runtime under forced register scarcity (rjp.io)
  by surprisetalk 4 days ago | 8 comments
• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 51 13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS (swe-rebench.com)
  by ibragim_bad 2 days ago | 15 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
• 169 The development pipeline is a production system (sundry.jerryorr.com)
  by firefoxd 2 days ago | 87 comments
• 25 A past and future of trade secrets (cabinetmagazine.org)
  by Hooke 3 days ago | 4 comments
• 176 A directory of people who love RSS (andrewshell.org)
  by speckx a day ago | 91 comments
• 6 Coldcard Bitcoin Exploit Balloons to $88M as Attackers Keep Draining Wallets (decrypt.co)
  by chrisjj 8 hours ago | 1 comments
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 4 days ago | 47 comments
• 12 Mechanical strain creates chirality (mpsd.mpg.de)
  by hhs a day ago | discuss
• 237 JEP 401: Value Objects (Preview) merged to OpenJDK master (github.com)
  by mfiguiere 3 days ago | 168 comments
• 156 The Maxwell Conjecture Is False (GPT 5.6 Sol) (arxiv.org)
  by rahen 3 days ago | 140 comments
• 69 Saber-toothed cats became inbred–and struggled to move–before they went extinct (science.org)
  by gmays 3 days ago | 32 comments
• 9 RFC 9987: Secure Shell (SSH) Agent Protocol (rfc-editor.org)
  by Jimmc414 a day ago | 2 comments
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 4 SwiftUI After 7 Years: A Story of Mediocrity [video] (youtube.com)
  by mpweiher 8 hours ago | discuss
• 86 Microsoft raises Xbox prices by up to 43% (theverge.com)
  by BlueBerry2001 8 hours ago | 94 comments
• 6 The Creator Economy Has a New Middle Class (bloomberg.com)
  by momentmaker 8 hours ago | 1 comments