- 160ChatGPT Desktop (Codex Desktop) for Linux (openai.com)
- 18The lattice of sets of natural numbers is rich (jdh.hamkins.org)
- 936DeepSeek V4 Pro 0813 (openrouter.ai)
- 1055Tracking down the 16-year-old WAL-reset SQLite bug (tailscale.com)
- 636Qwen3.8-2.4T (huggingface.co)
- 561Delta (zed.dev)
- 165Principia Mathematica is modern and insightful (okmij.org)
- 15The punched card tabulator (ibm.com)
- 98Antiqua–Fraktur dispute (en.wikipedia.org)
- 527uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook (digitalescapetools.com)
- 4882026 Eclipse Webcams (jonty.github.io)
- 117Flutter 3.47 (flutter.dev)
- 94Happy 45th Birthday to the IBM PC and Model F/XT (sharktastica.co.uk)
- 277Tim King, AmigaDOS developer, has died (amiga-news.de)
- 106Why Target Common Lisp for Code Generation? (funcall.blogspot.com)
- 204HTML over WebSockets: real-time SPAs with barely any JavaScript (en.andros.dev)
- 557Grok 4.6 (x.ai)
- 137Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials (discoveredmaterials.com)
- 158Mushroom behind 'tiny people' hallucinations identified (phys.org)
- 14The Three-Stroke Problem (penpot.app)
- 130Thanks to social media, canned sardines are a scarcity on the supermarket shelf (corneroffifth.studio)
- 309Why tiny JPEGs look different in Chrome (guillaumetech.github.io)
- 278Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot (knownagents.com)
- 25From rubber boots to Copa: When MicroProse Soccer revolutionized football (spillhistorie.no)
- 116Breaking the WAL (antithesis.com)
- 144Pixel Watch 5 (blog.google)
- 209Shade Map (shademap.app)
- 87Build Wide, Ship Narrow (adapt.com)
- 147Lovable raises $400M Series C (lovable.dev)
- 295Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation (woxi.ad-si.com)