Ask HN: How do you set up push notifications for learning new things?