HN Explorer

yathaid

↗ HN profile [ 75.2 ms ] full profile
Karma
0
Created
()
Submissions
108
  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 24