• 97 The Stacks Project, Formalized in Lean (axiommath.ai)
  by namanbnsl 4 days ago | 26 comments
• 8 Apple Store Subscription Sign-Up Controversy Exposed (macrumors.com)
  by dabinat 13 hours ago | discuss
• 221 Sodium-ion batteries approach cost parity with LFP (pv-magazine.com)
  by doener 3 days ago | 105 comments
• 142 I toured Unitree's factory. I'm more bullish on the West (josef.cn)
  by josefchen 3 days ago | 132 comments
• 53 40C3 halfnarp – Submit talk preferences to aid scheduling (halfnarp.events.ccc.de)
  by hanemile 3 days ago | 16 comments
• 98 Silicon Valley Promises AI Will Cure Disease. Drugmaker CEOs Aren't Buying It (wsj.com)
  by zzzeek a day ago | 126 comments
• 66 MoofTCP – A modern replacement for MacTCP on 68k Macs (github.com)
  by marcusbasant 4 days ago | 34 comments
• 568 I wish tech companies knew more about me (rakhim.exotext.com)
  by freetonik 4 days ago | 416 comments
• 32 Cancer at Sea (biographic.com)
  by bryanrasmussen 2 days ago | 3 comments
• 568 Ask HN: What's your current AI agentic setup? ()
  by eggbrain 5 days ago | 699 comments   ask
• 587 Motorola Signature 27 with GrapheneOS support (motorolanews.com)
  by monneyboi 4 days ago | 407 comments
• 87 Hardcoded credentials and other issues in Tata Motors App (cert-in.org.in)
  by qtqtqt 3 days ago | 18 comments
• 174 Multiplayer tanks that demolish real buildings from OpenStreetMap (worldstrike.fun)
  by n4ze3m 3 days ago | 126 comments
• 39 Reading the Anthropic S-1, with Zvi Mowshowitz (complexsystemspodcast.com)
  by nbernard 3 days ago | discuss
• 15 Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes (unfix.dev)
  by u-pump 4 days ago | 2 comments
• 4 Stock market casino: the rising stakes of 'gamified' investing (ft.com)
  by porridgeraisin 11 hours ago | discuss
• 755 Search for everyone (kagi.com)
  by elashri 4 days ago | 412 comments
• 104 Building a Multi-Agent System from Scratch: Architecture Patterns (kadhar.dev)
  by kadharmfn 4 days ago | 45 comments
• 594 AMD expects to outsell Intel in Q4 for the first time in history (tomshardware.com)
  by rbanffy 5 days ago | 224 comments
• 414 Lemmings CSS Animation (markblah.github.io)
  by MarkBlah 5 days ago | 78 comments
• 116 We can do better than line-buffered output (nullprogram.com)
  by zdw 4 days ago | 13 comments
• 6 Warmest October on record with 2026 virtually certain to exceed 1.5°C (climate.copernicus.eu)
  by geox 5 hours ago | discuss
• 12 The Origins of Peanut Allergy (stephenskolnick.substack.com)
  by bobbiechen 14 hours ago | 11 comments
• 270 September in Servo: <progress>, rounded rectangles, and more (servo.org)
  by iamnothere 4 days ago | 84 comments
• 218 Ask HN: What in the world is taking Ubuntu so long? ()
  by linsomniac 3 days ago | 143 comments   ask
• 488 A thousand fewer paths to root (openai.com)
  by dangelosaurus 5 days ago | 365 comments
• 404 Download your favourite YouTube videos (criminallyvulgar.dev)
  by surprisetalk 4 days ago | 188 comments
• 102 Google has acquired Crusoe's data center site in southeast Wyoming (crusoe.ai)
  by rexbee 3 days ago | 90 comments
• 286 Show HN: A decent text-to-image model trained for ~$20K (Apache 2.0 Weights) (linum.ai)
  by schopra909 5 days ago | 30 comments
• 397 A new Go API for JSON (go.dev)
  by olexsmir 5 days ago | 214 comments