• 178 OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
  by ibobev 3 days ago | 179 comments
• 291 An open letter to Dario: if you mean it, open the weights (jacob.gold)
  by routelastresort 20 hours ago | 97 comments
• 3 ProLogium begins mass production of solid-state battery at 381 Wh/kg (finance.yahoo.com)
  by akamaka a day ago | discuss
• 53 Casablanca: How an unproduced play marched into movie history (thecollector.com)
  by mdp2021 3 days ago | 19 comments
• 71 Copying login keychains between Macs fails on Secure Enclave Macs with Tahoe (derflounder.wordpress.com)
  by zdw 3 days ago | 64 comments
• 383 ChatGPT Images 2.5 (openai.com)
  by vertigoruntime 5 days ago | 449 comments
• 9 crustyBASIC – BASIC cross compiler for retro systems (telengard.itch.io)
  by telengard 20 hours ago | discuss
• 1205 Claude, change the “Add to Cart” button to blue (opusfived.dev)
  by matthieu_bl 4 days ago | 451 comments
• 234 Qwen 3.8 follows GPT-5.5 Pro reasoning prefills (gist.github.com)
  by wsxiaoys 4 days ago | 93 comments
• 448 How to build a printer (nishantjosh.dev)
  by cat-whisperer 5 days ago | 106 comments
• 538 I-have-ADHD: A skill to stop coding agents from burying the answer (github.com)
  by domhudson 5 days ago | 372 comments
• 31 Show HN: Filament – Fast data movement engine in Go (github.com)
  by ikswolzok 5 days ago | 6 comments
• 121 Neijuan (en.wikipedia.org)
  by vermilingua 2 days ago | 49 comments
• 26 Altman tells staff OpenAI is open to slowing AI development (reuters.com)
  by signa11 a day ago | 62 comments
• 107 New York thoracic surgeon: "For many patients 9/11 is not over" (statnews.com)
  by EA-3167 2 days ago | 48 comments
• 3 Microsoft 365 for Windows, Running on Linux with Soda and Bottles (twitter.com)
  by theanonymousone a day ago | discuss
• 30 Embedding a bitmap font in your HyperCard stack (leadedsolder.com)
  by zdw 5 days ago | 3 comments
• 101 A Biography of Lee Holloway, the Architect of Cloudflare's Technology (Part 1) (note.com)
  by porridgeraisin 4 days ago | 22 comments
• 175 Show HN: LLM Attention Visualization (ishamf.dev)
  by ifz 5 days ago | 32 comments
• 121 Thelio Mira AI Linux Workstation: 192 GB GPU Memory (system76.com)
  by jonifico 3 days ago | 130 comments
• 138 Exercise intensity is associated with cardiometabolic health (cell.com)
  by qclibre22 2 days ago | 73 comments
• 91 AlphaGenome Atlas predictive map of every DNA letter change in the human genome (deepmind.google)
  by fady0 5 days ago | 13 comments
• 251 Blizzard Workers Win Historic Union Contract (latimes.com)
  by dbg31415 4 days ago | 110 comments
• 8 Statement On V/H/S SCP Foundation Film (scp-wiki.wikidot.com)
  by shscs911 20 hours ago | discuss
• 146 A Topological Picture Book, Rendered (e-infinity.space)
  by mathgenius 5 days ago | 16 comments
• 45 Herdr Studio (powerfooi.github.io)
  by throwaway888abc 3 days ago | 20 comments
• 10 I bought Amazon's $100k Rivian Van for $10k, Dealer said it needed a new battery [video] (youtube.com)
  by sippingabonedry a day ago | discuss
• 26 On Next-Gen Transformer: Loops Are Not What You Need (zartbot.github.io)
  by matt_d 3 days ago | 1 comments
• 61 My last six months at Evernote (alexkras.com)
  by ingve a day ago | 34 comments
• 6 Professor Leonard is back [video] (youtube.com)
  by mindcrime 13 hours ago | 1 comments