Hacker News new | ask | show | jobs
by hernan7 5828 days ago
Yes, he is changing the numbering from pi to tau.