All the "classics" have been listed already, so I'll mention someone more modern who I think programmers would enjoy: Christian Bök. Check out Crystallography

All the "classics" have been listed already, so I'll mention someone more modern who I think programmers would enjoy: Christian Bök. Check out Crystallography and Eunoia.