DispatchDonald Knuth Credits Claude Opus 4.6 Solving Open Math ProblemSimon Willison Blog·high signalKnuth wrote formal proof Claude Cycles after Claude found construction for Hamiltonian cycles problem. 635K+ views.SourceSource pageSimon Willison Blog↳ Follow the threadContrast / Update threadllm 0.31.1 Fixes a Tool Call Crash That Only Shows Up on Non-OpenAI Providerssimonwillison.netPolicy dependency / Stack layerKastra Launches Policy Enforcement for Claude Code, Cursor, and CodexHacker NewsPolicy dependency / Stack layerAnthropic Restores Global Access to Fable 5 and Mythos 5, Launches Claude for Government BetaAnthropicStack layer / Threat patternAWS open-sources Loom, an enterprise agent platform built on Strands Agents + Bedrock AgentCore RuntimeAWS Open Source BlogStack layer / Threat patternDefend against prompt injection with an embedding-scored Threat Library, not brittle regex rulesPromptHaloStack layer / Update threadJarred Sumner publishes the Bun Zig-to-Rust rewrite writeupSimon Willison's BlogStack layer / ContrastNVIDIA Open-Sources nvDock, an All-Atom Diffusion Model for Protein Pocket DockingNVIDIA BioNeMoStack layer / Update threadClaude Code v2.1.203 and v2.1.204 Add Login-Expiry Warnings and Fix Headless Hook StreamingClaude Code Docs