cd/entity/John D. Cook· home› entities› John D. Cook
grep -l @john d. cook /news/*.json | wc -l → 1

John D. Cook

mentions 1 type Person feed RSS

// recent coverage 1 mentions

18:03
2026-06-16
johndcook.com
large-language-models

Quaternion Rotations, Claude, and Lean

John D. Cook used Anthropic's Claude (Sonnet 4.6 Medium) to find a typo in a blog post about quaternion rotations by asking it to write Lean code verifying the post's theorems. After four iterations, …

// co-occurs with top 5 entities
Claude 1 Sonnet 4.6 Medium 1 Anthropic 1 Lean 1 Mathlib 1