Hacker News new | ask | show | jobs
by cyphar 3792 days ago
More correctly, all (AFAIK) currently provable normal numbers have been designed to be normal.