< prev1 / 10 more >

• 173ChatGPT Desktop (Codex Desktop) for Linux (openai.com)
  by allanrbo6 hours ago | 25 comments
• 25The lattice of sets of natural numbers is rich (jdh.hamkins.org)
  by benmandrew2 days ago | 0 comments
• 945DeepSeek V4 Pro 0813 (openrouter.ai)
  by explosion-s18 hours ago | 46 comments
• 1057Tracking down the 16-year-old WAL-reset SQLite bug (tailscale.com)
  by ropbear20 hours ago | 54 comments
• 638Qwen3.8-2.4T (huggingface.co)
  by Philpax19 hours ago | 23 comments
• 564Delta (zed.dev)
  by khy16 hours ago | 62 comments
• 170Principia Mathematica is modern and insightful (okmij.org)
  by matt_d11 hours ago | 12 comments
• 101Antiqua–Fraktur dispute (en.wikipedia.org)
  by buzzy_hacker2 days ago | 5 comments
• 16The punched card tabulator (ibm.com)
  by Bluestein5 days ago | 1 comments
• 534uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook (digitalescapetools.com)
  by Markoff23 hours ago | 127 comments

< prev1 / 10 more >