6 ms·Alex Stepanov (STL) just published a book on math foundations of programming4 points by dym 17y agodavid927 17y agoThis is exactly why I love HN. Thanks, Misha.