For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | pgunt's submissionsregister
1.
Book Review: Human Compatible by Scott Alexander (lesswrong.com)
1 point by pgunt on Jan 31, 2020 | past
2.
Learning to prove theorems via interacting with proof assistants (acolyer.org)
126 points by pgunt on Aug 24, 2019 | past | 30 comments
3.
Waymo Releases Open Datasets for Self-Driving Car Research (techcrunch.com)
1 point by pgunt on Aug 22, 2019 | past

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

Search:

HN For You