New top story on Hacker News: Asynchronous Ratcheting Tree: Group Messaging with Strong Security Guarantees