I personally found "How to Prove It: A Structured Approach" by Daniel J. Velleman very helpful.
"Deep Work" by Cal Newport. It completely changed how I view my work, and how I spend my time, more than any other generic self-help book I've come across. It isn't the usual "delete Facebook, and everything will be…
It appears to use the "GPML" package. (http://www.gaussianprocess.org/gpml/code/matlab/doc/)
Habito [0], a mortgage broker based in London, has its back end written in Haskell. [0] https://www.habito.com/
I personally found "How to Prove It: A Structured Approach" by Daniel J. Velleman very helpful.
"Deep Work" by Cal Newport. It completely changed how I view my work, and how I spend my time, more than any other generic self-help book I've come across. It isn't the usual "delete Facebook, and everything will be…
It appears to use the "GPML" package. (http://www.gaussianprocess.org/gpml/code/matlab/doc/)
Habito [0], a mortgage broker based in London, has its back end written in Haskell. [0] https://www.habito.com/