a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
bsm's profile
bsm

x 0

stats
following: 12
followed tags: 6
followed domains: 0
badges given: 0 of 0
hubskier for: 4337 days

recent comments, posts, and shares:
bsm  ·  3432 days ago  ·  link  ·    ·  parent  ·  post: Re-learning Math With Coq

I found Andrej Bauer's videos useful when I was learning coq.

bsm  ·  4334 days ago  ·  link  ·    ·  parent  ·  post: ZOMG Glenn Beck is Going Galt. BEST THING EVER.

It doesn't, in all likelihood.

bsm  ·  4336 days ago  ·  link  ·    ·  parent  ·  post: Planescape Torment spirtual successor

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.