< prev1 / 10 more >

• 164ChatGPT Desktop (Codex Desktop) for Linux (openai.com)
  by allanrbo5 hours ago | 23 comments
• 18The lattice of sets of natural numbers is rich (jdh.hamkins.org)
  by benmandrew2 days ago | 0 comments
• 937DeepSeek V4 Pro 0813 (openrouter.ai)
  by explosion-s18 hours ago | 45 comments
• 1056Tracking down the 16-year-old WAL-reset SQLite bug (tailscale.com)
  by ropbear20 hours ago | 53 comments
• 636Qwen3.8-2.4T (huggingface.co)
  by Philpax19 hours ago | 23 comments
• 561Delta (zed.dev)
  by khy16 hours ago | 62 comments
• 165Principia Mathematica is modern and insightful (okmij.org)
  by matt_d11 hours ago | 9 comments
• 15The punched card tabulator (ibm.com)
  by Bluestein5 days ago | 1 comments
• 98Antiqua–Fraktur dispute (en.wikipedia.org)
  by buzzy_hacker2 days ago | 5 comments
• 527uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook (digitalescapetools.com)
  by Markoff23 hours ago | 125 comments

< prev1 / 10 more >