p pgunt Joined 7 years ago Karma 69 Submissions 3 Member since Aug 22 "cinematic script blends poetry with social satire and realistic scenes with surreal ones" View on Hacker News
Learning to prove theorems via interacting with proof assistants b blog.acolyer.org 126 pgunt 7 years ago 30 comments
Waymo Releases Open Datasets for Self-Driving Car Research t techcrunch.com 1 pgunt 7 years ago 0 comments
