225: DTF:HN for August 13, 2026

Your Daily Tech Feed covering the top 10 stories on Hacker News for August 13, 2026. Featuring: ChatGPT Desktop (Codex Desktop) for Linux, The lattice of sets of natural numbers is rich, DeepSeek V4 Pro 0813, Tracking down the 16-year-old WAL-reset SQLite bug, Qwen3.8-2.4T, and more.

Stories covered:

1. ChatGPT Desktop (Codex Desktop) for Linux
   (Article | HN Discussion | 🎧 0:28)
2. The lattice of sets of natural numbers is rich
   (Article | HN Discussion | 🎧 3:50)
3. DeepSeek V4 Pro 0813
   (Article | HN Discussion | 🎧 7:10)
4. Tracking down the 16-year-old WAL-reset SQLite bug
   (Article | HN Discussion | 🎧 10:18)
5. Qwen3.8-2.4T
   (Article | HN Discussion | 🎧 13:16)
6. Delta
   (Article | HN Discussion | 🎧 16:42)
7. Principia Mathematica is modern and insightful
   (Article | HN Discussion | 🎧 19:50)
8. Antiqua–Fraktur dispute
   (Article | HN Discussion | 🎧 23:11)
9. The punched card tabulator
   (Article | HN Discussion | 🎧 26:35)
10. uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook
    (Article | HN Discussion | 🎧 29:30)