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 https://openai.com/index/hugging-face-model-evaluation-security-incident/ HN discussion: https://news.ycombinator.com/item?id=48997548 2. Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA https://fireworks.ai/blog/kimik3-fable HN discussion: https://news.ycombinator.com/item?id=48999291 3. Intel Starts Shipping High-NA EUV Silicon https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv HN discussion: https://news.ycombinator.com/item?id=48961698 4. Introduction to Formal Verification with Lean Part 1 https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1) HN discussion: https://news.ycombinator.com/item?id=48969200 5. Original Apollo 11 Guidance Computer source code for command and lunar modules https://github.com/chrislgarry/Apollo-11 HN discussion: https://news.ycombinator.com/item?id=49002166 6. Advertise in ChatGPT https://ads.openai.com/ HN discussion: https://news.ycombinator.com/item?id=48996571 7. FreeInk: Open ecosystem for e-readers https://freeink.org/ HN discussion: https://news.ycombinator.com/item?id=48996318 8. Late.sh – a command-line Clubhouse for computer people https://late.sh/ HN discussion: https://news.ycombinator.com/item?id=49001127 9. Judge approves $1.5B Anthropic settlement for pirated books used to train Claude https://apnews.com/article/ai-anthropic-copyright-settlement-claude-books-bartz-74b140444023898aeba8579b6e9f0d63 HN discussion: https://news.ycombinator.com/item?id=48996652 10. Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flash-lite-3-5-flash-cyber/ HN discussion: https://news.ycombinator.com/item?id=48993414