2 ms·

Indeed. I wonder if its some version of Paul Graham's Bayesian classifier he had posted many many years ago...