at://
/
app.bsky.feed.post
/
3moe2ptfhrrm2
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Quaternion Rotations, Claude, and Lean https://www.johndcook.com/blog/2026/06/15/quaternions-claude-lean/
6d
John D. Cook
