A rigorous yet succinct deep dive into binary heaps as used in shedulers and timers. For those tired of superficial tech explanations.