Choose how you want to continue.
Quaternion Rotations, Claude, and Lean
Math
Formal methods
Quaternions
lean
Quaternion Rotations
AI in software development
Typographical Errors
coding practices
Summary
The author discusses an email they received about a typo in a previous post on quaternion and rotation matrix conversion, and their experience using an AI model named Claude to identify the typo instead of doing it manually.
MORE POSTS LIKE THIS
Governing Coding Agent Sprawl with Unity AI Gateway
Mooncake ·
Apr 17, 2026
Why Static AI Rule Files Like AGENTS.md Are Failing (and What Actually Works)
Qodo ·
Apr 16, 2026
How AI is Changing the Way We Code
freeCodeCamp.org ·
Aug 14, 2025
AUTHOR