HN Explorer

yathaid

↗ HN profile [ 85.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Perplexing the Web, One Probability Puzzle at a Time (quantamagazine.org)
    3 points 1
  2. A gentle introduction to automated reasoning (amazon.science)
    79 points 21