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