yathaid

Perplexing the Web, One Probability Puzzle at a Time

3 points by yathaid 10 months ago | 1 comment

A gentle introduction to automated reasoning

79 points by yathaid 1 year ago | 21 comments