Hacker News new | ask | show | jobs
by sorokod 51 days ago
Most of the names you mention belong to the next (18th) century.

Gauss worked out some sort of probability distribution too.