Archive · Live page

The Daily Markdown, Fri 23 Oct 2026

The front page, hour by hour

• 00:00 UTC
• 01:00 UTC

Top stories of the day

As ranked at 01:00 UTC.

1. LLMs are making formal software verification feasible at a much larger scale Hacker News
2. anthropics/claude-code v2.1.309 GitHub Releases
3. Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies? Hacker News
4. unsloth/flint-GGUF Hugging Face
5. anthropics/claude-code v2.1.308 GitHub Releases
6. Scaling in Games: Continued Pre-Training For Embodied Agents In Diverse Virtual Worlds HF Daily Papers