Skip to content

Top Best Ask Show New Jobs

dkural | Better HN

dkural

2,094 karmaJoined November 21, 2011620 submissions

Recent submissions

1

Gilles Dowek, automated theorem proving pioneer, passed away (opens in new tab)

(lemonde.fr)

2dkural11mo ago1