Alex Stepanov (STL) just published a book on math foundations of programming

This is exactly why I love HN. Thanks, Misha.