203: DTF:HN for July 22, 2026

Your Daily Tech Feed covering the top 10 stories on Hacker News for July 22, 2026. Featuring: OpenAI and Hugging Face address security incident during model evaluation, Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA, Intel Starts Shipping High-NA EUV Silicon, Introduction to Formal Verification with Lean Part 1, Original Apollo 11 Guidance Computer source code for command and lunar modules, and more.

Stories covered:

1. OpenAI and Hugging Face address security incident during model evaluation
   (Article | HN Discussion | 🎧 0:32)
2. Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA
   (Article | HN Discussion | 🎧 4:38)
3. Intel Starts Shipping High-NA EUV Silicon
   (Article | HN Discussion | 🎧 8:46)
4. Introduction to Formal Verification with Lean Part 1
   (Article | HN Discussion | 🎧 12:05)
5. Original Apollo 11 Guidance Computer source code for command and lunar modules
   (Article | HN Discussion | 🎧 15:08)
6. Advertise in ChatGPT
   (Article | HN Discussion | 🎧 19:02)
7. FreeInk: Open ecosystem for e-readers
   (Article | HN Discussion | 🎧 21:51)
8. Late.sh – a command-line Clubhouse for computer people
   (Article | HN Discussion | 🎧 24:26)
9. Judge approves $1.5B Anthropic settlement for pirated books used to train Claude
   (Article | HN Discussion | 🎧 28:03)
10. Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber
    (Article | HN Discussion | 🎧 30:55)