A computer scientist uses 18th-century probability theory to build the first effective spam filter, turning obscure maths into an everyday tool.