HN Explorer

Reubend

↗ HN profile [ 84.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Official releases of the Transmission BitTorrent client might be compromised? (github.com)
    61 points 18
  2. Ask HN: Resources for learning about automated theorem proving?

    I'd love to learn more about automated theorem proving! I searched online for classes to take, or textbooks to read, but I haven't found anything from the last 5 years. Does anybody have resources they recommend for…

    4 points 0