Cryptographically-secure change feeds in the Dat protocol, and on the Web | Hacker News Reader