real-time notifications: push versus pull

hey everyone, i'm working on a system that needs to send real-time notifications to users about important events. i'm debating between a push-based approach, like WebSockets or Server-Sent Events, and a pull-based approach, where the client polls periodically. what are your experiences with implementing real-time notifications? what are the trade-offs you've encountered regarding latency, server load, and complexity when choosing between push and pull? looking for practical advice