dkural

2,112 karmajoined November 21, 2011On HN

Recent submissions

Gilles Dowek, automated theorem proving pioneer, passed away lemonde.fr
2dkural1y1 comment

All submissions and comments on Hacker News.