HNHacker News
TopNewBestAskShowJobs

yathaid

315 karma · joined March 12, 2019

submissionscomments

Perplexing the Web, One Probability Puzzle at a Time

quantamagazine.org·3 pts·yathaid·
1

A gentle introduction to automated reasoning

amazon.science·79 pts·yathaid·
21