Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
I found Andrej Bauer's videos useful when I was learning coq.
bsm · 4335 days ago · link · · parent · post: The 12 cognitive biases that prevent you from being rational
If you find these interesting, Kahneman's book may be of interest to you; I also liked it for the way it detailed how may of the biases were first discovered.
It doesn't, in all likelihood.
It seems interesting. I wonder how it will compare with Project Eternity, another kickstarter funded spiritual successor to PS:T.