Extended User Interrupts (XUI): Fast and Flexible Notification Without Polling | Hacker News Reader