from Hacker News

yathaid

joined 3/12/19, 2:59 PM has 301 karma

• Perplexing the Web, One Probability Puzzle at a Time

  by yathaid on 8/30/24, 4:27 AM, with 1 comments

• A gentle introduction to automated reasoning

  by yathaid on 2/12/24, 8:28 AM, with 21 comments