Euler Found the First Binary Digit Extraction Formula for π in 1779 | Hacker News Reader