Pinned
New article: deriving the math behind Solady's 67-byte, 114-gas sqrt(x) from first principles.
The Solady CLZ PR just merged! 🚀
github.com/Vectorized/sol…
No magic multipliers
Exactly 6 Babylonian iterations
1 floor correction
Full derivation 👇

