Hacker Newsnew | past | comments | ask | show | jobs | submit | yathaid's submissionslogin
1.
Perplexing the Web, One Probability Puzzle at a Time (quantamagazine.org)
3 points by yathaid on Aug 30, 2024 | past | 1 comment
2.
A gentle introduction to automated reasoning (amazon.science)
79 points by yathaid on Feb 12, 2024 | past | 21 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: