Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
bsm
x 0
stats
following: 12
followed tags: 6
followed domains: 0
badges given: 0 of 0
hubskier for: 4337 days
following: 12
followed tags: 6
followed domains: 0
badges given: 0 of 0
hubskier for: 4337 days
I found Andrej Bauer's videos useful when I was learning coq.
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.
bsm · 4336 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.