Another day, another HN thread full of programmers who think mathematics is just like programming.

Thanks for providing a (much needed!) correction.