From knowledge-based inference to presence-based verification | Dark Hacker News