News for hackers. Stuff that matters.
Re:Unsoundness in Pin by withoutboats on Sunday December 01, 2019 @06:55PM (#21678665)
This is exactly the kind of comment that makes me dislike Hacker News so strongly, because I find it endemic here.

The idea that someone could think an issue is theoretical and then discover it is practically significant is obvious and no insight at all - it reduces to "people are sometimes wrong." I am declaring based on my significant relevant expertise that this issue is not practically important. Your comment contributes nothing but baseless contradiction.

There are no comments on this comment yet.