Toward provably private insights into AI use | Hacker News Reader