Full threadlexcorvus·Incidentally, Chebyshev is pronounced "cheh-bee-shoff", not (as is commonly heard) "cheh-bee-shev".View on HN