Federated learning with formal differential privacy guarantees | Hacker News Reader