Viewing profile — hamsterdame
hamsterdame
HN member- Joined
- Sat, Jul 18, 2015, 8:49 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About hamsterdame
No profile information was provided.
Recent public activity
-
comment
Comment #9908889
I would like to note that the chapter "Another Look At Automated Theorem-proving II" seems quite ill informed, and very hostile, to me. For instance, to my knowledge the Hashed El …