Interesting, I didn't know about the Gettier problem, thanks for sharing. You could try submitting that page as a proper HN post.